Trait fructose::algebra::ring::NearRing

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

Addition: Ring - Inverse - Commutativity Multiplication: Semiring - Identity

Implementors

impl<T> NearRing<Additive, Multiplicative> for T where
    T: Monoid<Additive> + Semigroup<Multiplicative>, 

Loading content...