Changeset f831299 in git for libpolys/polys/ext_fields/algext.cc

Timestamp:

Nov 24, 2011, 5:25:22 PM (12 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'b9f50b373314e74e83c7c060a651dd2913e1f033')

Children:

48afda8604dc4572d40ecc987b43779dd42606d4

Parents:

ec2602c1b3d7f1425acc9f7584d48ac345dc7097af117a9cf0cc4842d683c9fd2c6e68a1b5b48d9d

Message:

Merge pull request #23 from steenpass/tests

changes to Singular test-suite: 
1. incompatibility with old Singular (better & consistent output) is declared to be a feature - not a bug!
2. new test: non-normalized output from zero_decomp (primdec.lib)

File:

• libpolys/polys/ext_fields/algext.cc (modified) (2 diffs)

libpolys/polys/ext_fields/algext.cc

@@ -113 +113 @@
   if (a == NULL) return TRUE;
   p_Test((poly)a, naRing);
-  assume(p_Totaldegree((poly)a, naRing) <= p_Totaldegree(naMinpoly, naRing));
+  if(p_Totaldegree((poly)a, naRing) >= p_Totaldegree(naMinpoly, naRing))
+  {
+    Print("deg >= deg(minpoly) in %s:%d\n",f,l);
+    return FALSE;
+  }
   return TRUE;
 }
@@ -486 +490 @@
   poly aAsPoly;
   const char * result = p_Read(s, aAsPoly, naRing);
+  definiteReduce(aAsPoly, naMinpoly, cf);
   *a = (number)aAsPoly;
   return result;