Trait maths_traits::algebra::module_like::ReflexiveForm

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

A SesquilinearForm where x•y = 0 implies y•x = 0

Implementors

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

Loading content...