#16271: Support the generic Steenrod algebra at the prime 2
----------------------------------+------------------------------------
Reporter: cnassau | Owner:
Type: enhancement | Status: new
Priority: minor | Milestone: sage-6.3
Component: algebraic topology | Keywords: Steenrod algebra
Merged in: | Authors: Christian Nassau
Reviewers: | Report Upstream: N/A
Work issues: | Branch:
Commit: | Dependencies:
Stopgaps: |
----------------------------------+------------------------------------
For some applications one would like to work with the "odd primary
Steenrod algebra at the prime 2". The attached patch introduces a new
keyword "generic" that allows to do this:
{{{
sage: EA=SteenrodAlgebra(p=2,generic=True) ; EA
generic mod 2 Steenrod algebra, milnor basis
sage: EA[8]
Vector space spanned by (Q_0 Q_2, Q_0 Q_1 P(2), P(1,1), P(4)) over
Finite Field of size 2
sage: SteenrodAlgebra(p=2,generic=True,basis='adem')[7]
Vector space spanned by (beta P^2 P^1, beta P^3, P^2 P^1 beta, P^3 beta)
over Finite Field of size 2
}}}
--
Ticket URL: <http://trac.sagemath.org/ticket/16271>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
