Trait fructose::algebra::ring::DivisionRing

pub trait DivisionRing<A: Operator = Additive, M: Operator = Multiplicative>: AbelianGroup<A> + AbelianGroup<M> { }

Addition: Ring Multiplication: Ring + Commutativity + Invertibility

Implementors

impl<T> DivisionRing<Additive, Multiplicative> for T where
    T: AbelianGroup<Additive> + AbelianGroup<Multiplicative>, 

Loading content...