#13856: Add a top_class method to the Steenrod algebra
----------------------------------+-----------------------------------------
Reporter: cnassau | Owner: jhpalmieri
Type: enhancement | Status: new
Priority: minor | Milestone: sage-5.6
Component: algebraic topology | Keywords: Steenrod algebra
Work issues: | Report Upstream: N/A
Reviewers: | Authors: Christian Nassau
Merged in: | Dependencies:
Stopgaps: |
----------------------------------+-----------------------------------------
The attached patch introduces a new method {{{top_class}}} that computes
the highest dimensional basis element of a finite sub algebra of the
Steenrod algebra:
{{{#!python
sage: SteenrodAlgebra(3,profile=((2,1),(2,2,2,2))).top_class()
Q_0 Q_1 Q_2 Q_3 P(8,2)
sage: SteenrodAlgebra(2,profile=(3,2,1),basis='pst').top_class()
P^0_1 P^0_2 P^1_1 P^0_3 P^1_2 P^2_1
sage: SteenrodAlgebra(7).top_class()
Traceback (most recent call last):
...
ValueError: the algebra is not finite dimensional
}}}
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/13856>
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 post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en.
