Ask Your Question

reducing ideal wrt another ideal

asked 2011-09-26 14:32:26 -0500

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


Without moving back and forth to Singular, is it possible to implement this in sage?

Thanks and regards

-- VInay Wagh

edit retag flag offensive close merge delete

2 answers

Sort by ยป oldest newest most voted

answered 2011-09-30 04:07:19 -0500

mmarco gravatar image

updated 2011-09-30 04:08:08 -0500

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.

edit flag offensive delete link more

answered 2011-10-07 20:32:02 -0500

Thanks marco, It works!

-- VInay

edit flag offensive delete link more

Your Answer

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

Add Answer

Question Tools


Asked: 2011-09-26 14:32:26 -0500

Seen: 80 times

Last updated: Oct 07 '11