LinearMap(VBasis& b1, VBasis& b2)
Builds an invertible linear map between two vector spaces that carries the vectors in basis b1 to the vectors in b2.
LinearMap(VBasis& b, SubSet& s, GeObList& v)
More general linear map creation routine. The domain of the map is a whole vector space, but the range can be a linear subset of a vector space. The objects in the list v are the images of the vectors in basis b; they are first mapped into the space of s, if necessary. The image objects do not have to be independent or span the subset s.
LinearMap(SubSet& s, GeObList& v, VBasis& b)
Similar to the previous linear map creation routine, except that the range of the map is a whole vector space, while the domain can be a linear subset of a vector space. The objects in the list v are the preimages of the vectors in basis b; they are first mapped into the space of s, if necessary. In this case, the image objects in v must be independent and span the subset s.
LinearMap(SubSet& s1, GeObList& v1, SubSet& s2, GeObList& v2)
Most general linear map creation routine, where both the range and domains are linear subsets of a vector space. The objects in the list v1 map to the objects in list v2; standard maps are first applied to the objects in the lists if necessary. The image objects in v1 must be independent and span the subset s1.