Changeset 3d0808 in git for libpolys/polys/monomials

Timestamp:

Apr 13, 2011, 3:12:04 PM (13 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

6f3273cb5116675e456582b1c2212f8e506ff61d

Parents:

c9c1186ff876027a15ba78ce440c0206aa356e29

git-author:

Hans Schoenemann <hannes@mathematik.uni-kl.de>2011-04-13 15:12:04+02:00

git-committer:

Mohamed Barakat <mohamed.barakat@rwth-aachen.de>2011-11-09 12:12:31+01:00

Message:

fix void id_DelDiv(ideal id, const ring r)
fix p_DivisibleByRingCase

Location:

libpolys/polys/monomials

Files:

• p_polys.cc (modified) (1 diff)
• p_polys.h (modified) (1 diff)

libpolys/polys/monomials/p_polys.cc

@@ -1401 +1401 @@
   return result;
 }
+
+#ifdef HAVE_RINGS
+/* TRUE iff LT(f) | LT(g) */
+BOOLEAN p_DivisibleByRingCase(poly f, poly g, const ring r)
+{
+  int exponent;
+  for(int i = (int)rVar(r); i>0; i--)
+  {
+    exponent = p_GetExp(g, i, r) - p_GetExp(f, i, r);
+    if (exponent < 0) return FALSE;
+  }
+  return n_DivBy(pGetCoeff(g), pGetCoeff(f), r->cf);
+}
+#endif
 
 /*2

libpolys/polys/monomials/p_polys.h

@@ -68 +68 @@
  ***************************************************************/
 unsigned long p_GetShortExpVector(poly a, ring r);
+/* divisibility check over ground ring (which may contain zero divisors);
+   TRUE iff LT(f) divides LT(g), i.e., LT(f)*c*m = LT(g), for some
+   coefficient c and some monomial m;
+   does not take components into account */
+#ifdef HAVE_RINGS
+BOOLEAN p_DivisibleByRingCase(poly f, poly g, const ring r);
+#endif
 
 /***************************************************************