|  |  D.12.6.3 lastvarGeneral Procedure from libraryweierstr.lib(see  weierstr_lib).
 
Example: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
 | 
 
 |