Changeset 1c1d660 in git for kernel/GBEngine/syz.cc

Timestamp:

May 11, 2016, 1:46:26 PM (7 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', '828514cf6e480e4bafc26df99217bf2a1ed1ef45')

Children:

8e11c18a3a737eb1a4f019cd5a31a51b01b07da8ff38ee02732552e78a143ebf4f9aadccee454071

Parents:

ed91a648ee6c2d95f04a52b58c09059d4c2c717e

Message:

fix: tr. #763 (there may be 0 as generator in resolution)

File:

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

kernel/GBEngine/syz.cc

@@ -865 +865 @@
       {
         if ((pGetComp(res[i]->m[j])>l)
-        || ((i>1) && (res[i-1]->m[pGetComp(res[i]->m[j])-1]==NULL)))
+        // usual resolutions do not the following, but artifulal built may: (tr. #763)
+        //|| ((i>1) && (res[i-1]->m[pGetComp(res[i]->m[j])-1]==NULL))
+        )
         {
           WerrorS("input not a resolvent");