Type Definition sprs::CsVecI

type CsVecI<N, I = usize> = CsVecBase<Vec<I>, Vec<N>, N, I>;

Implementations

impl<N, I: SpIndex> CsVecI<N, I>

Methods operating on owning sparse vectors

pub fn empty(dim: usize) -> Self

Create an empty CsVec, which can be used for incremental construction

pub fn append(&mut self, ind: usize, val: N)

Append an element to the sparse vector. Used for incremental building of the CsVec. The append should preserve the structure of the vector, ie the newly added index should be strictly greater than the last element of indices.

Panics

• Panics if ind is lower or equal to the last element of self.indices()
• Panics if ind is greater than self.dim()

pub fn reserve(&mut self, size: usize)

Reserve size additional non-zero values.

pub fn reserve_exact(&mut self, exact_size: usize)

Reserve exactly exact_size non-zero values.

pub fn clear(&mut self)

Clear the underlying storage

Trait Implementations

impl<N, I> AbstractGroup<Additive> for CsVecI<N, I> where
    N: Num + Copy + for<'r> AddAssign<&'r N> + Neg<Output = N>,
    I: SpIndex, 

impl<N, I> AbstractGroupAbelian<Additive> for CsVecI<N, I> where
    N: Num + Copy + for<'r> AddAssign<&'r N> + Neg<Output = N>,
    I: SpIndex, 

pub 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.

pub 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, I> AbstractLoop<Additive> for CsVecI<N, I> where
    N: Num + Copy + for<'r> AddAssign<&'r N> + Neg<Output = N>,
    I: SpIndex, 

impl<N, I> AbstractMagma<Additive> for CsVecI<N, I> where
    N: Num + Clone + for<'r> AddAssign<&'r N>,
    I: SpIndex, 

fn operate(&self, right: &Self) -> Self

Performs an operation.

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

Performs specific operation.

impl<N, I> AbstractMonoid<Additive> for CsVecI<N, I> where
    N: Num + Copy + for<'r> AddAssign<&'r N>,
    I: SpIndex, 

pub 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.

pub 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, I> AbstractQuasigroup<Additive> for CsVecI<N, I> where
    N: Num + Clone + for<'r> AddAssign<&'r N> + Neg<Output = N>,
    I: SpIndex, 

pub 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.

pub 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, I> AbstractSemigroup<Additive> for CsVecI<N, I> where
    N: Num + Clone + for<'r> AddAssign<&'r N>,
    I: SpIndex, 

pub 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.

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

Returns true if associativity holds for the given arguments.

impl<N, I> Identity<Additive> for CsVecI<N, I> where
    N: Num + Clone + for<'r> AddAssign<&'r N>,
    I: SpIndex, 

fn identity() -> Self

The identity element.

pub fn id(O) -> Self

Specific identity.

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

type Output = Self

The resulting type after applying the - operator.

fn neg(self) -> Self::Output

Performs the unary - operation.

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

fn two_sided_inverse(&self) -> Self

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

pub fn two_sided_inverse_mut(&mut self)

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

impl<N, I> Zero for CsVecI<N, I> where
    N: Num + Clone + for<'r> AddAssign<&'r N>,
    I: SpIndex, 

fn zero() -> Self

Returns the additive identity element of Self, 0.

fn is_zero(&self) -> bool

Returns true if self is equal to the additive identity.

pub fn set_zero(&mut self)

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