Warning: There is a bad bug in the way the calculator parses some input, especially involving multiple digit numbers. This will be addressed soon.
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.
© Alex Kruckman, 2010.
Racket source code: adem.rkt