Changes between Version 5 and Version 6 of Ticket #30263


Ignore:
Timestamp:
04/23/21 15:47:02 (8 weeks ago)
Author:
mkoeppe
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #30263 – Description

    v5 v6  
    3535}}}
    3636
    37 I propose to allow more than two arguments for `declare_union`. Furthermore, something went wrong with the commutativity of the union. This should be investigated, too.
     37In 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
     42We also introduce
     43- `declare_disjoint(other)` - same as `self.intersection(other).declare_empty()`
     44- `declare_disjoint_union(*sets)`
     45
     46Furthermore, something went wrong with the commutativity of the union. This should be investigated, too.