Maxima Function
poly_normal_form (poly, polylist, varlist)
poly_normal_form finds the normal form of a polynomial poly with respect to a set of polynomials polylist.
poly_normal_form