While all of the relations in the Steenrod algebra, A, can be deduced in principle from the Adem relations, in practice, it is extremely difficult to determine whether a given polynomial of elements in A is zero for all but the most elementary cases. In his original paper [Mi] Milnor states “It would be interesting to discover a complete set of relations between the given generators of A”. In p...