Ask Your Question
1

reducing ideal wrt another ideal

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

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

edit retag flag offensive close merge delete

2 Answers

Sort by ยป oldest newest most voted
3

answered 2011-09-30 11:07:19 +0100

mmarco gravatar image

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

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
0

answered 2011-10-08 03:32:02 +0100

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

Stats

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

Seen: 398 times

Last updated: Oct 08 '11