Trait fructose::algebra::ring::PIDDomain[−][src]

pub trait PIDDomain<A: Operator = Additive, M: Operator = Multiplicative>: UFDDomain<A, M> + BezoutDomain<A, M> { }

Implementors

impl<T> PIDDomain<Additive, Multiplicative> for T where
    T: UFDDomain + BezoutDomain, [src]

Loading content...