Revision history [back]
 | 1 | initial version |
You can do the following:
R.ideal([f.reduce(J) for f in I.gens()])
That is basically what singular does: reduce the generators of I w.r.t. J.
| | 2 | No.2 Revision |
You can do the following:
R.ideal([f.reduce(J) 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.
