Maxima Function
poly_gcd (poly1, poly2, varlist)
Returns the greatest common divisor of poly1 and poly2.