id summary reporter owner description type status priority milestone component resolution keywords cc merged author reviewer upstream work_issues branch commit dependencies stopgaps
5061 [with patch, positive review] Steenrod algebras report additive order of 0 is p Kelly Boothby Kelly Boothby "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
}}}
" defect closed trivial sage-3.4 algebra fixed N/A