Changes between Version 5 and Version 6 of Ticket #30040
 Timestamp:
 08/24/20 09:47:35 (21 months ago)
Legend:
 Unmodified
 Added
 Removed
 Modified

Ticket #30040 – Description
v5 v6 8 8  To intersect we now additionally unite the coatom representation. This gives the correct representation of the new face unless the intersection is zero. 9 9 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). 11 11 12 12  To mark a face as visited, we save its coatom representation in `visited_all_coatom_rep`.