On Monday 28 February 2011, dmharvey wrote: > 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.
AFAIK it's a standard name for this operation in commutative algebra. What name would have allowed you to spot it? Cheers, Martin -- name: Martin Albrecht _pgp: http://pgp.mit.edu:11371/pks/lookup?op=get&search=0x8EF0DC99 _otr: 47F43D1A 5D68C36F 468BAEBA 640E8856 D7951CCF _www: http://martinralbrecht.wordpress.com/ _jab: martinralbre...@jabber.ccc.de -- 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
