Changeset 14b690e in git

Timestamp:

Mar 13, 2014, 5:07:54 PM (10 years ago)

Author:

Martin Lee <martinlee84@…>

Branches:

(u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')

Children:

e102d4ec06976b47d6c651423092633b88f744b2

Parents:

b9cb8c8a040ef87acfc952d2d3984a3574c8d888

Message:

fix typo

File:

• factory/cf_factor.cc (modified) (3 diffs)

factory/cf_factor.cc

@@ -503 +503 @@
         if (CFFactory::gettype() == GaloisFieldDomain)
           factors= GFSqrfFactorize (f);
-        else if (hasFirstAlgVar (f, alpha))
-          factors= FqSqrfFactorize (f, alpha);
         else
           factors= FpSqrfFactorize (f);
@@ -515 +513 @@
         if (CFFactory::gettype() == GaloisFieldDomain)
           F= GFFactorize (f);
-        else if (hasFirstAlgVar (f, alpha))
-          F= FqFactorize (f, alpha);
         else
           F= FpFactorize (f);
@@ -625 +621 @@
   Variable beta;
   if (hasFirstAlgVar(f, beta))
-    ASSERT (hasFirstAlgVar (f, beta) != alpha, "f has an algebraic variable that \
-    does not coincide with alpha");
+    ASSERT (beta == alpha, "f has an algebraic variable that \
+                            does not coincide with alpha");
 #endif
   int ch=getCharacteristic();