Changeset ae78cf in git

Timestamp:

Jan 10, 2013, 11:20:10 AM (10 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', '0d6b7fcd9813a1ca1ed4220cfa2b104b97a0a003')

Children:

d81e39d347055cad093a2ae53302e036ae2a449c

Parents:

b0a81177e7c506b38836a82dc86bca5774eab0e8

git-author:

Hans Schoenemann <hannes@mathematik.uni-kl.de>2013-01-10 11:20:10+01:00

git-committer:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2013-02-19 20:27:29+01:00

Message:

fix: idKeepFirstK (Example_7_3_14)

Conflicts:
	kernel/ideals.cc

File:

• kernel/ideals.cc (modified) (2 diffs)

kernel/ideals.cc

@@ -11 +11 @@
 
 #include <omalloc/omalloc.h>
-#include <misc/auxiliary.h>
 
 #ifndef NDEBUG
@@ -2562 +2561 @@
 void idKeepFirstK(ideal id, const int k)
 {
-     for (int i = IDELEMS(id)-1; i >= k; i--)
-     {
-        if (id->m[i] != NULL) pDelete(&id->m[i]);
-     }
-     pEnlargeSet(&(id->m), IDELEMS(id), k-IDELEMS(id));
-     IDELEMS(id) = k;
+   for (int i = IDELEMS(id)-1; i >= k; i--)
+   {
+      if (id->m[i] != NULL) pDelete(&id->m[i]);
+   }
+   if (k==0) k=1; /* ideals must have at least one element(0)*/
+   pEnlargeSet(&(id->m), IDELEMS(id), k-IDELEMS(id));
+   IDELEMS(id) = k;
 }