Very good, thank you. The "_acted_upon_" method was what I was missing.
John On Wednesday, September 20, 2023 at 2:11:52 AM UTC-7 Kwankyu wrote: > sage.rings.function_field.differential defines the space of differentials > of a function field, which is a left module over the function field. You > may consult the code there. > > On Wednesday, September 20, 2023 at 6:08:15 PM UTC+9 Kwankyu wrote: > >> Is you element in the cohomology ring an instance of ModuleElement? >> >> On Wednesday, September 20, 2023 at 8:34:05 AM UTC+9 John H Palmieri >> wrote: >> >>> 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/d1dbb8e1-f42c-408f-a466-836571debbc9n%40googlegroups.com.
