Changeset 54c558 in git for kernel/kutil.cc

Timestamp:

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

Author:

Hans Schönemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

6c4db177774ccdc1c1ded7c80da737278e3161da

Parents:

5e80f6f1c8029287f8ba60bab4952c8c23fa29e2

Message:

debug stuff

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

File:

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

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)));