Changes between Version 17 and Version 18 of Ticket #30263


Ignore:
Timestamp:
05/02/21 23:54:22 (7 weeks ago)
Author:
mkoeppe
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #30263 – Description

    v17 v18  
    3535}}}
    3636
    37 #31764 adds support for arbitrary unions. But whether this is used or not, something is wrong with the commutativity of the union. This should be investigated, too.
     37#31764 adds support for arbitrary unions. But the main issue here is  the failing associativity of the union.
     38
     39We fix it as follows.
     40
     41When creating a union, we update the open covers of its subsets, replacing the union members by the union.
     42