#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: John Palmieri
Authors: Christian Nassau | Work issues:
Report Upstream: N/A | Commit:
Branch: | 429a9894ef1afc6b1b86f54e664e474c6c25491b
u/jhpalmieri/generic_steenrod | Stopgaps:
Dependencies: |
-------------------------------------+-------------------------------------
Comment (by cnassau):
Replying to [comment:16 jhpalmieri]:
> - changed the `__contains__` method so that elements in the ordinary mod
2 Steenrod algebra are not contained in the generic version. Is this the
right thing to do?
Yes, I think so, at least for the moment. It might eventually make sense
to think of the generic variant as a quotient of the regular Steenrod
algebra - but I'm hesitant to propose such a change right now, as the need
for it is not clear to me. I'm also not sure whether one should then
follow the Sage `SubQuotient` protocol or just provide some extra logic in
the element constructor; currently, the latter sounds more resonable to
me.
> If you're happy with these changes, it can get a positive review.
I'm very happy - thanks for all the work you've put into this!
--
Ticket URL: <http://trac.sagemath.org/ticket/16271#comment:17>
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.
