[][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