Changeset 1c1d660 in git for kernel


Ignore:
Timestamp:
May 11, 2016, 1:46:26 PM (8 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'b21a664aa22dc6e196223af8a74ad4885e83547c')
Children:
8e11c18a3a737eb1a4f019cd5a31a51b01b07da8ff38ee02732552e78a143ebf4f9aadccee454071
Parents:
ed91a648ee6c2d95f04a52b58c09059d4c2c717e
Message:
fix: tr. #763 (there may be 0 as generator in resolution)
File:
1 edited

Legend:

Unmodified
Added
Removed
  • kernel/GBEngine/syz.cc

    red91a6 r1c1d660  
    865865      {
    866866        if ((pGetComp(res[i]->m[j])>l)
    867         || ((i>1) && (res[i-1]->m[pGetComp(res[i]->m[j])-1]==NULL)))
     867        // usual resolutions do not the following, but artifulal built may: (tr. #763)
     868        //|| ((i>1) && (res[i-1]->m[pGetComp(res[i]->m[j])-1]==NULL))
     869        )
    868870        {
    869871          WerrorS("input not a resolvent");
Note: See TracChangeset for help on using the changeset viewer.