ASKSAGE: Sage Q&A Forum - RSS feedhttps://ask.sagemath.org/questions/Q&A Forum for SageenCopyright Sage, 2010. Some rights reserved under creative commons license.Sat, 08 Oct 2011 03:32:02 +0200reducing ideal wrt another idealhttps://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 21:32:26 +0200https://ask.sagemath.org/question/8323/reducing-ideal-wrt-another-ideal/Answer 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>
https://ask.sagemath.org/question/8323/reducing-ideal-wrt-another-ideal/?answer=12726#post-id-12726Thanks marco,
It works!
-- VInaySat, 08 Oct 2011 03:32:02 +0200https://ask.sagemath.org/question/8323/reducing-ideal-wrt-another-ideal/?answer=12726#post-id-12726Answer 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>
https://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 11:07:19 +0200https://ask.sagemath.org/question/8323/reducing-ideal-wrt-another-ideal/?answer=12706#post-id-12706