GSPOLY _ _ _ _ _ _ _ _ _ _ _ _ operator
where <p1> and <p2> are polynomials.
The subtraction polynomial of p1 and p2 is computed corresponding to the method of the Buchberger algorithm for computing groebner bases: p1 and p2 are multiplied with terms such that when subtracting them the leading terms cancel each other.