D.7.1.6 findvars

Procedure from library presolve.lib (see presolve_lib).

Usage:

findvars(id [,any] ); id=poly/ideal/vector/module/matrix, any=any type

Return:

if no second argument is present: ideal of variables occurring in id,
if a second argument is given (of any type): list L with 4 entries:

L[1]: ideal of variables occurring in id L[2]: intvec of variables occurring in id L[3]: ideal of variables not occurring in id L[4]: intvec of variables not occurring in id

Example:

LIB "presolve.lib";
ring s  = 0,(e,f,x,y,t,u,v,w,a,d),dp;
ideal i = w2+f2-1, x2+t2+a2-1;
findvars(i);
→ _[1]=f
→ _[2]=x
→ _[3]=t
→ _[4]=w
→ _[5]=a
findvars(i,1);
→ [1]:
→    _[1]=f
→    _[2]=x
→    _[3]=t
→    _[4]=w
→    _[5]=a
→ [2]:
→    2,3,5,8,9
→ [3]:
→    _[1]=e
→    _[2]=y
→    _[3]=u
→    _[4]=v
→    _[5]=d
→ [4]:
→    1,4,6,7,10