Trait fructose::algebra::ring::IntegralSemidomain

pub trait IntegralSemidomain<A: Operator = Additive, M: Operator = Multiplicative>: CommutativeSemiring<A, M> + NonZero { }

Implementors

impl<T> IntegralSemidomain<Additive, Multiplicative> for T where
    T: CommutativeSemiring + NonZero, 

Loading content...