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

Reply via email to