Trait fructose::algebra::ring::PIDSemidomain

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

Implementors

impl<T> PIDSemidomain<Additive, Multiplicative> for T where
    T: UFDSemidomain + BezoutSemidomain, 

Loading content...