canonicalsClosedΒΆ

attribs.spad line 35 [edit on github]

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