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