Sequoia
|
Helper to generate the dual of a space, taking into account that the dual of the dual may be related to the original space. More...
Public Types | |
using | type = dual< T > |
Helper to generate the dual of a space, taking into account that the dual of the dual may be related to the original space.
The dual of the dual of a finite dimensional vector space, V, is isomporphic to V. We take this double dual to be just V itself. Similarly for the affine and convex generalizations, though insisting that the ring is a field. Clients can override this behaviour with the appropriate specializations.