Trait algebraics::traits::AlwaysExactDiv

pub trait AlwaysExactDiv<Rhs = Self>: ExactDiv<Rhs> + Div<Rhs> { }

division always produces exact results except for division by zero, overflow, or similar

Implementations on Foreign Types

impl<T> AlwaysExactDiv<T> for Ratio<T> where
    T: Clone + Integer, 

impl<T> AlwaysExactDiv<Ratio<T>> for Ratio<T> where
    T: Clone + Integer, 

impl<'r, T> AlwaysExactDiv<&'r T> for Ratio<T> where
    T: Clone + Integer, 

impl<'r, T> AlwaysExactDiv<&'r Ratio<T>> for Ratio<T> where
    T: Clone + Integer, 

impl<'l, T> AlwaysExactDiv<T> for &'l Ratio<T> where
    T: Clone + Integer, 

impl<'l, T> AlwaysExactDiv<Ratio<T>> for &'l Ratio<T> where
    T: Clone + Integer, 

impl<'l, 'r, T> AlwaysExactDiv<&'r T> for &'l Ratio<T> where
    T: Clone + Integer, 

impl<'l, 'r, T> AlwaysExactDiv<&'r Ratio<T>> for &'l Ratio<T> where
    T: Clone + Integer, 

Implementors

impl AlwaysExactDiv<&'_ RealAlgebraicNumber> for RealAlgebraicNumber

impl AlwaysExactDiv<&'_ DyadicFractionInterval> for DyadicFractionInterval

impl AlwaysExactDiv<RealAlgebraicNumber> for &RealAlgebraicNumber

impl AlwaysExactDiv<RealAlgebraicNumber> for RealAlgebraicNumber

impl AlwaysExactDiv<DyadicFractionInterval> for DyadicFractionInterval

impl<'a> AlwaysExactDiv<&'_ DyadicFractionInterval> for &'a DyadicFractionInterval

impl<'a> AlwaysExactDiv<DyadicFractionInterval> for &'a DyadicFractionInterval

impl<'a, 'b> AlwaysExactDiv<&'a RealAlgebraicNumber> for &'b RealAlgebraicNumber

impl<'l, 'r, V, M> AlwaysExactDiv<&'r ModularInteger<V, M>> for &'l ModularInteger<V, M> where
    V: ModularReduce + Integer + GCD<Output = V> + ExtendedGCD,
    M: PrimeModulus<V>, 

impl<'l, V, M> AlwaysExactDiv<ModularInteger<V, M>> for &'l ModularInteger<V, M> where
    V: ModularReduce + Integer + GCD<Output = V> + ExtendedGCD,
    M: PrimeModulus<V>, 

impl<'r, V, M> AlwaysExactDiv<&'r ModularInteger<V, M>> for ModularInteger<V, M> where
    V: ModularReduce + Integer + GCD<Output = V> + ExtendedGCD,
    M: PrimeModulus<V>, 

impl<V, M> AlwaysExactDiv<ModularInteger<V, M>> for ModularInteger<V, M> where
    V: ModularReduce + Integer + GCD<Output = V> + ExtendedGCD,
    M: PrimeModulus<V>,