pub fn is_coboundary( g: &FiniteGroup, modulus: usize, n: usize, f: &[usize], ) -> bool
Is f an n-coboundary? (f = δβ for some (n-1)-cochain β)
f
n
f = δβ
(n-1)
β