Trait fructose::algebra::ring::UFDDomain

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

Implementors

impl<T> UFDDomain<Additive, Multiplicative> for T where
    T: GCDDomain + Factorizable, 

Loading content...