Struct FreeModuleOverOrderedSetStructure

pub struct FreeModuleOverOrderedSetStructure<Set: OrdSignature, SetB: BorrowedStructure<Set>, Ring: SemiRingSignature, RingB: BorrowedStructure<Ring>> { /* private fields */ }

Implementations§

Input: vector of (Set, Ring) Output: vector of (Set, Ring) which is

ordered
has no duplicate set elements
has no ring elements equal to 0

and is equal to the sum of the input vectors terms. In other words, the returned vector will pass self.is_element(..)

Trait Implementations§

Return the unique x such that a = b + x, or None if no such x exists.

Returns a duplicate of the value. Read more

Performs copy-assignment from source. Read more

Formats the value using the given formatter. Read more

Tests for self and other values to be equal, and is used by ==.

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

Some instances of Self::Set may not be valid to represent elements of this set. Return true if x is a valid element and false if not.

Auto Trait Implementations§

Blanket Implementations§

Gets the TypeId of self. Read more

Immutably borrows from an owned value. Read more

Mutably borrows from an owned value. Read more

🔬This is a nightly-only experimental API. (clone_to_uninit)

Performs copy-assignment from self to dest. Read more

Checks if this value is equivalent to the given key. Read more

Compare self to key and return true if they are equal.

Returns the argument unchanged.

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more

The alignment of pointer.

The type for initializers.

Initializes a with the given initializer. Read more

Dereferences the given pointer. Read more

Mutably dereferences the given pointer. Read more

Drops the object pointed to by the given pointer. Read more

Should always be Self

Returns the String produced by Ts Debug implementation.

use malachite_base::strings::ToDebugString;

assert_eq!([1, 2, 3].to_debug_string(), "[1, 2, 3]");
assert_eq!(
    [vec![2, 3], vec![], vec![4]].to_debug_string(),
    "[[2, 3], [], [4]]"
);
assert_eq!(Some(5).to_debug_string(), "Some(5)");

The resulting type after obtaining ownership.

Creates owned data from borrowed data, usually by cloning. Read more

Uses borrowed data to replace owned data, usually by cloning. Read more

The type returned in the event of a conversion error.

Performs the conversion.

The type returned in the event of a conversion error.

Performs the conversion.

FreeModuleOverOrderedSetStructure

Struct FreeModuleOverOrderedSetStructure Copy item path

Implementations§

impl<Set: OrdSignature, SetB: BorrowedStructure<Set>, Ring: SemiRingSignature + EqSignature, RingB: BorrowedStructure<Ring>> FreeModuleOverOrderedSetStructure<Set, SetB, Ring, RingB>

pub fn new(set: SetB, ring: RingB) -> Self

pub fn set(&self) -> &Set

pub fn collapse_terms( &self, v: <Self as SetSignature>::Set, ) -> <Self as SetSignature>::Set

Trait Implementations§

impl<Set: OrdSignature, SetB: BorrowedStructure<Set>, Ring: SemiRingSignature + EqSignature, RingB: BorrowedStructure<Ring>> AdditionSignature for FreeModuleOverOrderedSetStructure<Set, SetB, Ring, RingB>

fn add(&self, v: &Self::Set, w: &Self::Set) -> Self::Set

fn add_mut(&self, a: &mut Self::Set, b: &Self::Set)

impl<Set: OrdSignature, SetB: BorrowedStructure<Set>, Ring: RingSignature + EqSignature, RingB: BorrowedStructure<Ring>> AdditiveGroupSignature for FreeModuleOverOrderedSetStructure<Set, SetB, Ring, RingB>

fn neg(&self, v: &Self::Set) -> Self::Set

fn sub(&self, a: &Self::Set, b: &Self::Set) -> Self::Set

impl<Set: OrdSignature, SetB: BorrowedStructure<Set>, Ring: SemiRingSignature + EqSignature, RingB: BorrowedStructure<Ring>> AdditiveMonoidSignature for FreeModuleOverOrderedSetStructure<Set, SetB, Ring, RingB>

fn sum(&self, vals: Vec<impl Borrow<Self::Set>>) -> Self::Set

impl<Set: OrdSignature, SetB: BorrowedStructure<Set>, Ring: SemiRingSignature + EqSignature, RingB: BorrowedStructure<Ring>> CancellativeAdditionSignature for FreeModuleOverOrderedSetStructure<Set, SetB, Ring, RingB>

fn try_sub(&self, _a: &Self::Set, _b: &Self::Set) -> Option<Self::Set>

impl<Set: Clone + OrdSignature, SetB: Clone + BorrowedStructure<Set>, Ring: Clone + SemiRingSignature, RingB: Clone + BorrowedStructure<Ring>> Clone for FreeModuleOverOrderedSetStructure<Set, SetB, Ring, RingB>

