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 Wagh

2 Answers

Sort by » oldest newest most voted

mmarco
351 ●4 ●13 ●20

You 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.

Thanks marco, It works!

-- VInay

Please start posting anonymously - your entry will be published after you log in or create a new account.

Asked: 2011-09-26 21:32:26 +0200

Seen: 326 times

Last updated: Oct 08 '11