Maxima Function
poly_s_polynomial (poly1, poly2, varlist)
Returns the syzygy polynomial (S-polynomial) of two polynomials poly1 and poly2.