Revision history [back]

Given a Groebner basis $G=\lbrace f_1,\dots,f_s \rbrace$ and $g$, how can I get the quotients of $g$ on division by $G$ ? I know that when considering the quotients, the ordering we use to list the divisors $f_1,\dots,f_s$ matters. I also know the command p.reduce(I) for remainders. I would appreciate any help with this situation.