Changeset 643b538 in git

Timestamp:

Aug 16, 2011, 7:32:26 PM (12 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', '0604212ebb110535022efecad887940825b97c3f')

Children:

1561388b356b908332f27cb05700d8daee4eb443

Parents:

ca9096f077e5b63d5ae455da7c5f65d1360bb6ec

git-author:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2011-08-16 19:32:26+02:00

git-committer:

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

Message:

FIX: fixing unfixed assumes and ther stuff for debug version of Singular

Location:

Singular

Files:

• iparith.cc (modified) (2 diffs)
• ipshell.cc (modified) (1 diff)
• walk.cc (modified) (1 diff)

Singular/iparith.cc

@@ -4600 +4600 @@
   }
 
-  assume(u_id->rank>=idRankFreeModule(u_id));
+  assume(u_id->rank>=id_RankFreeModule(u_id, currRing));
   res->data=(char *)t_rep_gb(currRing,
     u_id,u_id->rank);
@@ -5981 +5981 @@
     if (rField_is_Extension(currRing))
     {
-      assume(currRing->extRing!=NULL);
+      assume(currRing->cf->extRing!=NULL);
       number n = pGetCoeff(p);
       ringvar=- n_IsParam(n, currRing);

Singular/ipshell.cc

@@ -2687 +2687 @@
       }
     }
-    if (/* idRankFreeModule(trueres[0]) */ trueres[0] > 0)
+    if (/* id_RankFreeModule(trueres[0], currRing) */ trueres[0] > 0)
       typ0 = MODUL_CMD;
     if (syzstr->weights!=NULL)

Singular/walk.cc

@@ -592 +592 @@
 static inline int MwalkWeightDegree(poly p, intvec* weight_vector)
 {
-  assume(weight_vector->length() >= pVariables);
+  assume(weight_vector->length() >= currRing->N);
   int max = 0, maxtemp;