pub fn coboundary(
g: &FiniteGroup,
modulus: usize,
n: usize,
f: &[usize],
) -> Vec<usize>Expand description
The group-cohomology coboundary δⁿ : Cⁿ(G; A) → Cⁿ⁺¹(G; A), with A = Z/modulus and trivial
G-action. f is a length-order^n table; the result is length order^{n+1}.