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, 

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

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

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

Implementors

impl AlwaysExactDivAssign<&'_ RealAlgebraicNumber> for RealAlgebraicNumber

impl AlwaysExactDivAssign<&'_ DyadicFractionInterval> for DyadicFractionInterval

impl AlwaysExactDivAssign<RealAlgebraicNumber> for RealAlgebraicNumber

impl AlwaysExactDivAssign<DyadicFractionInterval> for DyadicFractionInterval

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

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