Changeset f999689 in git for Singular/LIB/presolve.lib

Timestamp:

Jan 26, 2015, 12:43:16 PM (9 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

1386125efea2b96cc1b1eb9c36caa5004c0f47f6766ae30cf1b9a4f004ee11825797b33b8798ae39

Parents:

97a7da2750245efc953ff12aad2e56a4bff4374e

Message:

chnaged: Presolve::findvars: see variables

File:

• Singular/LIB/presolve.lib (modified) (6 diffs)

Singular/LIB/presolve.lib

@@ -1 +1 @@
 ////////////////////////////////////////////////////////////////////////////
-version="version presolve.lib 4.0.0.0 Jun_2013 "; // $Id$
+version="version presolve.lib 4.0.1.2 Jan_2015 "; // $Id$
 category="Symbolic-numerical solving";
 info="
@@ -12 +12 @@
  elimpartanyr(i,p);     factors of p partially eliminated from i in any ring
  fastelim(i,p[..]);     fast elimination of factors of p from i [options]
- findvars(id[..]);      ideal of variables occuring in id [more information]
+ findvars(id);          variables occuring/not occurring  in id
  hilbvec(id[,c,o]);     intvec of Hilberseries of id [in char c and ord o]
  linearpart(id);        elements of id of total degree <=1
@@ -837 +837 @@
 
 proc findvars(def id, list #)
-"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:
+"USAGE:   findvars(id ); id=poly/ideal/vector/module/matrix
+RETURN:  list L with 4 entries:
   @format
   L[1]: ideal of variables occuring in id
@@ -846 +845 @@
   L[4]: intvec of variables not occuring in id
   @end format
+SEE ALSO: variables
 EXAMPLE: example findvars; shows an example
 "
@@ -873 +873 @@
    if ( size(f)>1 ) { f = f[2..size(f)]; }      //intvec of found vars
    if ( size(nf)>1 ) { nf = nf[2..size(nf)]; }  //intvec of vars not found
-   if( size(#)==0 )  { return(found); }
-   if( size(#)!=0 )  { list L = found,f,notfound,nf; return(L); }
+   list L = found,f,notfound,nf; return(L);
 }
 example
@@ -881 +880 @@
    ideal i = w2+f2-1, x2+t2+a2-1;
    findvars(i);
-   findvars(i,1);
 }
 ///////////////////////////////////////////////////////////////////////////////