Changeset a44bcf in git for libpolys/polys

Timestamp:

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

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', '17f1d200f27c5bd38f5dfc6e8a0879242279d1d8')

Children:

24029535f20e3283a5e681c592f7d6f44bfafe01

Parents:

96c2ce8b080a9a545234eb9b8d52c48883488fc8

Message:

add: checks for rational coeff. in rational functions

File:

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

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;