reducing ideal wrt another ideal

edit

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