pub fn total_square(poly: &[u8]) -> Vec<u8> ⓘ
The total Steenrod square Sq, as the ring endomorphism of Z/2[x] sending x ↦ x + x² (Cartan formula). Returns Sq(p) as a polynomial.
Sq
Z/2[x]
x ↦ x + x²
Sq(p)