Sequoia
Loading...
Searching...
No Matches
Public Types | List of all members
sequoia::maths::dual_of< T > Struct Template Reference

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 >
 

Detailed Description

template<class T>
struct sequoia::maths::dual_of< 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.


The documentation for this struct was generated from the following file: