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>

type Output = CsVecI<N, I>

The resulting type after applying the - operator.

fn neg(self) -> CsVecI<N, I>

Performs the unary - operation.

impl<N: Clone + Copy + Num, I: Clone + SpIndex> AbstractMagma<Additive> for CsVecI<N, I>

fn operate(&self, right: &CsVecI<N, I>) -> CsVecI<N, I>

Performs an operation.

fn op(&self, O, lhs: &Self) -> Self

Performs specific operation.

impl<N: Copy + Num + Neg<Output = N>, I: SpIndex> AbstractQuasigroup<Additive> for CsVecI<N, I>

fn prop_inv_is_latin_square_approx(args: (Self, Self)) -> bool where
    Self: RelativeEq<Self>, 

Returns true if latin squareness holds for the given arguments. Approximate equality is used for verifications.

fn prop_inv_is_latin_square(args: (Self, Self)) -> bool where
    Self: Eq, 

Returns true if latin squareness holds for the given arguments.

impl<N: Copy + Num, I: SpIndex> AbstractSemigroup<Additive> for CsVecI<N, I>

fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
    Self: RelativeEq<Self>, 

Returns true if associativity holds for the given arguments. Approximate equality is used for verifications.

fn prop_is_associative(args: (Self, Self, Self)) -> bool where
    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>

impl<N: Copy + Num, I: SpIndex> AbstractMonoid<Additive> for CsVecI<N, I>

fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
    Self: RelativeEq<Self>, 

Checks whether operating with the identity element is a no-op for the given argument. Approximate equality is used for verifications.

fn prop_operating_identity_element_is_noop(args: (Self,)) -> bool where
    Self: Eq, 

Checks whether operating with the identity element is a no-op for the given argument.

impl<N: Copy + Num + Neg<Output = N>, I: SpIndex> AbstractGroup<Additive> for CsVecI<N, I>

impl<N: Copy + Num + Neg<Output = N>, I: SpIndex> AbstractGroupAbelian<Additive> for CsVecI<N, I>

fn prop_is_commutative_approx(args: (Self, Self)) -> bool where
    Self: RelativeEq<Self>, 

Returns true if the operator is commutative for the given argument tuple. Approximate equality is used for verifications.

fn prop_is_commutative(args: (Self, Self)) -> bool where
    Self: Eq, 

Returns true if the operator is commutative for the given argument tuple.

impl<N: Copy + Num, I: SpIndex> Identity<Additive> for CsVecI<N, I>

fn identity() -> CsVecI<N, I>

The identity element.

fn id(O) -> Self

Specific identity.

impl<N, I> TwoSidedInverse<Additive> for CsVecI<N, I> where
    N: Clone + Neg<Output = N> + Copy + Num,
    I: SpIndex, 

fn two_sided_inverse(&self) -> CsVecI<N, I>

Returns the two_sided_inverse of self, relative to the operator O.

fn two_sided_inverse_mut(&mut self)

In-place inversion of self, relative to the operator O.

impl<N: Num + Copy, I: SpIndex> Zero for CsVecI<N, I>

fn zero() -> CsVecI<N, I>

Returns the additive identity element of Self, 0. # Purity

fn is_zero(&self) -> bool

Returns true if self is equal to the additive identity.

fn set_zero(&mut self)

Sets self to the additive identity element of Self, 0.