Home Online Manual
Top
Back: weierstrPrep
Forward: generalOrder
FastBack: teachstd_lib
FastForward: rootsmr_lib
Up: weierstr_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

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:
 
LIB "weierstr.lib";
ring R = 2,(x,y,z),ls;
poly f = xyz;
lastvarGeneral(f);
==> z24+yz19+xz6+xyz