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