Returns the initial of a polynomial. The initial of a polynomial $f$ is the the leading coefficient of $f$ viewed as a univariate polynomial in its main variable.
i1 : R = QQ[x_0..x_3, MonomialOrder=>Lex]; |
i2 : f = x_1^2*(x_2*x_3+2*x_3) + x_1*(x_2^2-1) + (x_2-x_3) 2 2 2 o2 = x x x + 2x x + x x - x + x - x 1 2 3 1 3 1 2 1 2 3 o2 : R |
i3 : initial f o3 = x x + 2x 2 3 3 o3 : R |
The object initial is a method function.