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.
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
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