id summary reporter owner description type status priority milestone component resolution keywords cc merged author reviewer upstream work_issues branch commit dependencies stopgaps
13800 sign error in Steenrod algebra multiplication cnassau jhpalmieri "There is a sign error in the Steenrod multiplication routine at odd primes: with
{{{
A=SteenrodAlgebra(3)
Q=A.Q_exp
P=A.P
print (Q(0,1)*P(3))*Q(1,1)
print Q(0,1)*(P(3)*Q(1,1))
}}}
one gets
{{{
Q_0 Q_1 Q_2
2 Q_0 Q_1 Q_2
}}}
Only the 2nd answer is correct.
---------
Apply [attachment:trac_13800-cn.patch]." defect closed minor sage-5.6 algebraic topology fixed Steenrod algebra sage-5.6.beta2 Christian Nassau John Palmieri N/A