"Theodore Papadopoulo" wrote:
So I'll somewhat oppose to your proposal (and the following ones):
N is the dimension. namespace notation is just notational not a proposal.
Euclidean::Point<N> Euclidean::Line<N> // not very different from projective line ?? Euclidean::SemiLine<N> Euclidean::Segment<N> Euclidean::Simplex<N> Euclidean::Basis<N>
Would I be right in saying that only entities of the same dimension can be added so SpaceType and dimension can be alternatively be seen as a container rather than a parameter: Euclidean::N::Point Euclidean::N::Line Euclidean::N::SemiLine Euclidean::N::Segment Euclidean::N::Simplex Euclidean::N::Basis namespace Euclidean { namespace N{ Point a = Point(); a = Euclidean::N_plus_1::Point(); // Error ! }} ??? regards Andy Little