The mod 2 cohomology of a simplicial complex has the structure of a module
over the mod 2 Steenrod algebra. I would like to be able to do this in Sage:
sage: x = (some element in a cohomology ring)
sage: a = (some element of SteenrodAlgebra(2))
sage: a * x
I have tried telling Sage that instances of CohomologyRing should be left
modules over the Steenrod algebra (using the category framework) and then
defining _mul_, _rmul_, _lmul_. I have had no luck: I just get
TypeError: unsupported operand parent(s) for *: 'mod 2 Steenrod
algebra, milnor basis' and 'Cohomology ring of RP^6 over Finite Field of
size 2'
What should I be doing instead?
--
John
--
You received this message because you are subscribed to the Google Groups
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-support+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/sage-support/8e7da4f8-3c33-4e64-a872-76a163725be5n%40googlegroups.com.
