Skip to main content

orbit_representatives

Function orbit_representatives 

Source
pub fn orbit_representatives(n: usize, generators: &[CubeSym]) -> Vec<Corner> 
Expand description

Orbit partition of the 2ⁿ corners under a set of generators, each a verified automorphism. Returns one representative per orbit (the orbit-collapsed corner set the cover check needs). Materializes a 2ⁿ seen-bitmap, so this is itself bounded by the hypercube size — it measures the collapse rather than escaping it; the counting/parity shadows are what decide totality without the 2ⁿ walk. Honest by construction.