pub fn group_canon(
clauses: &CanonClauses,
group: &[Perm],
) -> (CanonClauses, Twist)Expand description
The group-canonical form of a clause set: the minimum, over every group element g, of the
name-normalized image — plus the twist realizing it. Two cofactors in the same G-orbit
canonicalize identically, whatever corner of the orbit they sit in.