fn clone(&self) -> FreeModuleOverOrderedSetStructure<Set, SetB, Ring, RingB>

fn clone_from(&mut self, source: &Self)

impl<Set: Debug + OrdSignature, SetB: Debug + BorrowedStructure<Set>, Ring: Debug + SemiRingSignature, RingB: Debug + BorrowedStructure<Ring>> Debug for FreeModuleOverOrderedSetStructure<Set, SetB, Ring, RingB>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

impl<Set: OrdSignature, SetB: BorrowedStructure<Set>, Ring: SemiRingSignature + EqSignature, RingB: BorrowedStructure<Ring>> EqSignature for FreeModuleOverOrderedSetStructure<Set, SetB, Ring, RingB>

fn equal(&self, v: &Self::Set, w: &Self::Set) -> bool

impl<Set: OrdSignature, SetB: BorrowedStructure<Set>, Ring: RingSignature + EqSignature, RingB: BorrowedStructure<Ring>> FreeModuleSignature<Ring> for FreeModuleOverOrderedSetStructure<Set, SetB, Ring, RingB>

type Basis = Set

fn basis_set(&self) -> impl Borrow<Set>

fn to_component<'a>(&self, x: &Set::Set, v: &'a Self::Set) -> Cow<'a, Ring::Set>

fn from_component(&self, x: &Set::Set, a: &Ring::Set) -> Self::Set

impl<Set: OrdSignature, SetB: BorrowedStructure<Set>, Ring: SemiRingSignature, RingB: BorrowedStructure<Ring>> PartialEq for FreeModuleOverOrderedSetStructure<Set, SetB, Ring, RingB>

fn eq(&self, other: &Self) -> bool

fn ne(&self, other: &Rhs) -> bool

impl<Set: OrdSignature, SetB: BorrowedStructure<Set>, Ring: SemiRingSignature + EqSignature, RingB: BorrowedStructure<Ring>> RinglikeSpecializationSignature for FreeModuleOverOrderedSetStructure<Set, SetB, Ring, RingB>

fn try_ring_restructure( &self, ) -> Option<impl EqSignature<Set = Self::Set> + RingSignature>

fn try_char_zero_ring_restructure( &self, ) -> Option<impl EqSignature<Set = Self::Set> + CharZeroRingSignature>

impl<Set: OrdSignature, SetB: BorrowedStructure<Set>, Ring: SemiRingSignature + EqSignature, RingB: BorrowedStructure<Ring>> SemiModuleSignature<Ring> for FreeModuleOverOrderedSetStructure<Set, SetB, Ring, RingB>

fn ring(&self) -> &Ring

fn scalar_mul(&self, v: &Self::Set, b: &Ring::Set) -> Self::Set

impl<Set: OrdSignature, SetB: BorrowedStructure<Set>, Ring: SemiRingSignature + EqSignature, RingB: BorrowedStructure<Ring>> SetSignature for FreeModuleOverOrderedSetStructure<Set, SetB, Ring, RingB>

type Set = Vec<(<Set as SetSignature>::Set, <Ring as SetSignature>::Set)>

fn is_element(&self, v: &Self::Set) -> Result<(), String>

impl<Set: OrdSignature, SetB: BorrowedStructure<Set>, Ring: SemiRingSignature + EqSignature, RingB: BorrowedStructure<Ring>> TryNegateSignature for FreeModuleOverOrderedSetStructure<Set, SetB, Ring, RingB>

fn try_neg(&self, v: &Self::Set) -> Option<Self::Set>

impl<Set: OrdSignature, SetB: BorrowedStructure<Set>, Ring: SemiRingSignature + EqSignature, RingB: BorrowedStructure<Ring>> ZeroSignature for FreeModuleOverOrderedSetStructure<Set, SetB, Ring, RingB>

fn zero(&self) -> Self::Set

impl<Set: OrdSignature, SetB: BorrowedStructure<Set>, Ring: SemiRingSignature, RingB: BorrowedStructure<Ring>> Eq for FreeModuleOverOrderedSetStructure<Set, SetB, Ring, RingB>

impl<Set: OrdSignature, SetB: BorrowedStructure<Set>, Ring: SemiRingSignature, RingB: BorrowedStructure<Ring>> Signature for FreeModuleOverOrderedSetStructure<Set, SetB, Ring, RingB>

Auto Trait Implementations§

impl<Set, SetB, Ring, RingB> Freeze for FreeModuleOverOrderedSetStructure<Set, SetB, Ring, RingB>where SetB: Freeze, RingB: Freeze,

impl<Set, SetB, Ring, RingB> RefUnwindSafe for FreeModuleOverOrderedSetStructure<Set, SetB, Ring, RingB>where SetB: RefUnwindSafe, RingB: RefUnwindSafe, Set: RefUnwindSafe, Ring: RefUnwindSafe,

