CanonicalΒΆ

attribs.spad line 70

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