|
D.8.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 occuring in id,
if a second argument is given (of any type): list L with 4 entries:
| L[1]: ideal of variables occuring in id
L[2]: intvec of variables occuring in id
L[3]: ideal of variables not occuring in id
L[4]: intvec of variables not occuring in id
|
Example:
|