#10052: Improve the implementation of the Steenrod algebra
-----------------------------+----------------------------------------------
Reporter: jhpalmieri | Owner: AlexGhitza
Type: enhancement | Status: needs_work
Priority: major | Milestone: sage-4.7
Component: algebra | Keywords: steenrod, notebook
Author: John Palmieri | Upstream: N/A
Reviewer: Niles Johnson | Merged:
Work_issues: |
-----------------------------+----------------------------------------------
Changes (by niles):
* status: needs_review => needs_work
Comment:
I'm ready to give this a positive review, but now (Sage 4.6.2) I'm getting
a failing doctest with `latex` on a coproduct (note the missing `1` at the
end of the latex string):
{{{
sage: A7 = SteenrodAlgebra(7)
sage: c = Sq(2).change_basis('adem').coproduct()
sage: c
1 # Sq^2 + Sq^1 # Sq^1 + Sq^2 # 1
sage: latex(c)
1 \otimes \text{Sq}^{2} + \text{Sq}^{1} \otimes \text{Sq}^{1} +
\text{Sq}^{2} \otimes
}}}
This is probably related to bugs in the code for tensor products of
algebras, but I haven't been able to track down the precise problem.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/10052#comment:22>
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.
