pub fn symmetrize_gfp(
f: NsField,
l: &[(Mono, u64)],
group: &[Perm],
) -> Vec<(Mono, u64)>Expand description
The unnormalized group-sum symmetrization Σ_{g∈G} g·L of a functional over f — coefficients
genuinely ADD, where the GF(2) engine could only toggle. On the constant monomial it evaluates to
|G| · L(1), which is the whole dichotomy: zero (annihilation) iff char | |G|. Pass the full
closed group, not a generating set.