D.12.6.3 lastvarGeneral

Usage:

lastvarGeneral(f,d); f=poly

Return:

poly, say g, obtained from f by a generic change of variables, s.t. g is general of finite order b w.r.t. the last ring variable, say T (i.e. g(0,...,0,T)= c*T^b + higher terms, c!=0)

Note:

the procedure works for any monomial ordering

LIB "weierstr.lib";
ring R = 2,(x,y,z),ls;
poly f = xyz;
lastvarGeneral(f);
==> z24+yz19+xz6+xyz