Struct KVector 

pub struct KVector<T, const K: usize, const P: usize, const Q: usize, const R: usize>
where
    T: Float + Zero + One,
{ /* private fields */ }

Type-safe k-vector (homogeneous grade element)

This type guarantees at compile-time that the multivector contains only elements of grade K

Implementations

impl<T, const K: usize, const P: usize, const Q: usize, const R: usize> KVector<T, K, P, Q, R>

where T: Float + Zero + One,

pub fn from_multivector(mv: VerifiedMultivector<T, P, Q, R>) -> Self

Create a k-vector from a general multivector by grade projection

pub const fn grade(&self) -> usize

Get the grade (always returns K due to type constraint)

pub fn inner_product(&self, other: &Self) -> T

Inner product with another k-vector (produces a scalar)

Trait Implementations

impl<T, const P: usize, const Q: usize, const R: usize> OuterProduct<T, 1, P, Q, R> for KVector<T, 1, P, Q, R>

where T: Float + Zero + One,

type Output = KVector<T, 2, P, Q, R>

fn outer_product(&self, other: &KVector<T, 1, P, Q, R>) -> Self::Output

impl<T, const P: usize, const Q: usize, const R: usize> OuterProduct<T, 1, P, Q, R> for KVector<T, 2, P, Q, R>

where T: Float + Zero + One,

type Output = KVector<T, 3, P, Q, R>

fn outer_product(&self, _other: &KVector<T, 1, P, Q, R>) -> Self::Output

impl<T, const P: usize, const Q: usize, const R: usize> OuterProduct<T, 2, P, Q, R> for KVector<T, 1, P, Q, R>

where T: Float + Zero + One,

type Output = KVector<T, 3, P, Q, R>

fn outer_product(&self, _other: &KVector<T, 2, P, Q, R>) -> Self::Output