pub fn canonical_structure(structure: &Structure) -> StructureExpand description
The canonical form of a structure: the lexicographically least relabeling, minimized over all sort-respecting point bijections (brute force over the touched points of each sort — bounded by the degree, so a handful of points). This is the scale-independent orbit-type name.