#16271: Support the generic Steenrod algebra at the prime 2
-------------------------------------+-------------------------------------
Reporter: cnassau | Owner:
Type: enhancement | Status: needs_work
Priority: minor | Milestone: sage-6.3
Component: algebraic | Resolution:
topology | Merged in:
Keywords: Steenrod algebra | Reviewers:
Authors: Christian Nassau | Work issues:
Report Upstream: N/A | Commit:
Branch: | 14197a6d0c6bb497eb185bab5eb420888fd79a5e
u/cnassau/ticket/16271 | Stopgaps:
Dependencies: |
-------------------------------------+-------------------------------------
Changes (by cnassau):
* status: needs_review => needs_work
Comment:
Replying to [comment:8 jhpalmieri]:
> I'm not getting this to work. When I evaluate
> {{{
> sage: SteenrodAlgebra(p=2,generic=True)
> }}}
> I get an error:
Very strange: it works for me, it works for the patchbot (selmer, sage
6.3.beta1) - yet you're machine (and your patch) is definitely right. I do
get this error when I try to construct a subalgebra:
{{{
sage: SteenrodAlgebra(p=2,generic=True,profile=([2,1],(2,2,2,)))
...
/waste/cn/sage-git/local/lib/python2.7/site-
packages/sage/algebras/steenrod/steenrod_algebra_misc.pyc in
is_valid_profile(profile, truncation_type, p)
258 if pro_r < Infinity:
259 for i in range(1,r):
--> 260 if pro_r < min(pro[r-i-1] - i, pro[i-1]):
261 return False
262 else:
TypeError: unsupported operand type(s) for -: 'tuple' and 'int'
}}}
You're also right about the documentation, which should be improved. I'll
post an updated patch when it is ready.
--
Ticket URL: <http://trac.sagemath.org/ticket/16271#comment:10>
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.
