[][src]Trait algebraics::traits::ExactDiv

pub trait ExactDiv<Rhs = Self>: Sized {
    type Output;
#[must_use]
    fn checked_exact_div(self, rhs: Rhs) -> Option<Self::Output>;

#[must_use]
    fn exact_div(self, rhs: Rhs) -> Self::Output { ... }
}

Associated Types

type Output

Loading content...

Required methods

#[must_use] fn checked_exact_div(self, rhs: Rhs) -> Option<Self::Output>

Loading content...

Provided methods

#[must_use] fn exact_div(self, rhs: Rhs) -> Self::Output

Loading content...

Implementations on Foreign Types

impl<T> ExactDiv<T> for Ratio<T> where
    T: Clone + Integer
[src]

type Output = Ratio<T>

impl<T> ExactDiv<Ratio<T>> for Ratio<T> where
    T: Clone + Integer
[src]

type Output = Ratio<T>

impl<'r, T> ExactDiv<&'r T> for Ratio<T> where
    T: Clone + Integer
[src]

type Output = Ratio<T>

impl<'r, T> ExactDiv<&'r Ratio<T>> for Ratio<T> where
    T: Clone + Integer
[src]

type Output = Ratio<T>

impl<'l, T> ExactDiv<T> for &'l Ratio<T> where
    T: Clone + Integer
[src]

type Output = Ratio<T>

impl<'l, T> ExactDiv<Ratio<T>> for &'l Ratio<T> where
    T: Clone + Integer
[src]

type Output = Ratio<T>

impl<'l, 'r, T> ExactDiv<&'r T> for &'l Ratio<T> where
    T: Clone + Integer
[src]

type Output = Ratio<T>

impl<'l, 'r, T> ExactDiv<&'r Ratio<T>> for &'l Ratio<T> where
    T: Clone + Integer
[src]

type Output = Ratio<T>

impl<'l, 'r> ExactDiv<&'r u8> for &'l u8[src]

type Output = u8

impl<'_> ExactDiv<&'_ u8> for u8[src]

type Output = u8

impl<'_> ExactDiv<u8> for &'_ u8[src]

type Output = u8

impl ExactDiv<u8> for u8[src]

type Output = u8

impl<'l, 'r> ExactDiv<&'r i8> for &'l i8[src]

type Output = i8

impl<'_> ExactDiv<&'_ i8> for i8[src]

type Output = i8

impl<'_> ExactDiv<i8> for &'_ i8[src]

type Output = i8

impl ExactDiv<i8> for i8[src]

type Output = i8

impl<'l, 'r> ExactDiv<&'r u16> for &'l u16[src]

type Output = u16

impl<'_> ExactDiv<&'_ u16> for u16[src]

type Output = u16

impl<'_> ExactDiv<u16> for &'_ u16[src]

type Output = u16

impl ExactDiv<u16> for u16[src]

type Output = u16

impl<'l, 'r> ExactDiv<&'r i16> for &'l i16[src]

type Output = i16

impl<'_> ExactDiv<&'_ i16> for i16[src]

type Output = i16

impl<'_> ExactDiv<i16> for &'_ i16[src]

type Output = i16

impl ExactDiv<i16> for i16[src]

type Output = i16

impl<'l, 'r> ExactDiv<&'r u32> for &'l u32[src]

type Output = u32

impl<'_> ExactDiv<&'_ u32> for u32[src]

type Output = u32

impl<'_> ExactDiv<u32> for &'_ u32[src]

type Output = u32

impl ExactDiv<u32> for u32[src]

type Output = u32

impl<'l, 'r> ExactDiv<&'r i32> for &'l i32[src]

type Output = i32

impl<'_> ExactDiv<&'_ i32> for i32[src]

type Output = i32

impl<'_> ExactDiv<i32> for &'_ i32[src]

type Output = i32

impl ExactDiv<i32> for i32[src]

type Output = i32

impl<'l, 'r> ExactDiv<&'r u64> for &'l u64[src]

type Output = u64

impl<'_> ExactDiv<&'_ u64> for u64[src]

type Output = u64

impl<'_> ExactDiv<u64> for &'_ u64[src]

type Output = u64

impl ExactDiv<u64> for u64[src]

type Output = u64

impl<'l, 'r> ExactDiv<&'r i64> for &'l i64[src]

type Output = i64

impl<'_> ExactDiv<&'_ i64> for i64[src]

type Output = i64

impl<'_> ExactDiv<i64> for &'_ i64[src]

type Output = i64

impl ExactDiv<i64> for i64[src]

type Output = i64

impl<'l, 'r> ExactDiv<&'r u128> for &'l u128[src]

type Output = u128

impl<'_> ExactDiv<&'_ u128> for u128[src]

type Output = u128

impl<'_> ExactDiv<u128> for &'_ u128[src]

type Output = u128

impl ExactDiv<u128> for u128[src]

type Output = u128

impl<'l, 'r> ExactDiv<&'r i128> for &'l i128[src]

type Output = i128

impl<'_> ExactDiv<&'_ i128> for i128[src]

type Output = i128

impl<'_> ExactDiv<i128> for &'_ i128[src]

type Output = i128

impl ExactDiv<i128> for i128[src]

type Output = i128

impl<'l, 'r> ExactDiv<&'r usize> for &'l usize[src]

type Output = usize

impl<'_> ExactDiv<&'_ usize> for usize[src]

