On 2011-02-28 18:28, 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.
I had the exact same problem today. I never would have thought lift() does this. A better name would be something involving "quotient" or "division". Possible proposals: * overloading quo_rem(), which now gives an error when dividing by an ideal * quotient_by_ideal() * multivariate_division(), as inspired by von zur Gathen--Gerhard and http://en.wikipedia.org/wiki/Multivariate_division_algorithm * multivariate_quotient() since you ask only for the quotient. Regards, Jeroen. -- 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
