Changeset 72f1e4b in git

Timestamp:

Sep 26, 2012, 1:01:54 PM (12 years ago)

Author:

Martin Lee <martinlee84@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

237c4266ccdbbf8b6c6046b550e61cb1751b2b35

Parents:

f2359093b446e8c68c3bda0f0484c4dbf7bd93a8

git-author:

Martin Lee <martinlee84@web.de>2012-09-26 13:01:54+02:00

git-committer:

Martin Lee <martinlee84@web.de>2012-10-18 17:42:58+02:00

Message:

fix: several issues with --enable-assertions

Location:

factory

Files:

• cf_gcd_smallp.cc (modified) (1 diff)
• facFqBivarUtil.cc (modified) (1 diff)
• facFqSquarefree.h (modified) (1 diff)
• fac_ezgcd.cc (modified) (1 diff)

factory/cf_gcd_smallp.cc

@@ -4229 +4229 @@
   Evaluation result= Evaluation (A.min(), A.max());
   ASSERT (A.min() == 2, "expected A.min() == 2");
-  ASSERT (A.max() >= n, "expected A.max() >= n");
   int max_deg;
   int k= n;

factory/facFqBivarUtil.cc

@@ -519 +519 @@
   }
 
-  q= newtonDiv (bufF, G, xToLOldL);
+  if (l-oldL > 0)
+    q= newtonDiv (bufF, G, xToLOldL);
+  else
+    q= 0;
   q *= xToOldL;
   q += oldQ;

factory/facFqSquarefree.h

@@ -18 +18 @@
 #include "cf_factory.h"
 #include "fac_sqrfree.h"
+#include "cf_factory.h"
 
 /// squarefree factorization over a finite field

factory/fac_ezgcd.cc

@@ -215 +215 @@
   Evaluation result= Evaluation (A.min(), A.max());
   ASSERT (A.min() == 2, "expected A.min() == 2");
-  ASSERT (A.max() == n, "expected A.max() == n");
   int max_deg;
   int k= n;