Changeset 459ec94 in git for libpolys

Timestamp:

Jun 8, 2016, 11:23:17 AM (8 years ago)

Author:

Adi Popescu <adi_popescum@…>

Branches:

(u'spielwiese', '17f1d200f27c5bd38f5dfc6e8a0879242279d1d8')

Children:

7d2b897ca11e37de4604e5ef70fedebde74c5f18

Parents:

042a2446603880e31b20a8b52076d7e9d00046fd

Message:

add: sba gcd-pair replacement while reduction

File:

• libpolys/polys/monomials/p_polys.h (modified) (1 diff)

libpolys/polys/monomials/p_polys.h

@@ -1524 +1524 @@
 }
 
+// The coefficient will be compared in absolute value
+static inline int p_LtCmpNoAbs(poly p, poly q, const ring r)
+{
+  int res = p_LmCmp(p,q,r);
+  if(res == 0)
+  {
+    if(p_GetCoeff(p,r) == NULL || p_GetCoeff(q,r) == NULL)
+      return res;
+    number pc = p_GetCoeff(p,r);
+    number qc = p_GetCoeff(q,r);
+    if(n_Greater(pc,qc,r->cf))
+      res = 1;
+    if(n_Greater(qc,pc,r->cf))
+      res = -1;
+    if(n_Equal(pc,qc,r->cf))
+      res = 0;
+  }
+  return res;
+}
+
 #ifdef HAVE_RINGS
 // This is the equivalent of pLmCmp(p,q) != -currRing->OrdSgn for rings