Opened 14 years ago
Closed 14 years ago
#5061 closed defect (fixed)
[with patch, positive review] Steenrod algebras report additive order of 0 is p
Reported by: | Kelly Boothby | Owned by: | Kelly Boothby |
---|---|---|---|
Priority: | trivial | Milestone: | sage-3.4 |
Component: | algebra | Keywords: | |
Cc: | Merged in: | ||
Authors: | Reviewers: | ||
Report Upstream: | N/A | Work issues: | |
Branch: | Commit: | ||
Dependencies: | Stopgaps: |
Description
This is wrong:
sage: S2 = SteenrodAlgebra(2) sage: z = S2(0) sage: z.additive_order() 2
looking at the code, it's easy to see why this happens...
def additive_order(self): """ The additive order of any element of the mod p Steenrod algebra is p. OUTPUT: order -- positive prime number EXAMPLES: sage: z = Sq(4) + Sq(6) + Sq(0) sage: z.additive_order() 2 """ return self._prime
Attachments (2)
Change History (9)
comment:1 Changed 14 years ago by
Component: | algebra → commutative algebra |
---|---|
Milestone: | → sage-3.3 |
Owner: | changed from tbd to Kelly Boothby |
Priority: | major → trivial |
Status: | new → assigned |
comment:2 Changed 14 years ago by
Component: | commutative algebra → algebra |
---|
Changed 14 years ago by
Attachment: | 5061-steenrod-ao.patch added |
---|
comment:3 Changed 14 years ago by
Summary: | Steenrod algebras report additive order of 0 is p → [with patch, needs review] Steenrod algebras report additive order of 0 is p |
---|
comment:4 Changed 14 years ago by
Summary: | [with patch, needs review] Steenrod algebras report additive order of 0 is p → [with patch, needs work] Steenrod algebras report additive order of 0 is p |
---|
comment:5 Changed 14 years ago by
Summary: | [with patch, needs work] Steenrod algebras report additive order of 0 is p → [with patch, needs review] Steenrod algebras report additive order of 0 is p |
---|
Here's a documentation/doctest patch to go on top of the other one.
comment:6 Changed 14 years ago by
Summary: | [with patch, needs review] Steenrod algebras report additive order of 0 is p → [with patch, positive review] Steenrod algebras report additive order of 0 is p |
---|
I'm happy with it.
comment:7 Changed 14 years ago by
Milestone: | sage-3.4.1 → sage-3.4 |
---|---|
Resolution: | → fixed |
Status: | assigned → closed |
Merged both patches in Sage 3.4.rc0.
Cheers,
Michael
Note: See
TracTickets for help on using
tickets.
Looks good. The documentation should probably be fixed as well though, and you need a doctest.