Struct SymmetricInstance 

pub struct SymmetricInstance {
    pub num_vars: usize,
    pub gens: Vec<Poly>,
    pub sym: Vec<Perm>,
    pub atoms: Box<dyn Fn(u32) -> Vec<(u8, u32)>>,
    pub anchors: Vec<Structure>,
}

A symmetric family instantiated at one scale: the variable count, the GF(2) generator polynomials, the scale’s symmetry generators, the variable → atom-list map that names orbit types scale-independently, and one anchor per generator — the pseudo-structure that pins the generator’s identity for cross-scale row labeling (a pigeon row is anchored by its pigeon, a point generator by its point, a fixed-shape generator by its own monomial structure; anchor atom-lists carry the marker sort 255 so they never collide with multiplier variables, while their point atoms share the real sorts and relabel consistently with the multiplier’s).

Fields

num_vars: usize

gens: Vec<Poly>

sym: Vec<Perm>

atoms: Box<dyn Fn(u32) -> Vec<(u8, u32)>>

anchors: Vec<Structure>

Implementations

impl SymmetricInstance

pub fn structure(&self, mono: Mono) -> Structure

The structure of a monomial under this instance’s atom map.

pub fn type_of(&self, mono: Mono) -> Structure

The canonical orbit-type of a monomial — canonical_structure of its structure.