[−][src]Type Definition sprs::CsVecI
type CsVecI<N, I> = CsVecBase<Vec<I>, Vec<N>>;
Trait Implementations
impl<N: Copy + Num + Neg<Output = N>, I: SpIndex> AbstractGroup<Additive> for CsVecI<N, I>
[src]
impl<N: Copy + Num + Neg<Output = N>, I: SpIndex> AbstractGroupAbelian<Additive> for CsVecI<N, I>
[src]
pub fn prop_is_commutative_approx(args: (Self, Self)) -> bool where
Self: RelativeEq<Self>,
[src]
Self: RelativeEq<Self>,
pub fn prop_is_commutative(args: (Self, Self)) -> bool where
Self: Eq,
[src]
Self: Eq,
impl<N: Copy + Num + Neg<Output = N>, I: SpIndex> AbstractLoop<Additive> for CsVecI<N, I>
[src]
impl<N: Clone + Copy + Num, I: Clone + SpIndex> AbstractMagma<Additive> for CsVecI<N, I>
[src]
pub fn operate(&self, right: &CsVecI<N, I>) -> CsVecI<N, I>
[src]
pub fn op(&self, O, lhs: &Self) -> Self
[src]
impl<N: Copy + Num, I: SpIndex> AbstractMonoid<Additive> for CsVecI<N, I>
[src]
pub fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
Self: RelativeEq<Self>,
[src]
Self: RelativeEq<Self>,
pub fn prop_operating_identity_element_is_noop(args: (Self,)) -> bool where
Self: Eq,
[src]
Self: Eq,
impl<N: Copy + Num + Neg<Output = N>, I: SpIndex> AbstractQuasigroup<Additive> for CsVecI<N, I>
[src]
pub fn prop_inv_is_latin_square_approx(args: (Self, Self)) -> bool where
Self: RelativeEq<Self>,
[src]
Self: RelativeEq<Self>,
pub fn prop_inv_is_latin_square(args: (Self, Self)) -> bool where
Self: Eq,
[src]
Self: Eq,
impl<N: Copy + Num, I: SpIndex> AbstractSemigroup<Additive> for CsVecI<N, I>
[src]
pub fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
Self: RelativeEq<Self>,
[src]
Self: RelativeEq<Self>,
pub fn prop_is_associative(args: (Self, Self, Self)) -> bool where
Self: Eq,
[src]
Self: Eq,
impl<N: Copy + Num, I: SpIndex> Identity<Additive> for CsVecI<N, I>
[src]
impl<N: Num + Copy + Neg<Output = N>, I: SpIndex> Neg for CsVecI<N, I>
[src]
type Output = CsVecI<N, I>
The resulting type after applying the -
operator.
pub fn neg(self) -> CsVecI<N, I>
[src]
impl<N, I> TwoSidedInverse<Additive> for CsVecI<N, I> where
N: Clone + Neg<Output = N> + Copy + Num,
I: SpIndex,
[src]
N: Clone + Neg<Output = N> + Copy + Num,
I: SpIndex,