Changeset a28cb4f in git for libpolys/polys

Timestamp:

May 23, 2012, 5:40:49 PM (12 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

(u'spielwiese', '4a9821a93ffdc22a6696668bd4f6b8c9de3e6c5f')

Children:

5998134399af73455bd45b86419f1c2d580ea52d

Parents:

ebbb9c021139eb2de39769f50c7f00762df8fc33

git-author:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2012-05-23 17:40:49+02:00

git-committer:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2012-05-23 18:07:33+02:00

Message:

fix: bug: rOrd_SetCompRequiresSetm was missing 'am'
chg: minor cleanup of p_SetCompP

From: Hans Schoenemann <hannes@mathematik.uni-kl.de>

Location:

libpolys/polys/monomials

Files:

• p_polys.h (modified) (4 diffs)
• ring.cc (modified) (1 diff)

libpolys/polys/monomials/p_polys.h

@@ -258 +258 @@
   return c;
 }
-// sets component of poly a to i, returns length of p
+// sets component of poly a to i
 static inline   void p_SetCompP(poly p, int i, ring r)
 {
@@ -264 +264 @@
   {
 #ifdef PDEBUG
-    poly q = p;
-    int l = 0;
-#endif
-
+    p_Test(p, r);
+#endif
     if (rOrd_SetCompRequiresSetm(r))
     {
@@ -274 +272 @@
         p_SetComp(p, i, r);
         p_SetmComp(p, r);
-#ifdef PDEBUG
-        l++;
-#endif
         pIter(p);
       }
@@ -286 +281 @@
       {
         p_SetComp(p, i, r);
-#ifdef PDEBUG
-        l++;
-#endif
         pIter(p);
       }
       while(p != NULL);
     }
-#ifdef PDEBUG
-    p_Test(q, r);
-    assume(l == pLength(q));
-#endif
   }
 }

libpolys/polys/monomials/ring.cc

@@ -1930 +1930 @@
           || (o->ord_typ == ro_syz)
           || (o->ord_typ == ro_is)
+          || (o->ord_typ == ro_am)
           || (o->ord_typ == ro_isTemp))
         return TRUE;