Trait maths_traits::analysis::metric::InnerProduct

pub trait InnerProduct<K: ComplexRing, M: RingModule<K>>: HermitianForm<K, M> + Norm<K, M, K::Real> { }

A hermitian form with the added restriction that x•x be Real and x•x>0 for nonzero x

Because of this restriction, any inner product automatically also defines a Norm as the square root of any element with itself

Implementors

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

Loading content...