Changeset 56d884 in git

Timestamp:

Dec 9, 2014, 5:37:41 PM (9 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'd0474371d8c5d8068ab70bfb42719c97936b18a6')

Children:

d79a742378992db381041d098a232a47426f1864

Parents:

6a70f3e584dbb423be6457c84a588264e2893b4f

Message:

fix: tr. #672

File:

• kernel/GBEngine/kstd1.cc (modified) (3 diffs)

kernel/GBEngine/kstd1.cc

@@ -265 +265 @@
     if (h->IsNull())
     {
+      assume(!rField_is_Ring(currRing));
       if (h->lcm!=NULL) pLmFree(h->lcm);
       h->Clear();
@@ -617 +618 @@
     if (h->IsNull())
     {
+      assume(!rField_is_Ring(currRing));
       if (h->lcm!=NULL) pLmFree(h->lcm);
       h->Clear();
@@ -1591 +1593 @@
     {
       /*- deletes the short spoly and computes -*/
-#ifdef HAVE_RINGS_LOC
+#ifdef HAVE_RINGS
       if (rField_is_Ring(currRing))
         pLmDelete(strat->P.p);