|  |  7.5.13.0. polyVars Procedure from librarydmodloc.lib(see  dmodloc_lib).
 
Example:Usage:
polyVars(f,v); f poly, v intvec
Return:
int, 1 if f contains only variables indexed by v, 0 otherwise
 |  | LIB "dmodloc.lib";
ring r = 0,(x,y,z),dp;
poly f = y^2+zy;
intvec v = 1,2;
polyVars(f,v); // does f depend only on x,y?
==> 0
v = 2,3;
polyVars(f,v); // does f depend only on y,z?
==> 1
 | 
 
 |