Changeset a44bcf in git for libpolys

Timestamp:

Apr 26, 2013, 12:07:28 PM (10 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', '1d362c315e551a5b527ab0759f8839cf0e94f3a5')

Children:

24029535f20e3283a5e681c592f7d6f44bfafe01

Parents:

96c2ce8b080a9a545234eb9b8d52c48883488fc8

Message:

add: checks for rational coeff. in rational functions

Location:

libpolys

Files:

• coeffs/longrat.cc (modified) (1 diff)
• polys/ext_fields/transext.cc (modified) (1 diff)

libpolys/coeffs/longrat.cc

@@ -1088 +1088 @@
   else
   {
-    result=ALLOC_RNUMBER();
+    result=ALLOC0_RNUMBER();
     mpz_init(result->z);
     mpz_gcd(result->z,a->z,b->z);

libpolys/polys/ext_fields/transext.cc

@@ -175 +175 @@
 //    }
     // test that nume is over integers!?
+  }
+  if (getCoeffType(ntCoeffs)==n_Q)
+  {
+    poly p=num; // !=NULL
+    do
+    {
+      number n=pGetCoeff(p);
+      n_Test(n,ntCoeffs);
+      if (!(SR_HDL(n) & SR_INT))
+      {
+        if (n->s<2)
+          Print("rational coeff in num: %s:%d\n",f,l);
+      }
+      pIter(p);
+    } while(p!=NULL);
+    p=den;
+    while(p!=NULL)
+    {
+      number n=pGetCoeff(p);
+      if (!(SR_HDL(n) & SR_INT))
+      {
+        if (n->s!=3)
+          Print("rational coeff in den.:%s:%d\n",f,l);
+      }
+      pIter(p);
+    }
   }
   return TRUE;