Changeset 530a3c in git

Timestamp:

Jul 1, 1999, 5:51:50 PM (25 years ago)

Author:

Hans Schönemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

776986f6ec49c2c9cfbbf03aa967863dd9d7cd22

Parents:

697b8256103b900eb51ac9a5ddfcb5ce442d2054

Message:

*hannes: optimized sat


git-svn-id: file:///usr/local/Singular/svn/trunk@3211 2c84dea3-7e68-4137-9b89-c4e89433aadc

File:

• Singular/LIB/elim.lib (modified) (2 diffs)

Singular/LIB/elim.lib

@@ -1 @@
-// $Id: elim.lib,v 1.4 1998-05-05 11:55:22 krueger Exp $
+// $Id: elim.lib,v 1.5 1999-07-01 15:51:50 Singular Exp $
 // system("random",787422842);
 // (GMG, last modified 22.06.96)
 ///////////////////////////////////////////////////////////////////////////////
 
-version="$Id: elim.lib,v 1.4 1998-05-05 11:55:22 krueger Exp $";
+version="$Id: elim.lib,v 1.5 1999-07-01 15:51:50 Singular Exp $";
 info="
 LIBRARY:  elim.lib      PROCEDURES FOR ELIMINATIOM, SATURATION AND BLOWING UP
@@ -220 +220 @@
       for( ii=1; ii<=size(i); ii=ii+1 )
       {
-         if( reduce(i[ii],id)!=0 ) break;
+         if( reduce(i[ii],id,1)!=0 ) break;
       }
       id=std(i); kk=kk+1;