reducing ideal wrt another ideal
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