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`.