Trait fructose::algebra::ring::EuclideanSemidomain

pub trait EuclideanSemidomain<A: Operator = Additive, M: Operator = Multiplicative>: PIDSemidomain<A, M> + EuclideanDiv { }

Implementors

impl<T> EuclideanSemidomain<Additive, Multiplicative> for T where
    T: PIDSemidomain + EuclideanDiv, 

Loading content...