canonicalsClosedΒΆ

attribs.spad line 36

The class of all integral domains such that unitCanonical(a)*unitCanonical(b) = unitCanonical(a*b).