Top
Back: faststd
Forward: hilbvec
FastBack: Symbolic-numerical solving
FastForward: solve_lib
Up: presolve_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.7.1.7 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:
 
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


Top Back: faststd Forward: hilbvec FastBack: Symbolic-numerical solving FastForward: solve_lib Up: presolve_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-0-1, October 2005, generated by texi2html.