Changeset 54c558 in git

Timestamp:

Feb 3, 2010, 4:54:17 PM (13 years ago)

Author:

Hans Schönemann <hannes@…>

Branches:

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

Children:

6c4db177774ccdc1c1ded7c80da737278e3161da

Parents:

5e80f6f1c8029287f8ba60bab4952c8c23fa29e2

Message:

debug stuff

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

Location:

kernel

Files:

• kInline.cc (modified) (1 diff)
• kutil.cc (modified) (2 diffs)

kernel/kInline.cc

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

kernel/kutil.cc

@@ -694 +694 @@
   }
 
-  if (i >= 0 && T->pLength != 0 && T->pLength != pLength(p))
+  if (i >= 0 && T->pLength != 0 
+  && ! rIsSyzIndexRing(currRing) && T->pLength != pLength(p))
   {
     int l=T->pLength;
@@ -5646 +5647 @@
   // redMoraNF complains about this -- but, we don't really
   // neeed this so far
-  assume(p.pLength == 0 || pLength(p.p) == p.pLength);
+  assume(p.pLength == 0 || pLength(p.p) == p.pLength || rIsSyzIndexRing(currRing)); // modulo syzring
   assume(p.FDeg == p.pFDeg());
   assume(!p.is_normalized || nIsOne(pGetCoeff(p.p)));