[−][src]Trait algebraics::traits::AlwaysExactDivAssign

pub trait AlwaysExactDivAssign<Rhs = Self>: AlwaysExactDiv<Rhs> + ExactDivAssign<Rhs> + DivAssign<Rhs> + ExactDiv<Rhs, Output = Self> + Div<Rhs, Output = Self> { }

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

Implementations on Foreign Types

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

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

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

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

Loading content...

Implementors

impl AlwaysExactDivAssign<RealAlgebraicNumber> for RealAlgebraicNumber[src]

impl AlwaysExactDivAssign<DyadicFractionInterval> for DyadicFractionInterval[src]

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

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

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

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

Loading content...