How to get the quotients in multivariable polynomial division?
Given a Groebner basis G={f1,…,fs} 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 f1,…,fs matters. I also know the command p.reduce(I)
for remainders. I would appreciate any help with this situation.
Could you please provide the construction of the
fi
andg
so that we start from something concrete, without having to build our own ?