Trait Form 

pub trait Form: Vector {
    // Required method
    fn flat(&self) -> Dual<Self>;

    // Provided methods
    fn dot(&self, b: &Self) -> Self::F { ... }
    fn self_dot(&self) -> Self::F { ... }
    fn check_dot_agrees_with_pairing(a: &Self, b: &Self) -> bool { ... }
    fn check_translation_invariance(a: &Self, b: &Self, c: &Self) -> bool { ... }
}

A vector space equipped with a lowering map ♭: V → V*.

This is where geometry enters: flat turns a vector into the covector ⟨v, ·⟩, and dot is the induced form ⟨a, b⟩ = pairing(a, b♭). No invertibility, definiteness, or symmetry is assumed here — a general (even indefinite or degenerate) form is a Form. The refinements add those: Nondegenerate (invertible), Sesquilinear (Hermitian), Bilinear (symmetric), InnerProduct (positive-definite).

Required Methods

fn flat(&self) -> Dual<Self>

Provided Methods

fn dot(&self, b: &Self) -> Self::F

fn self_dot(&self) -> Self::F

fn check_dot_agrees_with_pairing(a: &Self, b: &Self) -> bool

fn check_translation_invariance(a: &Self, b: &Self, c: &Self) -> bool

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl<F: CField, const N: usize, const D: usize> Form for SlAlgebra<F, N, D>

impl<R: Field, const N: usize, const M: usize> Form for Coords<R, N, M>

impl<V: Nondegenerate> Form for Dual<V>