[sage-support] Decomposing polynomials from other polynomials using Gröbner bases

Hi Let's say that I have a multivariate polynomial ring R which contains the polynomials p, f1, ..., fn. I also know that p is in the ideal J = f1,..., fn. Now I wish to write p as a polynomial in the f- polynomials. How can I do that with Sage? I can get some of the way by constructing J and

Re: [sage-support] Decomposing polynomials from other polynomials using Gröbner bases

On Tue, Apr 5, 2011 at 1:24 PM, Johan S. R. Nielsen santaph...@gmail.com wrote: Let's say that I have a multivariate polynomial ring R which contains the polynomials p, f1, ..., fn. I also know that p is in the ideal J = f1,..., fn. Now I wish to write p as a polynomial in the f- polynomials.