Based on the theory of Groebner bases can easily determine
whether the two ideals are equal.
Polynomials are entered as the sum of terms. For
every term, first must enter coefficient and then enter every variables and
their power. Every variable must be entered in the brackets, and before power
of variable must be entered char ^. |