Trait wedged::subspace::Reject

source · [−]

pub trait Reject<B> {
    type Output;
    fn reject(&self, b: B) -> Self::Output;
}

Expand description

Trait for finding the perpendicular component of a blade B onto Self

Used primarily to drive Blade::reject(), SimpleBlade::reject(), and UnitBlade::reject()

Associated Types

type Output

Required methods

fn reject(&self, b: B) -> Self::Output

Implementors

impl<T, N: Dim, G1: Dim, G2: Dim> Reject<Blade<T, N, G2>> for Blade<T, N, G1> where
G2: DimAdd<G1>,
T: AllocBlade<N, G1> + AllocSimpleBlade<N, G2> + AllocBlade<N, DimSum<G2, G1>> + RefDivRing,

type Output = Blade<T, N, G2>

impl<T, N: Dim, G1: Dim, G2: Dim> Reject<Blade<T, N, G2>> for SimpleBlade<T, N, G1> where
G2: DimAdd<G1>,
T: AllocBlade<N, G1> + AllocBlade<N, G2> + AllocBlade<N, DimSum<G2, G1>> + RefDivRing,

type Output = Blade<T, N, G2>

impl<T, N: Dim, G1: Dim, G2: Dim> Reject<Blade<T, N, G2>> for UnitBlade<T, N, G1> where
G2: DimAdd<G1>,
T: AllocBlade<N, G1> + AllocBlade<N, G2> + AllocBlade<N, DimSum<G2, G1>> + RefDivRing,

type Output = Blade<T, N, G2>

impl<T, N: Dim, G1: Dim, G2: Dim> Reject<SimpleBlade<T, N, G2>> for Blade<T, N, G1> where
G2: DimAdd<G1>,
T: AllocBlade<N, G1> + AllocSimpleBlade<N, G2> + AllocBlade<N, DimSum<G2, G1>> + RefDivRing,

type Output = SimpleBlade<T, N, G2>

impl<T, N: Dim, G1: Dim, G2: Dim> Reject<SimpleBlade<T, N, G2>> for SimpleBlade<T, N, G1> where
G2: DimAdd<G1>,
T: AllocBlade<N, G1> + AllocBlade<N, G2> + AllocBlade<N, DimSum<G2, G1>> + RefDivRing,

type Output = SimpleBlade<T, N, G2>

impl<T, N: Dim, G1: Dim, G2: Dim> Reject<SimpleBlade<T, N, G2>> for UnitBlade<T, N, G1> where
G2: DimAdd<G1>,
T: AllocBlade<N, G1> + AllocBlade<N, G2> + AllocBlade<N, DimSum<G2, G1>> + RefDivRing,

type Output = SimpleBlade<T, N, G2>

impl<T, N: Dim, G1: Dim, G2: Dim> Reject<UnitBlade<T, N, G2>> for Blade<T, N, G1> where
G2: DimAdd<G1>,
T: AllocBlade<N, G1> + AllocSimpleBlade<N, G2> + AllocBlade<N, DimSum<G2, G1>> + RefDivRing,

type Output = SimpleBlade<T, N, G2>

impl<T, N: Dim, G1: Dim, G2: Dim> Reject<UnitBlade<T, N, G2>> for SimpleBlade<T, N, G1> where
G2: DimAdd<G1>,
T: AllocBlade<N, G1> + AllocBlade<N, G2> + AllocBlade<N, DimSum<G2, G1>> + RefDivRing,

type Output = SimpleBlade<T, N, G2>

impl<T, N: Dim, G1: Dim, G2: Dim> Reject<UnitBlade<T, N, G2>> for UnitBlade<T, N, G1> where
G2: DimAdd<G1>,
T: AllocBlade<N, G1> + AllocBlade<N, G2> + AllocBlade<N, DimSum<G2, G1>> + RefDivRing,

type Output = SimpleBlade<T, N, G2>