Ken Monks's STEENROD Program Page
This page contains my program, "STEENROD", a Maple package for computing with
the Steenrod algebra. The version below also includes an extremely efficient
algorithm by Vince Giambalvo for
computing the Milnor basis elements in a given grading of A or An having a
prescribed maximum excess. The current version has been tested with Maple 11.
Here are the latest versions of the:
Please send any questions, comments, suggestions, or bugs to the author.
Installation instructions (Windows)
- To install the Steenrod package follow the installation instructions for
the Chaos package.
Program overview
The current version of the STEENROD package can:
- Compute the coproduct map in A and A* (the dual).
- Compute the product map in A, A*, and tensor products of A, A*
- Compute chi in both A and A*
- Compute the action of A on the polynomial ring Z_2[x1,x2,...,xs]
- Compute the action of the Kristensen stripping operations on A
- Convert a sum of monomials in Sq(i) to the admissible basis using the Adem relations
- Convert between the Milnor and admissible monomial bases
- Compute the excess, degree, and May weight of elements of A
- Find all of the elements of A in a given grading in either the Milnor or admissible
monomial basis
- Compute the nilpotence height of an element of A
- Determine if an element of A is in A(n) or not
In addition it contains a collection of:
- Number Theoretic Functions (like alpha, nu_2, etc)
- Linear Algebra mod 2 (a complete set of matrix routines to work mod 2)
- Dickson Algebra Utilities (for computing in the Dickson algebra)
|
