#13856: Add a top_class method to the Steenrod algebra
--------------------------------------+-------------------------------------
Reporter: cnassau | Owner: jhpalmieri
Type: enhancement | Status: needs_review
Priority: minor | Milestone: sage-5.7
Component: algebraic topology | Resolution:
Keywords: Steenrod algebra | Work issues:
Report Upstream: N/A | Reviewers:
Authors: Christian Nassau | Merged in:
Dependencies: | Stopgaps:
--------------------------------------+-------------------------------------
Comment (by cnassau):
Replying to [comment:2 jhpalmieri]:
> I suppose it might be slightly better to define `AM` to just be
`SteenrodAlgebra(basis='milnor', p=p)`: you just need to multiply in it,
you don't need to use its profile function. If someone is working with
many subalgebras at a single prime, then each call to your version of `AM`
will create a new subalgebra, whereas each call to
`SteenrodAlgebra(basis='milnor', p=p)` just will only create an instance
of the Steenrod algebra the first time through.
>
> Otherwise, this looks good to me.
I have changed the line as you suggested, but also added a cast to self at
the end. This is intended to make sure that
{{{
A.top_class().parent() is A
}}}
although I don't know if that's important. Anyway, I have also added this
as a doctest.
Thanks for looking into this, \\
Christian
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/13856#comment:3>
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?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.
