Changeset 86f1dc in git for libpolys

Timestamp:

Nov 23, 2015, 5:52:47 PM (8 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', '2a584933abf2a2d3082034c7586d38bb6de1a30a')

Children:

1d06d1ede01d762c37e91bbba1ba61873ff384c16ba950e5cfaadf94bd8ecc90e29bc1fe2bbc7d3a

Parents:

66b765e3f29eeafd84422812424a97ffb5ec7c22

Message:

fix: some assume violations in debug mode

Location:

libpolys/polys

Files:

• monomials/ring.cc (modified) (2 diffs)
• nc/old.gring.cc (modified) (1 diff)
• sparsmat.cc (modified) (1 diff)

libpolys/polys/monomials/ring.cc

@@ -3416 +3416 @@
   int i;
   poly p=p_One(r);
-  p_SetExp(p,1,1,r);p_Setm(p,r);
+  p_SetExp(p,1,1,r);
+  p_Setm(p,r);
   int vz=sign(p_FDeg(p,r));
   for(i=2;i<=rVar(r);i++)
@@ -3805 +3806 @@
     i++; j++;
   }
-  // No use of j anymore!!!????
 
   if (i==r->pCompIndex) i++;
-  r->pOrdIndex=i; // How came it is "i" here???!!!! exp[r->pOrdIndex] is order of a poly... This may be wrong!!! IS
+  r->pOrdIndex=i;
 
   // ----------------------------

libpolys/polys/nc/old.gring.cc

@@ -2802 +2802 @@
 
 #ifndef SING_NDEBUG
-  id_Test((ideal)CCC, curr);
-  id_Test((ideal)DDD, curr);
+  if (CCC!=NULL) id_Test((ideal)CCC, curr);
+  if (DDD!=NULL) id_Test((ideal)DDD, curr);
   p_Test(CCN, curr);
   p_Test(DDN, curr);

libpolys/polys/sparsmat.cc

@@ -508 +508 @@
   int i;
 
-  for (i=crd; i; i--) res->m[i-1] = sm_Smpoly2Poly(m_res[i],_R);
-  res->rank = id_RankFreeModule(res,_R);
+  for (i=crd; i; i--)
+  {
+    res->m[i-1] = sm_Smpoly2Poly(m_res[i],_R);
+    res->rank=si_max(res->rank, (long)p_MaxComp(res->m[i-1],_R));
+  }
   return res;
 }