ASKSAGE: Sage Q&A Forum - Individual question feedhttps://ask.sagemath.org/questions/Q&A Forum for SageenCopyright Sage, 2010. Some rights reserved under creative commons license.Sat, 31 Aug 2013 03:20:47 -0500Command to decompose polynomial in terms of other given polynomialshttps://ask.sagemath.org/question/10489/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.Sat, 31 Aug 2013 03:20:47 -0500https://ask.sagemath.org/question/10489/command-to-decompose-polynomial-in-terms-of-other-given-polynomials/