Changeset efa772b in git

Timestamp:

Mar 25, 2010, 12:11:42 PM (13 years ago)

Author:

Frank Seelisch <seelisch@…>

Branches:

(u'spielwiese', '91fdef05f09f54b8d58d92a472e9c4a43aa4656f')

Children:

8c49b7123e8f536e92a9816875782df3d62a7842

Parents:

93e7e91c17bcf067f162581d625eaf9c42cbafc3

Message:

fixed wrong assume condition in Minor.cc

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

File:

• Singular/Minor.cc (modified) (1 diff)

Singular/Minor.cc

@@ -383 +383 @@
   /* let's check that the number of selected rows and columns are equal;
      (this check is only performed in the debug version) */
-  assume(result.getSetBits(1) != result.getSetBits(2));
+  assume(result.getSetBits(1) == result.getSetBits(2));
 
   return result;