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

Timestamp:

Jun 7, 2012, 5:43:32 PM (11 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', '00e2e9c41af3fde1273eb3633f4c0c7c3db2579d')

Children:

f0b795a3ce2b873e7524b0af7df2ccd84a3fc628

Parents:

6284186fbb128f1c5a0c99ff170cec4bb5afd5a3

Message:

fix: naIsOne, naIsMOne

improved: algext.cc::definiteReduce

File:

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

libpolys/polys/ext_fields/algext.cc

@@ -206 +206 @@
   naTest(a);
   poly aAsPoly = (poly)a;
-  if (!p_IsConstant(aAsPoly, naRing)) return FALSE;
+  if ((a==NULL) || (!p_IsConstant(aAsPoly, naRing))) return FALSE;
   return n_IsOne(p_GetCoeff(aAsPoly, naRing), naCoeffs);
 }
@@ -214 +214 @@
   naTest(a);
   poly aAsPoly = (poly)a;
-  if (!p_IsConstant(aAsPoly, naRing)) return FALSE;
+  if ((a==NULL) || (!p_IsConstant(aAsPoly, naRing))) return FALSE;
   return n_IsMOne(p_GetCoeff(aAsPoly, naRing), naCoeffs);
 }
@@ -600 +600 @@
   p_Test((poly)reducer, naRing);
   #endif
-  p_PolyDiv(p, reducer, FALSE, naRing);
+  if ((p!=NULL) && (p_GetExp(p,1,naRing)>=p_GetExp(reducer,1,naRing)))
+  {
+    p_PolyDiv(p, reducer, FALSE, naRing);
+  }
 }