Changeset 5d764b in git

Timestamp:

Jun 15, 2023, 3:31:34 PM (11 months ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', '38dfc5131670d387a89455159ed1e071997eec94')

Children:

bffee73260c261d15c18114d00e5ca3d9d2d69b8

Parents:

5b5230fd433b9005a95c4ed9f0b5a58bcb414da3

Message:

fix: force correct rank for resolutions

File:

• kernel/GBEngine/syz.cc (modified) (1 diff)

kernel/GBEngine/syz.cc

@@ -595 +595 @@
     {
       id_Shift(res[i],-rGetMaxSyzComp(i, currRing),currRing);
+      res[i]->rank=idElem(res[i-1]);
     }
   }