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

August 31 2013
Maple 15

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.

﻿