Changes between Version 18 and Version 20 of Ticket #30263


Ignore:
Timestamp:
05/03/21 05:51:02 (7 weeks ago)
Author:
mkoeppe
Comment:

Last 10 new commits:

0032bf9ManifoldSubset.intersection: Go through ManifoldSubsetFiniteFamily to make the order of operations canonical
282010bManifoldSubset._union_subset: Factor out from ManifoldSubset.union
6772570ManifoldSubset.union: Handle arbitrary unions
edfea33ManifoldSubset.union: Add example and plots
fdd0abaManifoldSubset.declare_union: Handle arbitrary unions
c2f484csrc/sage/manifolds/subset.py: import itertools
a083569ManifoldSubset._intersection_subset, _union_subset: Use declare_subset, declare_superset; fix doctest
5d41b46Merge #31764
aceb0e8ManifoldSubset._union_subset: Do cache store the union here
743f114ManifoldSubset._union_subset: Update open covers

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #30263

    • Property Branch changed from to u/mkoeppe/declare_union_yields_wrong_results
    • Property Authors changed from to Matthias Koeppe
    • Property Commit changed from to 743f11446a96c32cde3873ebe0a907cdbd0c305b
  • Ticket #30263 – Description

    v18 v20  
    3939We fix it as follows.
    4040
    41 When creating a union, we update the open covers of its subsets, replacing the union members by the union.
     41When creating a union, we update the open covers of the supersets of the members, replacing the union members by the union.
    4242