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) *Sq ^{4}Sq^{20}+Sq^{8}Sq^{8}Sq^{8}*, 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!

Result:

Written by Alex Kruckman.

Contact: kruckman@gmail.com

Source code: adem.rkt

Compiled to Javascript from Racket (a Scheme dialect) using Whalesong.