[−][src]Type Definition sprs::CsVecI
type CsVecI<N, I> = CsVecBase<Vec<I>, Vec<N>>;
Trait Implementations
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.
fn neg(self) -> CsVecI<N, I>
[src]
impl<N: Clone + Copy + Num, I: Clone + SpIndex> AbstractMagma<Additive> for CsVecI<N, I>
[src]
fn operate(&self, right: &CsVecI<N, I>) -> CsVecI<N, I>
[src]
fn op(&self, O, lhs: &Self) -> Self
[src]
Performs specific operation.
impl<N: Copy + Num + Neg<Output = N>, I: SpIndex> AbstractQuasigroup<Additive> for CsVecI<N, I>
[src]
fn prop_inv_is_latin_square_approx(args: (Self, Self)) -> bool where
Self: ApproxEq,
[src]
Self: ApproxEq,
Returns true
if latin squareness holds for the given arguments. Approximate equality is used for verifications. Read more
fn prop_inv_is_latin_square(args: (Self, Self)) -> bool where
Self: Eq,
[src]
Self: Eq,
Returns true
if latin squareness holds for the given arguments.
impl<N: Copy + Num, I: SpIndex> AbstractSemigroup<Additive> for CsVecI<N, I>
[src]
fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
Self: ApproxEq,
[src]
Self: ApproxEq,
Returns true
if associativity holds for the given arguments. Approximate equality is used for verifications. Read more
fn prop_is_associative(args: (Self, Self, Self)) -> bool where
Self: Eq,
[src]
Self: Eq,
Returns true
if associativity holds for the given arguments.
impl<N: Copy + Num + Neg<Output = N>, I: SpIndex> AbstractLoop<Additive> for CsVecI<N, I>
[src]
impl<N: Copy + Num, I: SpIndex> AbstractMonoid<Additive> for CsVecI<N, I>
[src]
fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
Self: ApproxEq,
[src]
Self: ApproxEq,
Checks whether operating with the identity element is a no-op for the given argument. Approximate equality is used for verifications. Read more
fn prop_operating_identity_element_is_noop(args: (Self,)) -> bool where
Self: Eq,
[src]
Self: Eq,
Checks whether operating with the identity element is a no-op for the given argument. Read more
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]
fn prop_is_commutative_approx(args: (Self, Self)) -> bool where
Self: ApproxEq,
[src]
Self: ApproxEq,
Returns true
if the operator is commutative for the given argument tuple. Approximate equality is used for verifications. Read more
fn prop_is_commutative(args: (Self, Self)) -> bool where
Self: Eq,
[src]
Self: Eq,
Returns true
if the operator is commutative for the given argument tuple.
impl<N, I> Inverse<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,