VSpace(Space& s)
Used to downcast a general space to a vector space. Only succeeds if the general space is holding a vector space.
VSpace(char* namein, int n, Boolean eflag)
Builds a vector space of dimension n, with debug name in buffer namein. The space creates its own copy of the name. If the flag eflag is TRUE, the space will be Euclidean.
VSpace(char* namein, Boolean eflag, ASpace& a, PSpace& p)
Builds a vector space, linking it to the spaces a and p to create the core of a six-space set. The space creates its own copy of the debug name. This space is Euclidean if eflag is TRUE.
VSpace(char* namein, Boolean eflag, Space& ins)
Builds a vector space, linking it to the space ins, which is either an affine or projective space. The space creates its own copy of the debug name. This space is Euclidean if eflag is TRUE.
VSpace(char* namein, SpaceList& t, Boolean eflag)
Builds a cartesian product vector space, using the spaces in the list t as component spaces. The space creates its own copy of the debug name. If the flag eflag is TRUE, the space will be Euclidean.