This type stores a finite dimensional vector subspace of a polynomial ring, given by a spanning set. The spanning set is generally assumed to be a basis although this is not enforced. The following methods can be used to access a
PolySpace:
- gens -- a one-row matrix of the generators
- dim -- the number of generators
- ring -- the ring of the generators