Maxima Function
poly_depends_p (poly, var, varlist)
poly_depends tests whether a polynomial depends on a variable var.
poly_depends