Trait alga::linear::FiniteDimVectorSpace

pub trait FiniteDimVectorSpace: VectorSpace + Index<usize, Output = <Self as VectorSpace>::Field> + IndexMut<usize, Output = <Self as VectorSpace>::Field> {
    // Required methods
    fn dimension() -> usize;
    fn canonical_basis_element(i: usize) -> Self;
    fn dot(&self, other: &Self) -> Self::Field;
    unsafe fn component_unchecked(&self, i: usize) -> &Self::Field;
    unsafe fn component_unchecked_mut(&mut self, i: usize) -> &mut Self::Field;

    // Provided method
    fn canonical_basis<F: FnMut(&Self) -> bool>(f: F) { ... }
}

A finite-dimensional vector space.

Required Methods

fn dimension() -> usize

The vector space dimension.

fn canonical_basis_element(i: usize) -> Self

The i-the canonical basis element.

fn dot(&self, other: &Self) -> Self::Field

The dot product between two vectors.

unsafe fn component_unchecked(&self, i: usize) -> &Self::Field

Same as &self[i] but without bound-checking.

unsafe fn component_unchecked_mut(&mut self, i: usize) -> &mut Self::Field

Same as &mut self[i] but without bound-checking.

Provided Methods

fn canonical_basis<F: FnMut(&Self) -> bool>(f: F)

Applies the given closule to each element of this vector space’s canonical basis. Stops if f returns false.

Object Safety

This trait is not object safe.

Implementors