pub type Structure = Vec<Vec<(u8, u32)>>;Expand description
A monomial’s structure: one atom list per variable it contains, each atom a (sort, point)
pair — pigeonhole variables are [(0, pigeon), (1, hole)], counting variables are the block’s
points [(0, a), (0, b), (0, c)]. Two monomials at any two scales have the same orbit type iff
their structures agree up to a sort-respecting relabeling of points (canonical_structure).
Aliased Type§
pub struct Structure { /* private fields */ }