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 AbstractPoint. The following methods can be used to access a DualSpace:
The object DualSpace is a type, with ancestor classes MutableHashTable < HashTable < Thing.
The source of this document is in NAGtypes/doc-NAGtypes.m2:910:0.