Trait maths_traits::algebra::module_like::SymSesquilinearForm

pub trait SymSesquilinearForm<R: UnitalRing, M: RingModule<R>>: ReflexiveForm<R, M> { }

A SesquilinearForm where σ(x•y) = y•x

The is a property implemented on most sesquilinear forms, but a notable exception is the the "Cross-Product" 2D vectors: x₁*y₂ - x₂*y₁

Implementors

impl<K: ComplexRing, V: InnerProductSpace<K>> SymSesquilinearForm<K, V> for InnerProductMetric

Loading content...