[−][src]Trait Alias maths_traits::algebra::ring_like::UFD
trait UFD = GCDDomain + UniquelyFactorizable;
A commutative ring that is uniquely factorizable into irreducible (up to units)
trait UFD = GCDDomain + UniquelyFactorizable;
A commutative ring that is uniquely factorizable into irreducible (up to units)