Maxima Function
poly_normalize (poly, varlist)
Returns the polynomial poly divided by the leading coefficient. It assumes that the division is possible, which may not always be the case in rings which are not fields.