Thanks, Minh. That's the way I see it as well, though as usual you are more eloquent.
So this is really a two-part question. Should lift() for free module morphisms be deprecated? If so, in favor of (a) a simple renaming, as perhaps "pre_image()" OR (b) make the existing inverse_image() method more capable: submodule in, submodule out plus element in, element out. At the risk of poisoning the well, I like (b), though in my textbook I call this (a). -- To post to this group, send an email to [email protected] To unsubscribe from this group, send an email to [email protected] For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
