Changeset bc42722 in git

Timestamp:

Dec 7, 2020, 4:56:55 PM (3 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', '4a9821a93ffdc22a6696668bd4f6b8c9de3e6c5f')

Children:

b8c84e9cbe11784fe8358743eba21399e789f5a0

Parents:

4b1552b09b4c34ac0a1bfafab65c30c2ce718296

Message:

fix: set rank for result of liftstd

File:

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

kernel/ideals.cc

@@ -1065 +1065 @@
 
   if (syz_ring!=orig_ring) rDelete(syz_ring);
+  s_h3->rank=h1->rank;
   SI_RESTORE_OPT2(save2);
   return s_h3;