Advanced Search

Question: How to write standard decomposition of a polynomial in terms of other polynomials?

Question:How to write standard decomposition of a polynomial in terms of other polynomials?

frajainc 40 Maple 15
algebra
August 31 2013
2

Let $F, f_1, \ldots f_5$ be polynomials in $\mathbb{Z}_p[r,s,t,u,v]$, the ring of polynomials in 5 variables over the integers modulo an odd prime $p$. By forming the ideal $J:=<>$ I can test whether $F$ is a member of $J$. Indeed $F$ is a member of $J$ and so I know there exists polynomials $a_1,\dots,a_r \in \mathbb{Z}_p[r,s,t,u,v]$ such that $$F = a_1f_1+\dots+ a_rf_r $$ My question is how to explicitly compute $a_1,\dots,a_r$ in Maple, or Sage if you prefer. Thank you very much for any help you can give.
Please Wait...