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/7f60cf19-cd8e-4de6-bfa8-2d98d29e17b0n%40googlegroups.com.