# canonicalUnitNormal¶

The class of all integral domains such that we can choose a canonical representative for each class of associate elements, that is associates?(a, b) returns true if and only if unitCanonical(a) = unitCanonical(b).