Sq Adem Relations
Compute the Serre-Cartan basis form of Steenrod squares using the Adem relations, mod 2.
How to use
Enter Steenrod squares as space-separated integers. Use + to add terms. For example, 2 4 2 represents Sq² Sq⁴ Sq² and 1 2 + 3 1 represents Sq¹ Sq² + Sq³ Sq¹.
The result is the equivalent expression written in the Serre-Cartan (admissible) basis, reduced mod 2.