pub fn cup_power_z2(n: usize) -> Vec<usize>Expand description
The cup-power xⁿ of Z/2 with Z/2 coefficients: α(g_1,…,g_n) = g_1·g_2·⋯·g_n (1 iff every
argument is 1). As the n-fold cup product of the nonzero 1-cocycle, it is an n-cocycle and the
generator of Hⁿ(Z/2; Z/2) = Z/2 — the explicit nonzero obstruction at level n.