Maxima Function
poly_lcm (poly1, poly2, varlist)
Returns the lowest common multiple of poly1 and poly2.