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:
The object PolySpace is a type, with ancestor classes MutableHashTable < HashTable < Thing.