Changeset 1cf7b9 in git

Timestamp:

Mar 14, 2011, 5:02:00 PM (12 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'a800fe4b3e9d37a38c5a10cc0ae9dfa0c15a4ee6')

Children:

5b3386fb66d35f1c12a4ae9bea2807b803a78286

Parents:

794463c7a8f405cd323998e1032ca7ff9b5c6b7f

Message:

assume was wrong

git-svn-id: file:///usr/local/Singular/svn/trunk@13968 2c84dea3-7e68-4137-9b89-c4e89433aadc

File:

• kernel/kInline.cc (modified) (1 diff)

kernel/kInline.cc

@@ -755 +755 @@
     last = pLast(GetLmTailRing(), pLength);
 #ifdef HAVE_ASSUME
-  long fdeg;
-  fdeg = tailRing->pLDeg(GetLmTailRing(), &length, tailRing);
+  long ldeg;
+  ldeg = tailRing->pLDeg(GetLmTailRing(), &length, tailRing);
   assume ( pLength == length || rIsSyzIndexRing(currRing));
-  assume (fdeg == tailRing->pFDeg(last, tailRing));
-  return fdeg;
+  assume (ldeg == tailRing->pFDeg(last,tailRing));
+  return ldeg;
 #else
   length = pLength;