Changeset eb55f8a in git for Singular/dyn_modules/syzextra/mod_main.cc

Timestamp:

Sep 16, 2014, 4:56:19 PM (10 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

(u'spielwiese', '4a9821a93ffdc22a6696668bd4f6b8c9de3e6c5f')

Children:

5b45a4ff15d0998cc64c730af75c1c1f773d4a77

Parents:

4ec0f01d431893a4c0997d2bdfab87cb8d37e03e

git-author:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2014-09-16 16:56:19+02:00

git-committer:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2014-09-23 20:10:49+02:00

Message:

There should be no *Test in assume call (and no assume in *Test definition)

File:

• Singular/dyn_modules/syzextra/mod_main.cc (modified) (2 diffs)

Singular/dyn_modules/syzextra/mod_main.cc

@@ -1361 +1361 @@
     {
       assume( p != NULL );
-      assume( p_LmTest(p, r) );
+      p_LmTest(p, r);
 
       const unsigned long iComp = p_GetComp(p, r);
@@ -1394 +1394 @@
 
     assume( p != NULL );
-    assume( p_LmTest(p, r) );
+    p_LmTest(p, r);
 
     const int iExpSize = r->ExpL_Size;