#16271: Support the generic Steenrod algebra at the prime 2
-------------------------------------+-------------------------------------
Reporter: cnassau | Owner:
Type: enhancement | Status: needs_review
Priority: minor | Milestone: sage-6.3
Component: algebraic | Resolution:
topology | Merged in:
Keywords: Steenrod algebra | Reviewers:
Authors: Christian Nassau | Work issues:
Report Upstream: N/A | Commit:
Branch: | be31a8886b3dad8e7eac3e0c96000ac11b80b11b
u/cnassau/ticket/16271 | Stopgaps:
Dependencies: |
-------------------------------------+-------------------------------------
Changes (by cnassau):
* status: needs_work => needs_review
Comment:
Replying to [comment:8 jhpalmieri]:
> Does `is_valid_profile` also need to accept a `generic` argument?
> Also, in the documentation for the function `SteenrodAlgebra`, I think
you should say a bit more, for example what the degrees of the elements
are. Maybe move the comment about what the dual looks like from
`is_generic` to `SteenrodAlgebra`.
As suggested, I have added the `generic` argument to `is_valid_profile`
and enhanced the documentation a (tiny) little bit. [My apologies that
this took so long - I was busy with other matters.] I now refer to
Voevodsky's motivic Steenrod algebra paper as another source that relates
to the generic Steenrod algebra - other explicit references are not so
easy to find.
It might be nice to also add support for the motivic Steenrod algebra, but
I'll leave that for another ticket. Currently my cohomology programs can
deal with the classical and the generic case, but not the motivic one, so
my interest in the motivic case is not so urgent. It shouldn't be too
difficult to implement the motivic version on top of the existing code,
though...
--
Ticket URL: <http://trac.sagemath.org/ticket/16271#comment:14>
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.
