Trait fructose::algebra::ring::UFDSemidomain

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

Implementors

impl<T> UFDSemidomain<Additive, Multiplicative> for T where
    T: GCDSemidomain + Factorizable, 

Loading content...