pub fn cycle_system(n: usize, m: u64) -> Vec<ModpEquation>Expand description
The scalable composite obstruction: the n-cycle of differences xᵢ − x_{i+1} ≡ 1 (mod m),
inconsistent exactly when m ∤ n (summing telescopes the left to 0, the right to n). The
coefficient −1 is written m − 1. Reuses crate::modp::cycle_system’s shape across the field.