Trait fructose::algebra::ring::BezoutSemidomain

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

Implementors

impl<T> BezoutSemidomain<Additive, Multiplicative> for T where
    T: GCDSemidomain + Bezout, 

Loading content...