Let's say I have an ideal $I$ generated by some polynomials $f_i$ in a polynomial algebra $R$ over $\mathbb{Q}$ for which I have succesfully computed a Groebner basis and found out that $I=(1)$. Is there a way to extract an explicit expression of $1$ as a linear combination of the generators $f_i$ over $R$?
Revision history [back]
 | 1 | initial version |
