gspoly INDEX

GSPOLY _ _ _ _ _ _ _ _ _ _ _ _ operator

syntax:

gspoly(<p1>,<p2>);

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.