Changeset 48a41a in git for libpolys/coeffs

Timestamp:

Feb 17, 2012, 11:35:47 AM (12 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

26acab557e4ad73e2c8ba02fa1ad998773365fff66e25f2bbb3969a1769c9710fee12d7ca6262dd7

Parents:

46eef0a30be9c81870e8f7f971a5e0748c9e8fcd

Message:

chg: introduce n_ParDeg for pardeg(number)

Location:

libpolys/coeffs

Files:

• coeffs.h (modified) (2 diffs)
• numbers.cc (modified) (2 diffs)

libpolys/coeffs/coeffs.h

@@ -183 +183 @@
    /// returns X with X mod q[i]=x[i], i=0..rl-1
    number  (*cfChineseRemainder)(number *x, number *q,int rl, const coeffs);
+
+   /// degree for coeffcients: -1 for 0, 0 for "constants", ...
+   int (*cfParDeg)(number x,const coeffs r);
 
 #ifdef HAVE_FACTORY
@@ -610 +613 @@
 }
 
+static inline int n_ParDeg(number n, const coeffs r)
+{ 
+  assume(r != NULL);
+  return r->cfParDeg(n,r); 
+}
+
 static inline number  n_Init_bigint(number i, const coeffs dummy,
                 const coeffs dst)

libpolys/coeffs/numbers.cc

@@ -85 +85 @@
   Werror("ChineseRemainder not implemented for (c=%d)",getCoeffType(r));
   return n_Init(0,r); 
+}
+
+int ndParDeg(number n, const coeffs r)
+{
+  return (-n_IsZero(n,r));
 }
 
@@ -252 +257 @@
     n->cfChineseRemainder = ndChineseRemainder;
     n->cfFarey = ndFarey;
+    n->cfParDeg = ndParDeg;
 
 #ifdef HAVE_RINGS