Changeset bca341 in git for libpolys

Timestamp:

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

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', '17f1d200f27c5bd38f5dfc6e8a0879242279d1d8')

Children:

f0b795a3ce2b873e7524b0af7df2ccd84a3fc628

Parents:

6284186fbb128f1c5a0c99ff170cec4bb5afd5a3

Message:

fix: naIsOne, naIsMOne

improved: algext.cc::definiteReduce

Location:

libpolys

Files:

• coeffs/bigintmat.cc (modified) (1 diff)
• polys/ext_fields/algext.cc (modified) (3 diffs)

libpolys/coeffs/bigintmat.cc

@@ -15 +15 @@
 #include <string.h>
 
-#define BIMATELEM(M,I,J) (M)[ (M).index(I,J) ]
+//#define BIMATELEM(M,I,J) (M)[ (M).index(I,J) ]
 
 bigintmat * bigintmat::transpose()

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);
+  }
 }