ASKSAGE: Sage Q&A Forum - Individual question feedhttp://ask.sagemath.org/questions/Q&A Forum for SageenCopyright Sage, 2010. Some rights reserved under creative commons license.Fri, 07 Oct 2011 20:32:02 -0500reducing ideal wrt another idealhttp://ask.sagemath.org/question/8323/reducing-ideal-wrt-another-ideal/I have two ideals I & J in k[X_1,\cdots,x_n], where k is a field. How do I reduce an ideal I wrt ideal J.
e.g. Singular provides me a command
reduce(I,std(J));
Without moving back and forth to Singular, is it possible to implement this in sage?
Thanks and regards
-- VInay WaghMon, 26 Sep 2011 14:32:26 -0500http://ask.sagemath.org/question/8323/reducing-ideal-wrt-another-ideal/Answer by mmarco for <p>I have two ideals I & J in k[X_1,\cdots,x_n], where k is a field. How do I reduce an ideal I wrt ideal J. </p>
<p>e.g. Singular provides me a command </p>
<pre><code>reduce(I,std(J));
</code></pre>
<p>Without moving back and forth to Singular, is it possible to implement this in sage?</p>
<p>Thanks and regards</p>
<p>-- VInay Wagh</p>
http://ask.sagemath.org/question/8323/reducing-ideal-wrt-another-ideal/?answer=12706#post-id-12706You can do the following:
R.ideal([f.reduce(J.groebner_basis()) for f in I.gens()])
That is basically what singular does: reduce the generators of I w.r.t. J.Fri, 30 Sep 2011 04:07:19 -0500http://ask.sagemath.org/question/8323/reducing-ideal-wrt-another-ideal/?answer=12706#post-id-12706Answer by VInay Wagh for <p>I have two ideals I & J in k[X_1,\cdots,x_n], where k is a field. How do I reduce an ideal I wrt ideal J. </p>
<p>e.g. Singular provides me a command </p>
<pre><code>reduce(I,std(J));
</code></pre>
<p>Without moving back and forth to Singular, is it possible to implement this in sage?</p>
<p>Thanks and regards</p>
<p>-- VInay Wagh</p>
http://ask.sagemath.org/question/8323/reducing-ideal-wrt-another-ideal/?answer=12726#post-id-12726Thanks marco,
It works!
-- VInayFri, 07 Oct 2011 20:32:02 -0500http://ask.sagemath.org/question/8323/reducing-ideal-wrt-another-ideal/?answer=12726#post-id-12726