This calculator uses the Adem relations to express elements of the mod 2 Steenrod algebra in terms of the Serre-Cartan basis.
To evaluate (for example) Sq4Sq20+Sq8Sq8Sq8, use input format: 4 20 + 8 8 8
Currently this is the only input format supported, i.e. input must be a single Steenrod square, a product of squares, or a sum of products of squares - no parenthesization allowed.
Output is in the same format.
The original version of this calculator was buggy, but it's been fixed!
Written by Alex Kruckman.
Source code: adem.rkt