[−][src]Trait Alias maths_traits::algebra::ring_like::BezoutDomain
trait BezoutDomain = GCDDomain + Bezout;
A commutative ring where every pair of elements has a weighted sum to their GCD
trait BezoutDomain = GCDDomain + Bezout;
A commutative ring where every pair of elements has a weighted sum to their GCD