Thank you, luisfe, for this detailed reply!
Of course it would be formally nice to have the map
lambda x: x.map_coefficients(phi)
be an actual sage homomorphism (which it will always be if phi is a
homomorphism of coefficient rings). But for now what you propose works
fine for me.
--
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 post to this group, send email to sage-support@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-support.
For more options, visit https://groups.google.com/d/optout.