#10052: Improve the implementation of the Steenrod algebra
-----------------------------+----------------------------------------------
Reporter: jhpalmieri | Owner: AlexGhitza
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-4.6.1
Component: algebra | Keywords: steenrod, notebook
Author: John Palmieri | Upstream: N/A
Reviewer: Niles Johnson | Merged:
Work_issues: |
-----------------------------+----------------------------------------------
Changes (by niles):
* reviewer: => Niles Johnson
* work_issues: minor docstring issues, problems with sub-Hopf algebras
=>
Comment:
Replying to [comment:11 jhpalmieri]:
> I would interpret this another way: you include a `*` when you need to
in order to prevent ambiguity. In a situation where you can have
polynomial generators called 'xy' and 'yx' (which would be terrible
choices, but anyway), you have to include `*` so that you you can read `xy
* yx` properly. So you need `*` in a polynomial algebra, or in any
algebra in which the generators have user-specified names. But for the
Steenrod algebra, there are no such possibilities of ambiguity, so you
don't need the `*`.
ok, fair enough
I've started looking at this again, and I get two errors trying to apply
the v3 patch (sage 4.6); here are the contents of the .rej file:
{{{
--- coalgebras_with_basis.py
+++ coalgebras_with_basis.py
@@ -91,7 +91,7 @@
@lazy_attribute
def coproduct(self):
"""
- If :meth:`.coproduct_on_basis` is available, construct the
+ If :meth:`coproduct_on_basis` is available, construct the
coproduct morphism from ``self`` to ``self`` `\otimes`
``self`` by extending it by linearity
@@ -115,7 +115,7 @@
@lazy_attribute
def counit(self):
"""
- If :meth:`.counit_on_basis` is available, construct the
+ If :meth:`counit_on_basis` is available, construct the
counit morphism from ``self`` to ``self`` `\otimes`
``self`` by extending it by linearity
}}}
I'll keep looking at the patch, since these won't affect the
functionality.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/10052#comment:15>
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.
