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

Timestamp:

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

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', '4bd32dfef92ec9f5ed8dceee82d14318ae147107')

Children:

1386125efea2b96cc1b1eb9c36caa5004c0f47f6766ae30cf1b9a4f004ee11825797b33b8798ae39

Parents:

97a7da2750245efc953ff12aad2e56a4bff4374e

Message:

chnaged: Presolve::findvars: see variables

File:

• Singular/LIB/resolve.lib (modified) (7 diffs)

Singular/LIB/resolve.lib

@@ -389 +389 @@
 //--- then by dropping non-occuring variables
       testId=Jsub,Esub,laM;
-      templist=findvars(testId,0);
+      templist=findvars(testId);
       if(size(templist[1])<nvars(R))
       {
@@ -617 +617 @@
             LL=LL,BO[4][j];
          }
-         LL=findvars(LL);
+         LL=variables(LL);
          L=elimpart(BO[2]);
          if((size(L[2])!=0)&&(size(std(LL+L[2]))==size(L[2])+size(LL)))
@@ -633 +633 @@
         K=K,BO[4][j];
       }
-      list N=findvars(K,0);
+      list N=findvars(K);
       if(size(N[1])<n)
       {
@@ -1073 +1073 @@
                  if(deg(MM[1])>0){LL=LL,MM;}
               }
-              LL=findvars(LL);
+              LL=variables(LL);
               M=elimpart(B[2]);
               if((size(M[2])!=0)&&(size(std(LL+M[2]))==size(M[2])+size(LL)))
@@ -1105 +1105 @@
         K=B[1],B[2],B[5];          //Aenderung!!!
         for(j=1;j<=size(B[4]);j++){K=K,B[4][j];}
-        N=findvars(K,0);
+        N=findvars(K);
         if(size(N[1])<n)
         {
@@ -1153 +1153 @@
 //--- this variable
 //!!!! not necessarily in exactly one BO[4][j]
-        list N=findvars(BO[1]+BO[2],0);
+        list N=findvars(BO[1]+BO[2]);
         if(size(N[1])<nvars(basering))
         {
@@ -4795 +4795 @@
         K=K,BO[4][i];
       }
-      list N=findvars(K,0);
-      //list N=findvars(BO[2],0);
+      list N=findvars(K);
+      //list N=findvars(BO[2]);
       if(size(N[1])<n)
       {