Changeset 1cf7b9 in git for kernel/kInline.cc

Timestamp:

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

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', '8d54773d6c9e2f1d2593a28bc68b7eeab54ed529')

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;