Ask Your Question

reducing ideal wrt another ideal

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

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 11:07:19 +0200

mmarco gravatar image

updated 2011-09-30 11:08:08 +0200

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-08 03:32:02 +0200

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 21:32:26 +0200

Seen: 357 times

Last updated: Oct 08 '11