Typecasting (Including Single-Argument Constructors)

GeOb(MultiMap& mp)

If the multimap mp has zero arguments, it is cast into a geometric object in its range space. If it is instead a one-argument linear map into the space ``Reals'', it is cast into a vector (or affine vector) in the dual space of the domain.

GeOb(Map& mp)

If the domain subset of the map mp is a full subset of a vector space, and the range is the space ``Reals'', the map is cast into a vector (or affine vector) in the dual space of the domain.

GeOb(Scalar v)

The scalar v is automatically cast into a vector in the predefined space ``Reals'', using the standard basis ``1''.

Scalar ToScalar(void)

If this GeOb is a vector in the space ``Reals'', it is cast into a scalar, using the standard basis ``1''. This casting must be done explicitly (this avoids compilation ambiguity difficulties).