Changeset 6d0515d in git for libpolys/polys/ext_fields

Timestamp:

Aug 12, 2016, 11:02:18 AM (8 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', '2a584933abf2a2d3082034c7586d38bb6de1a30a')

Children:

16120ff86476199d17c69372277e4f74d645bad8

Parents:

75b12a8379e8fdc352f1ced846ad6cb2ee44ec22

Message:

chg: use real values for better readability in assume

File:

• libpolys/polys/ext_fields/transext.cc (modified) (9 diffs)

libpolys/polys/ext_fields/transext.cc

@@ -77 +77 @@
 #define ntTest(a) n_Test(a, cf)
 
-/// Our own type!
-static const n_coeffType ID = n_transExt;
-
 /* polynomial ring in which the numerators and denominators of our
    numbers live */
@@ -175 +172 @@
 BOOLEAN ntDBTest(number a, const char *f, const int l, const coeffs cf)
 {
-  assume(getCoeffType(cf) == ID);
+  assume(getCoeffType(cf) == n_transExt);
 
   if (IS0(a)) return TRUE;
@@ -1594 +1591 @@
 static BOOLEAN ntCoeffIsEqual(const coeffs cf, n_coeffType n, void * param)
 {
-  if (ID != n) return FALSE;
+  if (n_transExt != n) return FALSE;
   TransExtInfo *e = (TransExtInfo *)param;
   /* for rational function fields we expect the underlying
@@ -2107 +2104 @@
 {
   /* dst is expected to be a rational function field */
-  assume(getCoeffType(dst) == ID);
+  assume(getCoeffType(dst) == n_transExt);
 
   if( src == dst ) return ndCopyMap;
@@ -2218 +2215 @@
 static number ntParameter(const int iParameter, const coeffs cf)
 {
-  assume(getCoeffType(cf) == ID);
+  assume(getCoeffType(cf) == n_transExt);
 
   const ring R = cf->extRing;
@@ -2241 +2238 @@
 {
   ntTest(m);
-  assume(getCoeffType(cf) == ID);
+  assume(getCoeffType(cf) == n_transExt);
 
   const ring R = cf->extRing;
@@ -2267 +2264 @@
 {
   assume(cf != NULL);
-  assume(getCoeffType(cf) == ID);
+  assume(getCoeffType(cf) == n_transExt);
   // all coeffs are given by fractions of polynomails over integers!!!
   // without denominators!!!
@@ -2356 +2353 @@
 {
   assume(cf != NULL);
-  assume(getCoeffType(cf) == ID); // both over Q(a) and Zp(a)!
+  assume(getCoeffType(cf) == n_transExt); // both over Q(a) and Zp(a)!
   // all coeffs are given by fractions of polynomails over integers!!!
 
@@ -2549 +2546 @@
 
   assume( cf != NULL );
-  assume(getCoeffType(cf) == ID);                // coeff type;
+  assume(getCoeffType(cf) == n_transExt);                // coeff type;
 
   ring R = e->r;