Is there a function to obtain the monic form of a multivariables polynomial?
My polynomial is:
f = -2 x^2 - x^3 - 3 y
sorted with a lexicographic order.
The monic polynomial that I want to obtain is the polynomial divided by the coefficient of the monial of the higher rank.
f = -2/3 x^2 - 1/3 x^3 - y
In other words, polynomials whose leading coefficients are 1 are called monic.