On Feb 27, 5:29 pm, Martin Albrecht <martinralbre...@googlemail.com> wrote:
> sage: R.<x0,x1,x2,x3> = PolynomialRing(QQ) > sage: f = x0^2*x1 + x1^2*x2 + x2^2*x3 + x3^2*x0 > sage: (f0, f1, f2, f3) = [f.derivative(v) for v in [x0, x1, x2, x3]] > sage: I = R.ideal(f0, f1, f2, f3) > sage: h = x0^5 > sage: h.lift(I) > [-x0^2*x2 - 4/15*x0*x1*x3, x0^3 + 8/15*x1^2*x3 + x2*x3^2, -16/15*x1*x2*x3, > 2/15*x1*x3^2] excellent, thanks Martin! but what a funny name, "lift"...? I stared at the auto-complete lists for a while and never noticed that one. david -- To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to sage-support+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-support URL: http://www.sagemath.org
