Changeset 438ade in git

Timestamp:

Oct 14, 2017, 2:30:24 PM (7 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

6518ebab64bf516f9ebcdf4e9e11aed030056a3c

Parents:

5f5a82f41da20216016c8f0b16cb3bf562a691b9

Message:

opt: impreove Elim::sat

File:

• Singular/LIB/elim.lib (modified) (1 diff)

Singular/LIB/elim.lib

@@ -731 +731 @@
    id=std(id);
    int p = printlevel-voice+3;  // p=printlevel+1 (default: p=1)
-   while( ii<=size(i) )
+   while( ii<=ncols(i) )
    {
       dbprint(p-1,"// compute quotient "+string(kk+1));
       i=quotient(id,j);
-      for( ii=1; ii<=size(i); ii++ )
-      {
-         if( reduce(i[ii],id,1)!=0 ) break;
+      for( ii=1; ii<=ncols(i); ii++ )
+      {
+         if( reduce(i[ii],id,1+4)!=0 ) break;
       }
       id=std(i); kk++;