exterior.cppm File Reference

The Wedge Product and Symplectic Geometry. More...

#include <concepts>
#include <functional>
import dedekind.geometry;
import dedekind.analysis:forms;

Include dependency graph for exterior.cppm:

Classes
class	dedekind::analysis::TwoForm< F, N >
	An antisymmetric bilinear form ω(u, v) = -ω(v, u). More...

Functions
template<std::floating_point F, std::size_t N>
constexpr auto	dedekind::analysis::wedge (const OneForm< F, N > &a, const OneForm< F, N > &b)
	The Wedge Product (∧): α ∧ β

Detailed Description

The Wedge Product and Symplectic Geometry.

@partition :exterior

Copyright

2026 The Dedekind Authors Licensed under the Apache License, Version 2.0.

Note

"It is by logic that we prove, but by intuition that we discover." – Henri Poincare, Science and Method (1908)

Function Documentation

wedge()

template<std::floating_point F, std::size_t N>

auto dedekind::analysis::wedge ( const OneForm< F, N > & a, const OneForm< F, N > & b )

constexprexport

The Wedge Product (∧): α ∧ β

For 1-forms, α ∧ β = α ⊗ β - β ⊗ α.