Changes between Version 5 and Version 6 of Ticket #30040


Ignore:
Timestamp:
08/24/20 09:47:35 (21 months ago)
Author:
gh-kliem
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #30040 – Description

    v5 v6  
    88- To intersect we now additionally unite the coatom representation. This gives the correct representation of the new face unless the intersection is zero.
    99 
    10 - An intersection of two facets has always codimension, if not empty (they contain a common atom and are thus contained in a common boolean sublattice).
     10- An intersection of two facets has always codimension 1, if not empty (they contain a common atom and are thus contained in a common boolean sublattice).
    1111
    1212- To mark a face as visited, we save its coatom representation in `visited_all_coatom_rep`.