Changeset 643b538 in git for Singular/walk.cc

Timestamp:

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

Author:

Oleksandr Motsak <motsak@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

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

File:

• Singular/walk.cc (modified) (1 diff)

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;