Struct AglCollapse 

pub struct AglCollapse {
    pub n: usize,
    pub bn_orbits: usize,
    pub agl_classes: usize,
}

The AGL collapse of the census — how far the affine group AGL(n,2) ⊋ Bₙ merges the Bₙ-orbit count. Because the certified family is AGL-invariant (proved), the AGL census carries the same family tower — just fewer classes: more symmetry, less to cover.

Fields

n: usize

bn_orbits: usize

The Bₙ-orbit count (the census’s covering-class count).

agl_classes: usize

The AGL(n,2)-class count after the affine lens merges affine-equivalent orbits.

Implementations

impl AglCollapse

pub fn factor(&self) -> f64

The collapse factor bn_orbits / agl_classes — how many Bₙ orbits the affine lens fuses per class.

Trait Implementations

impl Clone for AglCollapse

fn clone(&self) -> AglCollapse

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for AglCollapse

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.