[Not sure if this belongs here or in sage-dev...]
I am trying to implement coercions between algebras that are related by
base change. For example,consider
A=CombinatorialFreeModule(ZZ['x'], ['1','2'])
B=CombinatorialFreeModule(ZZ, ['1','2'])
A.module_morphism(
lambda a: B._from_dict({b: c.s
I'm running into a coercion problem. I'm trying to define a class
SteenrodAlgebra (based on the Algebra class); there should be one
Steenrod algebra for each prime number p, and it is an algebra over
GF(p). For example, you can do
sage: A5 = SteenrodAlgebra(5)
sage: A7 = SteenrodAlgebra(7)
I h
