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

Timestamp:

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

Author:

Oleksandr Motsak <motsak@…>

Branches:

(u'spielwiese', '17f1d200f27c5bd38f5dfc6e8a0879242279d1d8')

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/syzextra.cc (modified) (5 diffs)

Singular/dyn_modules/syzextra/syzextra.cc

@@ -87 +87 @@
   assume( b != NULL );
 
-  assume( p_LmTest(a, r) );
-  assume( p_LmTest(b, r) );
+  p_LmTest(a, r);
+  p_LmTest(b, r);
 
 
@@ -165 +165 @@
   assume( b != NULL );
 
-  assume( p_LmTest(a, r) );
-  assume( p_LmTest(b, r) );
+  p_LmTest(a, r);
+  p_LmTest(b, r);
   assume( p_GetComp(a, r) == 0 );
   assume( p_GetComp(b, r) == 0 );
@@ -336 +336 @@
   {
     assume( p != NULL );
-    assume( p_LmTest(p, r) );
+    p_LmTest(p, r);
 
     m = p_LmInit(p, r);
@@ -348 +348 @@
     assume( m != NULL );
     assume( pNext(m) == NULL );
-    assume( p_LmTest(m, r) );
+    p_LmTest(m, r);
 
     if( bSetZeroComp )
@@ -1210 +1210 @@
 
   sBucket_pt& tail   = m_sum_bucket; assume( tail != NULL );
-  kBucket_pt& bucket = m_spoly_bucket; assume( bucket != NULL ); kbTest(bucket);
+  kBucket_pt& bucket = m_spoly_bucket; assume( bucket != NULL ); 
+  kbTest(bucket);