Trait fructose::algebra::ring::Ring

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

Addition: AbelianGroup Multiplication: Associative + Identity => Monoid

Implementors

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

Loading content...