This type stores a finite dimensional subspace of the local dual of a polynomial ring at a point. In practice, the subspace is stored as a
PolySpace with functionals represented by the corresponding polynomial, along with a
Point. The following methods can be used to access a
DualSpace:
- gens -- a one-row matrix of the generators
- dim -- the number of generators
- ring -- the ring of the generators
- point -- the base point of the dual space