dedekind::geometry::CotangentBundlePoint< F, N > Struct Template Reference

A point in the cotangent bundle T*(F^N) = F^N × (F^N)*. More...

Collaboration diagram for dedekind::geometry::CotangentBundlePoint< F, N >:

Public Attributes
Vector< F, N >	base
	Base point p ∈ F^N.
CotangentVector< F, N >	fiber
	Cotangent vector ω ∈ T*_p(F^N) ≅ (F^N)*.

Friends
constexpr bool	operator== (const CotangentBundlePoint &, const CotangentBundlePoint &)=default

Detailed Description

template<IsMatrixScalar F, std::size_t N>
struct dedekind::geometry::CotangentBundlePoint< F, N >

A point in the cotangent bundle T*(F^N) = F^N × (F^N)*.

Packages a base-point with a cotangent vector (covector) at that point. The cotangent bundle is dual to the tangent bundle; sections of T*M are exactly the differential 1-forms (see analysis:forms for the OneForm view of these objects).

---

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

• src/main/modules/dedekind/geometry/linear_map.cppm