On Mon, 6 Sep 2010 20:42:43 -0700 (PDT), Cary Cherng <cche...@gmail.com> wrote: > Given p_i and q in Q[x_1,...,x_n] I want to see if q is in the ideal > (p1,...,pm). Does sage have easy support for this?
Is this what you're looking for: sage: R.<x, y> = QQ[] sage: I = R.ideal(x^2, y) sage: x^2*y+y^2 in I True sage: x in I False Best, Alex -- Alex Ghitza -- http://aghitza.org/ Lecturer in Mathematics -- The University of Melbourne -- Australia -- 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