How to get the quotients in multivariable polynomial division?

asked 2017-03-10 13:47:41 +0200

Karl gravatar image

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.

edit retag flag offensive close merge delete


Could you please provide the construction of the fi and g so that we start from something concrete, without having to build our own ?

tmonteil gravatar imagetmonteil ( 2017-03-10 14:25:21 +0200 )edit