type Output = usize

impl<'_> ExactDiv<usize> for &'_ usize[src]

type Output = usize

impl ExactDiv<usize> for usize[src]

type Output = usize

impl<'l, 'r> ExactDiv<&'r isize> for &'l isize[src]

type Output = isize

impl<'_> ExactDiv<&'_ isize> for isize[src]

type Output = isize

impl<'_> ExactDiv<isize> for &'_ isize[src]

type Output = isize

impl ExactDiv<isize> for isize[src]

type Output = isize

impl<'l, 'r> ExactDiv<&'r BigInt> for &'l BigInt[src]

type Output = BigInt

impl<'_> ExactDiv<&'_ BigInt> for BigInt[src]

type Output = BigInt

impl<'_> ExactDiv<BigInt> for &'_ BigInt[src]

type Output = BigInt

impl ExactDiv<BigInt> for BigInt[src]

type Output = BigInt

impl<'l, 'r> ExactDiv<&'r BigUint> for &'l BigUint[src]

impl<'_> ExactDiv<&'_ BigUint> for BigUint[src]

type Output = BigUint

impl<'_> ExactDiv<BigUint> for &'_ BigUint[src]

type Output = BigUint

impl ExactDiv<BigUint> for BigUint[src]

type Output = BigUint

Loading content...

Implementors

impl ExactDiv<RealAlgebraicNumber> for RealAlgebraicNumber[src]

impl ExactDiv<DyadicFractionInterval> for DyadicFractionInterval[src]

impl ExactDiv<DivisorIsOne> for DivisorIsOne[src]

impl<'_> ExactDiv<&'_ RealAlgebraicNumber> for RealAlgebraicNumber[src]

impl<'_> ExactDiv<&'_ DyadicFractionInterval> for DyadicFractionInterval[src]

impl<'_> ExactDiv<&'_ DivisorIsOne> for DivisorIsOne[src]

impl<'_> ExactDiv<RealAlgebraicNumber> for &'_ RealAlgebraicNumber[src]

impl<'_> ExactDiv<DivisorIsOne> for &'_ DivisorIsOne[src]

impl<'_, T: PolynomialCoefficient + for<'a> ExactDiv<&'a T, Output = T>> ExactDiv<&'_ Polynomial<T>> for Polynomial<T>[src]

type Output = Polynomial<T>

impl<'_, T: PolynomialCoefficient + for<'a> ExactDiv<&'a T, Output = T>> ExactDiv<Polynomial<T>> for &'_ Polynomial<T>[src]

impl<'a> ExactDiv<DyadicFractionInterval> for &'a DyadicFractionInterval[src]

impl<'a, '_> ExactDiv<&'_ DyadicFractionInterval> for &'a DyadicFractionInterval[src]

impl<'a, 'b> ExactDiv<&'a RealAlgebraicNumber> for &'b RealAlgebraicNumber[src]

impl<'a, 'b> ExactDiv<&'a DivisorIsOne> for &'b DivisorIsOne[src]

impl<'a, T: PolynomialCoefficient + for<'b> ExactDiv<&'b T, Output = T>> ExactDiv<&'a T> for &'a Polynomial<T>[src]

type Output = Polynomial<T>

impl<'a, T: PolynomialCoefficient + for<'b> ExactDiv<&'b T, Output = T>> ExactDiv<&'a T> for Polynomial<T>[src]

type Output = Polynomial<T>

impl<'a, T: PolynomialCoefficient + for<'b> ExactDiv<&'b T, Output = T>> ExactDiv<T> for &'a Polynomial<T>[src]

type Output = Polynomial<T>

impl<'l, 'r, T: PolynomialCoefficient + for<'a> ExactDiv<&'a T, Output = T>> ExactDiv<&'r Polynomial<T>> for &'l Polynomial<T>[src]

type Output = Polynomial<T>

impl<'l, 'r, V, M> ExactDiv<&'r ModularInteger<V, M>> for &'l ModularInteger<V, M> where
    V: ModularReduce + Eq + One + Zero + GCD<Output = V> + ExtendedGCD,
    M: Modulus<V>, 
[src]

type Output = ModularInteger<V, M>

impl<'l, V, M> ExactDiv<ModularInteger<V, M>> for &'l ModularInteger<V, M> where
    V: ModularReduce + Eq + One + Zero + GCD<Output = V> + ExtendedGCD,
    M: Modulus<V>, 
[src]

type Output = ModularInteger<V, M>

impl<'r, V, M> ExactDiv<&'r ModularInteger<V, M>> for ModularInteger<V, M> where
    V: ModularReduce + Eq + One + Zero + GCD<Output = V> + ExtendedGCD,
    M: Modulus<V>, 
[src]

type Output = ModularInteger<V, M>

impl<T: PolynomialCoefficient + for<'a> ExactDiv<&'a T, Output = T>> ExactDiv<Polynomial<T>> for Polynomial<T>[src]

impl<T: PolynomialCoefficient + for<'a> ExactDiv<&'a T, Output = T>> ExactDiv<T> for Polynomial<T>[src]

type Output = Polynomial<T>

impl<V, M> ExactDiv<ModularInteger<V, M>> for ModularInteger<V, M> where
    V: ModularReduce + Eq + One + Zero + GCD<Output = V> + ExtendedGCD,
    M: Modulus<V>, 
[src]

type Output = ModularInteger<V, M>

Loading content...