pub fn galois_class_orbits(
num_vars: usize,
clauses: &[Vec<Lit>],
) -> Option<Vec<Vec<usize>>>Expand description
The Galois orbits on conjugacy classes of a formula’s variable symmetry — classes fused by the
(ℤ/e)* action C ↦ C^t (algebraic conjugacy). The singletons are the rational classes. None when
out of range.