pub struct FactoringStructure<Object: UniqueFactorizationMonoidSignature<FactoredExponent = Exponent>, ObjectB: BorrowedStructure<Object>, Exponent: SemiRingSignature + CancellativeAdditionSignature + OrdSignature, ExponentB: BorrowedStructure<Exponent>> { /* private fields */ }Implementations§
Source§impl<FS: FiniteFieldSignature, FSB: BorrowedStructure<FS>, FSPB: BorrowedStructure<PolynomialStructure<FS, FSB>>, NB: BorrowedStructure<NaturalCanonicalStructure>> FactoringStructure<PolynomialStructure<FS, FSB>, FSPB, NaturalCanonicalStructure, NB>where
PolynomialStructure<FS, FSB>: SetSignature<Set = Polynomial<FS::Set>> + FactoringMonoidSignature<FactoredExponent = NaturalCanonicalStructure>,
impl<FS: FiniteFieldSignature, FSB: BorrowedStructure<FS>, FSPB: BorrowedStructure<PolynomialStructure<FS, FSB>>, NB: BorrowedStructure<NaturalCanonicalStructure>> FactoringStructure<PolynomialStructure<FS, FSB>, FSPB, NaturalCanonicalStructure, NB>where
PolynomialStructure<FS, FSB>: SetSignature<Set = Polynomial<FS::Set>> + FactoringMonoidSignature<FactoredExponent = NaturalCanonicalStructure>,
pub fn into_distinct_degree_factored( &self, a: NonZeroFactored<Polynomial<FS::Set>, Natural>, ) -> DistinctDegreeFactored<FS, FSB>
Source§impl<ObjectB: BorrowedStructure<NaturalCanonicalStructure>, ExponentB: BorrowedStructure<NaturalCanonicalStructure>> FactoringStructure<NaturalCanonicalStructure, ObjectB, NaturalCanonicalStructure, ExponentB>
impl<ObjectB: BorrowedStructure<NaturalCanonicalStructure>, ExponentB: BorrowedStructure<NaturalCanonicalStructure>> FactoringStructure<NaturalCanonicalStructure, ObjectB, NaturalCanonicalStructure, ExponentB>
Source§impl<PowersB: BorrowedStructure<NaturalCanonicalStructure>, ExponentB: BorrowedStructure<NaturalCanonicalStructure>> FactoringStructure<NaturalCanonicalStructure, PowersB, NaturalCanonicalStructure, ExponentB>
impl<PowersB: BorrowedStructure<NaturalCanonicalStructure>, ExponentB: BorrowedStructure<NaturalCanonicalStructure>> FactoringStructure<NaturalCanonicalStructure, PowersB, NaturalCanonicalStructure, ExponentB>
Sourcepub fn is_primitive_root(
&self,
x: &Natural,
n_factored: &Factored<Natural, Natural>,
) -> IsPrimitiveRootResult
pub fn is_primitive_root( &self, x: &Natural, n_factored: &Factored<Natural, Natural>, ) -> IsPrimitiveRootResult
Return whether x is a primitive root modulo the factorized value
Source§impl<RS: FactoringMonoidSignature<FactoredExponent = NaturalCanonicalStructure> + EuclideanDomainSignature + GreatestCommonDivisorSignature, RSB: BorrowedStructure<RS>, RSQB: BorrowedStructure<EuclideanRemainderQuotientStructure<RS, RSB, true>>, RSQPB: BorrowedStructure<PolynomialStructure<EuclideanRemainderQuotientStructure<RS, RSB, true>, RSQB>>, NB: BorrowedStructure<NaturalCanonicalStructure>> FactoringStructure<PolynomialStructure<EuclideanRemainderQuotientStructure<RS, RSB, true>, RSQB>, RSQPB, NaturalCanonicalStructure, NB>where
PolynomialStructure<EuclideanRemainderQuotientStructure<RS, RSB, true>, RSQB>: SetSignature<Set = Polynomial<RS::Set>> + FactoringMonoidSignature<FactoredExponent = NaturalCanonicalStructure>,
impl<RS: FactoringMonoidSignature<FactoredExponent = NaturalCanonicalStructure> + EuclideanDomainSignature + GreatestCommonDivisorSignature, RSB: BorrowedStructure<RS>, RSQB: BorrowedStructure<EuclideanRemainderQuotientStructure<RS, RSB, true>>, RSQPB: BorrowedStructure<PolynomialStructure<EuclideanRemainderQuotientStructure<RS, RSB, true>, RSQB>>, NB: BorrowedStructure<NaturalCanonicalStructure>> FactoringStructure<PolynomialStructure<EuclideanRemainderQuotientStructure<RS, RSB, true>, RSQB>, RSQPB, NaturalCanonicalStructure, NB>where
PolynomialStructure<EuclideanRemainderQuotientStructure<RS, RSB, true>, RSQB>: SetSignature<Set = Polynomial<RS::Set>> + FactoringMonoidSignature<FactoredExponent = NaturalCanonicalStructure>,
Sourcepub fn into_hensel_factorization(
&self,
a: NonZeroFactored<Polynomial<RS::Set>, Natural>,
h: Polynomial<RS::Set>,
) -> Option<HenselFactorization<true, RS>>where
RS: EuclideanDomainSignature + GreatestCommonDivisorSignature,
pub fn into_hensel_factorization(
&self,
a: NonZeroFactored<Polynomial<RS::Set>, Natural>,
h: Polynomial<RS::Set>,
) -> Option<HenselFactorization<true, RS>>where
RS: EuclideanDomainSignature + GreatestCommonDivisorSignature,
If the polynomial is squarefree return a hensel factorization, otherwise return None
Source§impl<Object: UniqueFactorizationMonoidSignature<FactoredExponent = Exponent>, ObjectB: BorrowedStructure<Object>, Exponent: SemiRingSignature + CancellativeAdditionSignature + OrdSignature, ExponentB: BorrowedStructure<Exponent>> FactoringStructure<Object, ObjectB, Exponent, ExponentB>
impl<Object: UniqueFactorizationMonoidSignature<FactoredExponent = Exponent>, ObjectB: BorrowedStructure<Object>, Exponent: SemiRingSignature + CancellativeAdditionSignature + OrdSignature, ExponentB: BorrowedStructure<Exponent>> FactoringStructure<Object, ObjectB, Exponent, ExponentB>
Source§impl<Object: UniqueFactorizationMonoidSignature<FactoredExponent = Exponent>, ObjectB: BorrowedStructure<Object>, Exponent: SemiRingSignature + CancellativeAdditionSignature + OrdSignature, ExponentB: BorrowedStructure<Exponent>> FactoringStructure<Object, ObjectB, Exponent, ExponentB>
impl<Object: UniqueFactorizationMonoidSignature<FactoredExponent = Exponent>, ObjectB: BorrowedStructure<Object>, Exponent: SemiRingSignature + CancellativeAdditionSignature + OrdSignature, ExponentB: BorrowedStructure<Exponent>> FactoringStructure<Object, ObjectB, Exponent, ExponentB>
pub fn new_irreducible_unchecked( &self, p: Object::Set, ) -> Factored<Object::Set, Exponent::Set>
pub fn new_unit_unchecked( &self, unit: Object::Set, ) -> Factored<Object::Set, Exponent::Set>
pub fn new_powers_unchecked( &self, powers: Vec<(Object::Set, Exponent::Set)>, ) -> Factored<Object::Set, Exponent::Set>
pub fn new_unit_and_powers_unchecked( &self, unit: Object::Set, powers: Vec<(Object::Set, Exponent::Set)>, ) -> Factored<Object::Set, Exponent::Set>
pub fn gcd( &self, a: &Factored<Object::Set, Exponent::Set>, b: &Factored<Object::Set, Exponent::Set>, ) -> Factored<Object::Set, Exponent::Set>
pub fn lcm( &self, a: &Factored<Object::Set, Exponent::Set>, b: &Factored<Object::Set, Exponent::Set>, ) -> Option<Factored<Object::Set, Exponent::Set>>
pub fn is_irreducible(&self, a: &Factored<Object::Set, Exponent::Set>) -> bool
pub fn expand(&self, a: &Factored<Object::Set, Exponent::Set>) -> Object::Set
pub fn expand_squarefree( &self, a: &Factored<Object::Set, Exponent::Set>, ) -> Object::Set
pub fn pow( &self, f: &Factored<Object::Set, Exponent::Set>, n: &Exponent::Set, ) -> Factored<Object::Set, Exponent::Set>
Source§impl<Object: UniqueFactorizationMonoidSignature<FactoredExponent = NaturalCanonicalStructure>, ObjectB: BorrowedStructure<Object>, ExponentB: BorrowedStructure<NaturalCanonicalStructure>> FactoringStructure<Object, ObjectB, NaturalCanonicalStructure, ExponentB>
impl<Object: UniqueFactorizationMonoidSignature<FactoredExponent = NaturalCanonicalStructure>, ObjectB: BorrowedStructure<Object>, ExponentB: BorrowedStructure<NaturalCanonicalStructure>> FactoringStructure<Object, ObjectB, NaturalCanonicalStructure, ExponentB>
Trait Implementations§
Source§impl<Object: UniqueFactorizationMonoidSignature<FactoredExponent = Exponent>, ObjectB: BorrowedStructure<Object>, Exponent: SemiRingSignature + CancellativeAdditionSignature + OrdSignature, ExponentB: BorrowedStructure<Exponent>> CancellativeMultiplicationSignature for FactoringStructure<Object, ObjectB, Exponent, ExponentB>
impl<Object: UniqueFactorizationMonoidSignature<FactoredExponent = Exponent>, ObjectB: BorrowedStructure<Object>, Exponent: SemiRingSignature + CancellativeAdditionSignature + OrdSignature, ExponentB: BorrowedStructure<Exponent>> CancellativeMultiplicationSignature for FactoringStructure<Object, ObjectB, Exponent, ExponentB>
Source§impl<Object: Clone + UniqueFactorizationMonoidSignature<FactoredExponent = Exponent>, ObjectB: Clone + BorrowedStructure<Object>, Exponent: Clone + SemiRingSignature + CancellativeAdditionSignature + OrdSignature, ExponentB: Clone + BorrowedStructure<Exponent>> Clone for FactoringStructure<Object, ObjectB, Exponent, ExponentB>
impl<Object: Clone + UniqueFactorizationMonoidSignature<FactoredExponent = Exponent>, ObjectB: Clone + BorrowedStructure<Object>, Exponent: Clone + SemiRingSignature + CancellativeAdditionSignature + OrdSignature, ExponentB: Clone + BorrowedStructure<Exponent>> Clone for FactoringStructure<Object, ObjectB, Exponent, ExponentB>
Source§fn clone(&self) -> FactoringStructure<Object, ObjectB, Exponent, ExponentB>
fn clone(&self) -> FactoringStructure<Object, ObjectB, Exponent, ExponentB>
Returns a duplicate of the value. Read more
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl<Object: Debug + UniqueFactorizationMonoidSignature<FactoredExponent = Exponent>, ObjectB: Debug + BorrowedStructure<Object>, Exponent: Debug + SemiRingSignature + CancellativeAdditionSignature + OrdSignature, ExponentB: Debug + BorrowedStructure<Exponent>> Debug for FactoringStructure<Object, ObjectB, Exponent, ExponentB>
impl<Object: Debug + UniqueFactorizationMonoidSignature<FactoredExponent = Exponent>, ObjectB: Debug + BorrowedStructure<Object>, Exponent: Debug + SemiRingSignature + CancellativeAdditionSignature + OrdSignature, ExponentB: Debug + BorrowedStructure<Exponent>> Debug for FactoringStructure<Object, ObjectB, Exponent, ExponentB>
Source§impl<Object: UniqueFactorizationMonoidSignature<FactoredExponent = Exponent>, ObjectB: BorrowedStructure<Object>, Exponent: SemiRingSignature + CancellativeAdditionSignature + OrdSignature, ExponentB: BorrowedStructure<Exponent>> EqSignature for FactoringStructure<Object, ObjectB, Exponent, ExponentB>
impl<Object: UniqueFactorizationMonoidSignature<FactoredExponent = Exponent>, ObjectB: BorrowedStructure<Object>, Exponent: SemiRingSignature + CancellativeAdditionSignature + OrdSignature, ExponentB: BorrowedStructure<Exponent>> EqSignature for FactoringStructure<Object, ObjectB, Exponent, ExponentB>
Source§impl<Object: UniqueFactorizationMonoidSignature<FactoredExponent = Exponent>, ObjectB: BorrowedStructure<Object>, Exponent: SemiRingSignature + CancellativeAdditionSignature + OrdSignature, ExponentB: BorrowedStructure<Exponent>> MultiplicationSignature for FactoringStructure<Object, ObjectB, Exponent, ExponentB>
impl<Object: UniqueFactorizationMonoidSignature<FactoredExponent = Exponent>, ObjectB: BorrowedStructure<Object>, Exponent: SemiRingSignature + CancellativeAdditionSignature + OrdSignature, ExponentB: BorrowedStructure<Exponent>> MultiplicationSignature for FactoringStructure<Object, ObjectB, Exponent, ExponentB>
Source§impl<Object: UniqueFactorizationMonoidSignature<FactoredExponent = Exponent>, ObjectB: BorrowedStructure<Object>, Exponent: SemiRingSignature + CancellativeAdditionSignature + OrdSignature, ExponentB: BorrowedStructure<Exponent>> MultiplicativeMonoidSignature for FactoringStructure<Object, ObjectB, Exponent, ExponentB>
impl<Object: UniqueFactorizationMonoidSignature<FactoredExponent = Exponent>, ObjectB: BorrowedStructure<Object>, Exponent: SemiRingSignature + CancellativeAdditionSignature + OrdSignature, ExponentB: BorrowedStructure<Exponent>> MultiplicativeMonoidSignature for FactoringStructure<Object, ObjectB, Exponent, ExponentB>
Source§impl<Object: UniqueFactorizationMonoidSignature<FactoredExponent = Exponent>, ObjectB: BorrowedStructure<Object>, Exponent: SemiRingSignature + CancellativeAdditionSignature + OrdSignature, ExponentB: BorrowedStructure<Exponent>> OneSignature for FactoringStructure<Object, ObjectB, Exponent, ExponentB>
impl<Object: UniqueFactorizationMonoidSignature<FactoredExponent = Exponent>, ObjectB: BorrowedStructure<Object>, Exponent: SemiRingSignature + CancellativeAdditionSignature + OrdSignature, ExponentB: BorrowedStructure<Exponent>> OneSignature for FactoringStructure<Object, ObjectB, Exponent, ExponentB>
Source§impl<Object: PartialEq + UniqueFactorizationMonoidSignature<FactoredExponent = Exponent>, ObjectB: PartialEq + BorrowedStructure<Object>, Exponent: PartialEq + SemiRingSignature + CancellativeAdditionSignature + OrdSignature, ExponentB: PartialEq + BorrowedStructure<Exponent>> PartialEq for FactoringStructure<Object, ObjectB, Exponent, ExponentB>
impl<Object: PartialEq + UniqueFactorizationMonoidSignature<FactoredExponent = Exponent>, ObjectB: PartialEq + BorrowedStructure<Object>, Exponent: PartialEq + SemiRingSignature + CancellativeAdditionSignature + OrdSignature, ExponentB: PartialEq + BorrowedStructure<Exponent>> PartialEq for FactoringStructure<Object, ObjectB, Exponent, ExponentB>
Source§fn eq(
&self,
other: &FactoringStructure<Object, ObjectB, Exponent, ExponentB>,
) -> bool
fn eq( &self, other: &FactoringStructure<Object, ObjectB, Exponent, ExponentB>, ) -> bool
Tests for
self and other values to be equal, and is used by ==.Source§impl<Object: UniqueFactorizationMonoidSignature<FactoredExponent = Exponent>, ObjectB: BorrowedStructure<Object>, Exponent: SemiRingSignature + CancellativeAdditionSignature + OrdSignature, ExponentB: BorrowedStructure<Exponent>> RinglikeSpecializationSignature for FactoringStructure<Object, ObjectB, Exponent, ExponentB>
impl<Object: UniqueFactorizationMonoidSignature<FactoredExponent = Exponent>, ObjectB: BorrowedStructure<Object>, Exponent: SemiRingSignature + CancellativeAdditionSignature + OrdSignature, ExponentB: BorrowedStructure<Exponent>> RinglikeSpecializationSignature for FactoringStructure<Object, ObjectB, Exponent, ExponentB>
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>
Source§impl<Object: UniqueFactorizationMonoidSignature<FactoredExponent = Exponent>, ObjectB: BorrowedStructure<Object>, Exponent: SemiRingSignature + CancellativeAdditionSignature + OrdSignature, ExponentB: BorrowedStructure<Exponent>> SetSignature for FactoringStructure<Object, ObjectB, Exponent, ExponentB>
impl<Object: UniqueFactorizationMonoidSignature<FactoredExponent = Exponent>, ObjectB: BorrowedStructure<Object>, Exponent: SemiRingSignature + CancellativeAdditionSignature + OrdSignature, ExponentB: BorrowedStructure<Exponent>> SetSignature for FactoringStructure<Object, ObjectB, Exponent, ExponentB>
type Set = Factored<<Object as SetSignature>::Set, <Exponent as SetSignature>::Set>
Source§impl<PowersB: BorrowedStructure<NaturalCanonicalStructure>, ExponentB: BorrowedStructure<NaturalCanonicalStructure>> ToStringSignature for FactoringStructure<NaturalCanonicalStructure, PowersB, NaturalCanonicalStructure, ExponentB>
impl<PowersB: BorrowedStructure<NaturalCanonicalStructure>, ExponentB: BorrowedStructure<NaturalCanonicalStructure>> ToStringSignature for FactoringStructure<NaturalCanonicalStructure, PowersB, NaturalCanonicalStructure, ExponentB>
Source§impl<Object: UniqueFactorizationMonoidSignature<FactoredExponent = Exponent>, ObjectB: BorrowedStructure<Object>, Exponent: SemiRingSignature + CancellativeAdditionSignature + OrdSignature, ExponentB: BorrowedStructure<Exponent>> TryReciprocalSignature for FactoringStructure<Object, ObjectB, Exponent, ExponentB>
impl<Object: UniqueFactorizationMonoidSignature<FactoredExponent = Exponent>, ObjectB: BorrowedStructure<Object>, Exponent: SemiRingSignature + CancellativeAdditionSignature + OrdSignature, ExponentB: BorrowedStructure<Exponent>> TryReciprocalSignature for FactoringStructure<Object, ObjectB, Exponent, ExponentB>
Source§fn try_reciprocal(&self, a: &Self::Set) -> Option<Self::Set>
fn try_reciprocal(&self, a: &Self::Set) -> Option<Self::Set>
b such that a*b=1 and b*a=1 or None if no such b exists.fn is_unit(&self, a: &Self::Set) -> bool
fn units(&self) -> MultiplicativeMonoidUnitsStructure<Self, &Self>
fn into_units(self) -> MultiplicativeMonoidUnitsStructure<Self, Self>
Source§impl<Object: UniqueFactorizationMonoidSignature<FactoredExponent = Exponent>, ObjectB: BorrowedStructure<Object>, Exponent: SemiRingSignature + CancellativeAdditionSignature + OrdSignature, ExponentB: BorrowedStructure<Exponent>> ZeroSignature for FactoringStructure<Object, ObjectB, Exponent, ExponentB>
impl<Object: UniqueFactorizationMonoidSignature<FactoredExponent = Exponent>, ObjectB: BorrowedStructure<Object>, Exponent: SemiRingSignature + CancellativeAdditionSignature + OrdSignature, ExponentB: BorrowedStructure<Exponent>> ZeroSignature for FactoringStructure<Object, ObjectB, Exponent, ExponentB>
impl<Object: UniqueFactorizationMonoidSignature<FactoredExponent = Exponent>, ObjectB: BorrowedStructure<Object>, Exponent: SemiRingSignature + CancellativeAdditionSignature + OrdSignature, ExponentB: BorrowedStructure<Exponent>> CommutativeMultiplicationSignature for FactoringStructure<Object, ObjectB, Exponent, ExponentB>
impl<Object: Eq + UniqueFactorizationMonoidSignature<FactoredExponent = Exponent>, ObjectB: Eq + BorrowedStructure<Object>, Exponent: Eq + SemiRingSignature + CancellativeAdditionSignature + OrdSignature, ExponentB: Eq + BorrowedStructure<Exponent>> Eq for FactoringStructure<Object, ObjectB, Exponent, ExponentB>
impl<Object: UniqueFactorizationMonoidSignature<FactoredExponent = Exponent>, ObjectB: BorrowedStructure<Object>, Exponent: SemiRingSignature + CancellativeAdditionSignature + OrdSignature, ExponentB: BorrowedStructure<Exponent>> Signature for FactoringStructure<Object, ObjectB, Exponent, ExponentB>
impl<Object: UniqueFactorizationMonoidSignature<FactoredExponent = Exponent>, ObjectB: BorrowedStructure<Object>, Exponent: SemiRingSignature + CancellativeAdditionSignature + OrdSignature, ExponentB: BorrowedStructure<Exponent>> StructuralPartialEq for FactoringStructure<Object, ObjectB, Exponent, ExponentB>
Auto Trait Implementations§
impl<Object, ObjectB, Exponent, ExponentB> Freeze for FactoringStructure<Object, ObjectB, Exponent, ExponentB>
impl<Object, ObjectB, Exponent, ExponentB> RefUnwindSafe for FactoringStructure<Object, ObjectB, Exponent, ExponentB>where
ObjectB: RefUnwindSafe,
ExponentB: RefUnwindSafe,
Object: RefUnwindSafe,
Exponent: RefUnwindSafe,
impl<Object, ObjectB, Exponent, ExponentB> Send for FactoringStructure<Object, ObjectB, Exponent, ExponentB>
impl<Object, ObjectB, Exponent, ExponentB> Sync for FactoringStructure<Object, ObjectB, Exponent, ExponentB>
impl<Object, ObjectB, Exponent, ExponentB> Unpin for FactoringStructure<Object, ObjectB, Exponent, ExponentB>
impl<Object, ObjectB, Exponent, ExponentB> UnwindSafe for FactoringStructure<Object, ObjectB, Exponent, ExponentB>
Blanket Implementations§
Source§impl<S> AreAssociateMultiplicationSignature for Swhere
S: CancellativeMultiplicationSignature + ZeroEqSignature,
impl<S> AreAssociateMultiplicationSignature for Swhere
S: CancellativeMultiplicationSignature + ZeroEqSignature,
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key and return true if they are equal.Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
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 moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
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 moreSource§impl<S> IntoErgonomicSignature for Swhere
S: SetSignature,
impl<S> IntoErgonomicSignature for Swhere
S: SetSignature,
fn into_ergonomic(&self, elem: Self::Set) -> StructuredElement<Self>
Source§impl<S> LeftCancellativeMultiplicationSignature for Swhere
S: CancellativeMultiplicationSignature,
impl<S> LeftCancellativeMultiplicationSignature for Swhere
S: CancellativeMultiplicationSignature,
Source§fn try_left_divide(
&self,
a: &<S as SetSignature>::Set,
b: &<S as SetSignature>::Set,
) -> Option<<S as SetSignature>::Set>
fn try_left_divide( &self, a: &<S as SetSignature>::Set, b: &<S as SetSignature>::Set, ) -> Option<<S as SetSignature>::Set>
Try to find
x such that a = b * x.Source§impl<S> MultiplicativeMonoidTryInverseSignature for Swhere
S: MultiplicativeMonoidSignature + TryReciprocalSignature,
impl<S> MultiplicativeMonoidTryInverseSignature for Swhere
S: MultiplicativeMonoidSignature + TryReciprocalSignature,
Source§impl<T, U> OverflowingInto<U> for Twhere
U: OverflowingFrom<T>,
impl<T, U> OverflowingInto<U> for Twhere
U: OverflowingFrom<T>,
fn overflowing_into(self) -> (U, bool)
Source§impl<T> Pointable for T
impl<T> Pointable for T
Source§impl<S> RightCancellativeMultiplicationSignature for Swhere
S: CancellativeMultiplicationSignature,
impl<S> RightCancellativeMultiplicationSignature for Swhere
S: CancellativeMultiplicationSignature,
Source§fn try_right_divide(
&self,
a: &<S as SetSignature>::Set,
b: &<S as SetSignature>::Set,
) -> Option<<S as SetSignature>::Set>
fn try_right_divide( &self, a: &<S as SetSignature>::Set, b: &<S as SetSignature>::Set, ) -> Option<<S as SetSignature>::Set>
Try to find
x such that a = x * b.Source§impl<RS> RingMatricesSignature for RSwhere
RS: SetSignature,
impl<RS> RingMatricesSignature for RSwhere
RS: SetSignature,
fn matrices(&self) -> MatrixStructure<Self, &Self>
fn into_matrices(self) -> MatrixStructure<Self, Self>
Source§impl<T, U> RoundingInto<U> for Twhere
U: RoundingFrom<T>,
impl<T, U> RoundingInto<U> for Twhere
U: RoundingFrom<T>,
fn rounding_into(self, rm: RoundingMode) -> (U, Ordering)
Source§impl<T, U> SaturatingInto<U> for Twhere
U: SaturatingFrom<T>,
impl<T, U> SaturatingInto<U> for Twhere
U: SaturatingFrom<T>,
fn saturating_into(self) -> U
Source§impl<T> ToDebugString for Twhere
T: Debug,
impl<T> ToDebugString for Twhere
T: Debug,
Source§fn to_debug_string(&self) -> String
fn to_debug_string(&self) -> String
Source§impl<RS> ToPolynomialSignature for RSwhere
RS: Signature,
impl<RS> ToPolynomialSignature for RSwhere
RS: Signature,
fn polynomials(&self) -> PolynomialStructure<Self, &Self>
fn into_polynomials(self) -> PolynomialStructure<Self, Self>
Source§impl<S> TryLeftReciprocalSignature for S
impl<S> TryLeftReciprocalSignature for S
Source§fn try_left_reciprocal(
&self,
a: &<S as SetSignature>::Set,
) -> Option<<S as SetSignature>::Set>
fn try_left_reciprocal( &self, a: &<S as SetSignature>::Set, ) -> Option<<S as SetSignature>::Set>
x such that x*a=1 or None if no such x exists.Source§impl<S> TryRightReciprocalSignature for S
impl<S> TryRightReciprocalSignature for S
Source§fn try_right_reciprocal(
&self,
a: &<S as SetSignature>::Set,
) -> Option<<S as SetSignature>::Set>
fn try_right_reciprocal( &self, a: &<S as SetSignature>::Set, ) -> Option<<S as SetSignature>::Set>
x such that a*x=1 or None if no such x exists.