First time here? Check out the FAQ!

Ask Your Question
1

reducing ideal wrt another ideal

asked 13 years ago

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

Preview: (hide)

2 Answers

Sort by » oldest newest most voted
3

answered 13 years ago

mmarco gravatar image

updated 13 years ago

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.

Preview: (hide)
link
0

answered 13 years ago

Thanks marco, It works!

-- VInay

Preview: (hide)
link

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: 13 years ago

Seen: 431 times

Last updated: Oct 08 '11