[−][src]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, [src]

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

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

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

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

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

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

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

Loading content...

Implementors

impl AlwaysExactDiv<RealAlgebraicNumber> for RealAlgebraicNumber[src]

impl AlwaysExactDiv<DyadicFractionInterval> for DyadicFractionInterval[src]

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

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

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

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

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

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

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>, [src]

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

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

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

Loading content...