Function is_cocycle 

pub fn is_cocycle(
    g: &FiniteGroup,
    modulus: usize,
    n: usize,
    f: &[usize],
) -> bool

Is f an n-cocycle? (δf = 0)