Suppose I have R.<x,y,z>=QQ[] K.<u,v>=QQ[] f=R.hom([u*v,u^2,v^2-u^2])
then for any even degree p in K one can compute a preimage under f (e.g. u^4-u*v goes to y^2+x, etc) Does Sage support this kind of maps? Yes, I can write the code that will for an even degree monomial in K compute the corresponding polynomial in R, and use it, but this is a bit ugly. Dima -- 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/CAAWYfq1or9OgKFjhQ%3DgHWs_bLhEkNM9kF%3Dm%2BB-7o%3DbwoZFN5Sg%40mail.gmail.com.
