Trait Alias maths_traits::algebra::ring_like::UFSemidomain

trait UFSemidomain = GCDSemidomain + UniquelyFactorizable;

A GCD semidomain where every pair of elements is uniquely factorizable into irreducible elements (up to units)