2019-04-18 21:56:31 +0200 | received badge | ● Student (source) |
2014-06-29 21:44:31 +0200 | received badge | ● Popular Question (source) |
2014-06-29 21:44:31 +0200 | received badge | ● Notable Question (source) |
2013-08-31 10:20:47 +0200 | asked a question | Command to decompose polynomial in terms of other given polynomials 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:=< f_1, \ldots f_5>$ 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. |