Steenrod algebra inquiry

*To*: MathGroup at yoda.physics.unc.edu*Subject*: Steenrod algebra inquiry*From*: John Rognes <rognes at math.uio.no>*Date*: Fri, 22 May 1992 10:28:04 +0200

Does anybody know of a computer algebra package, say for Mathematica, for handling the Steenrod algebra of stable cohomology operations ? I'd like to be able to represent modules over the Steenrod algebra, get help with constructing resolutions over it, and pass back and forth between the usual basis and the dual Milnor basis. Most of this should be algorithmically easy, but if someone else already has implemented it I would rather not reinvent the wheel (or Steenrod squares, sic). Any pointers would be appreciated, - John Rognes rognes at math.uio.no