canonicalsClosedΒΆ

attribs.spad line 36 [edit on github]

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