impl<Set, SetB, Ring, RingB> Send for FreeModuleOverOrderedSetStructure<Set, SetB, Ring, RingB>

impl<Set, SetB, Ring, RingB> Sync for FreeModuleOverOrderedSetStructure<Set, SetB, Ring, RingB>

impl<Set, SetB, Ring, RingB> Unpin for FreeModuleOverOrderedSetStructure<Set, SetB, Ring, RingB>where SetB: Unpin, RingB: Unpin, Set: Unpin, Ring: Unpin,

impl<Set, SetB, Ring, RingB> UnwindSafe for FreeModuleOverOrderedSetStructure<Set, SetB, Ring, RingB>where SetB: UnwindSafe, RingB: UnwindSafe, Set: UnwindSafe, Ring: UnwindSafe,

Blanket Implementations§

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> CloneToUninit for Twhere T: Clone,

unsafe fn clone_to_uninit(&self, dest: *mut u8)

impl<Q, K> Equivalent<K> for Qwhere Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

fn equivalent(&self, key: &K) -> bool

impl<Q, K> Equivalent<K> for Qwhere Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

fn equivalent(&self, key: &K) -> bool

impl<T, U> ExactFrom<T> for Uwhere U: TryFrom<T>,

fn exact_from(value: T) -> U

impl<T, U> ExactInto<U> for Twhere U: ExactFrom<T>,

fn exact_into(self) -> U

impl<T> From<T> for T

fn from(t: T) -> T

impl<T, U> Into<U> for Twhere U: From<T>,

fn into(self) -> U

impl<T> IntoEither for T

fn into_either(self, into_left: bool) -> Either<Self, Self>

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>where F: FnOnce(&Self) -> bool,

impl<S> IntoErgonomicSignature for Swhere S: SetSignature,

Struct FreeModuleOverOrderedSetStructure

impl<Set, SetB, Ring, RingB> Freeze for FreeModuleOverOrderedSetStructure<Set, SetB, Ring, RingB>
where SetB: Freeze, RingB: Freeze,

impl<Set, SetB, Ring, RingB> RefUnwindSafe for FreeModuleOverOrderedSetStructure<Set, SetB, Ring, RingB>
where SetB: RefUnwindSafe, RingB: RefUnwindSafe, Set: RefUnwindSafe, Ring: RefUnwindSafe,

impl<Set, SetB, Ring, RingB> Unpin for FreeModuleOverOrderedSetStructure<Set, SetB, Ring, RingB>
where SetB: Unpin, RingB: Unpin, Set: Unpin, Ring: Unpin,

impl<Set, SetB, Ring, RingB> UnwindSafe for FreeModuleOverOrderedSetStructure<Set, SetB, Ring, RingB>
where SetB: UnwindSafe, RingB: UnwindSafe, Set: UnwindSafe, Ring: UnwindSafe,

impl<T> Any for T
where T: 'static + ?Sized,

impl<T> Borrow<T> for T
where T: ?Sized,

impl<T> BorrowMut<T> for T
where T: ?Sized,

impl<T> CloneToUninit for T
where T: Clone,

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

impl<T, U> ExactFrom<T> for U
where U: TryFrom<T>,

impl<T, U> ExactInto<U> for T
where U: ExactFrom<T>,

impl<T, U> Into<U> for T
where U: From<T>,

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

impl<S> IntoErgonomicSignature for S
where S: SetSignature,

impl<T, U> OverflowingInto<U> for T
where U: OverflowingFrom<T>,

impl<RS> RingMatricesSignature for RS
where RS: SetSignature,

impl<T, U> RoundingInto<U> for T
where U: RoundingFrom<T>,

impl<T, U> SaturatingInto<U> for T
where U: SaturatingFrom<T>,

impl<T> ToDebugString for T
where T: Debug,

impl<T> ToOwned for T
where T: Clone,

impl<RS> ToPolynomialSignature for RS
where RS: Signature,

impl<T, U> TryFrom<U> for T
where U: Into<T>,

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

impl<T, U> WrappingInto<U> for T
where U: WrappingFrom<T>,

impl<R> ZeroEqSignature for R
where R: ZeroSignature + EqSignature,

impl<Domain, Range, M, BM> BorrowedMorphism<Domain, Range, M> for BM
where Domain: Signature, Range: Signature, M: Morphism<Domain, Range>, BM: Borrow<M> + Clone + Debug + Send + Sync,

impl<S, BS> BorrowedSet<S> for BS
where BS: Borrow<S> + Clone + Debug + Send + Sync,

impl<S, BS> BorrowedStructure<S> for BS
where S: Signature, BS: Borrow<S> + Clone + Debug + Eq + Send + Sync,

impl<Ring, Module> ModuleSignature<Ring> for Module
where Ring: RingSignature, Module: SemiModuleSignature<Ring> + AdditiveGroupSignature,