CanonicalΒΆ

attribs.spad line 70 [edit on github]

The class of all domains which have canonical representation, that is if mathematically equal elements have the same data structures.