Changes between Version 6 and Version 17 of Ticket #30263


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

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #30263

    • Property Dependencies changed from #31680 to #31764
  • Ticket #30263 – Description

    v6 v17  
    3535}}}
    3636
    37 In this ticket, we extend `declare_union` as follows:
    38 - support more than two arguments
    39 - support 0 arguments (alias: `declare_empty()`) - a subset is empty if it has an empty open cover
    40 - support 1 argument (alias: `declare_equal(other)`)
    41 
    42 We also introduce
    43 - `declare_disjoint(other)` - same as `self.intersection(other).declare_empty()`
    44 - `declare_disjoint_union(*sets)`
    45 
    46 Furthermore, something went wrong with the commutativity of the union. This should be investigated, too.
     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.