Skip to main content

pattern_inventory

Function pattern_inventory 

Source
pub fn pattern_inventory(
    degree: usize,
    gens: &[Perm],
    cap: usize,
) -> Option<Vec<u128>>
Expand description

The pattern inventory (weighted Pólya, two colours) — coeff[w] is the number of distinct {0,1} assignments to the points with exactly w ones, up to the group. Obtained by substituting aₖ → (1 + zᵏ) into the cycle index: a k-cycle is either all-0 or all-1, contributing 1 + zᵏ. The coefficients sum to polya_count(…, 2, …). None when |G| > cap.