x_p1:=ZX.1^2-1; LeadingTerm(x_p1); x_p2:=12*ZX.1^3+ 5*ZX.1^2-3*ZX.1-1; LeadingTerm(x_p2);