pub fn monomial_orbits_bounded(
num_vars: usize,
degree: usize,
generators: &[Perm],
) -> Vec<Vec<Mono>>Expand description
Degree-bounded monomial orbits: the quotient of the degree-≤ d basis under the group, walked
on the bounded basis (C(n, ≤d) monomials, never 2ⁿ) so it scales to num_vars ≤ 63 — the
scale window polycalc::monomial_orbits’s cube filter cannot reach.