Revision history [back]

I have an ideal $I$ generated by multivariate polynomials $f,g$ over $GF(2)$. Suppose another polynomial $h$ is in $I$. So there are two polynomials $h_1$ and $h_2$ such that $h=h_1 f +h_2 g$. How to find $h_1, h_2$?

I have an ideal $I$ generated by multivariate polynomials $f,g$ over $GF(2)$. BooleanPolynomialRing. Suppose another polynomial $h$ is in $I$. So there are two polynomials $h_1$ and $h_2$ such that $h=h_1 f +h_2 g$. How to find $h_1, h_2$? h_2$?