Opened 13 months ago
Last modified 2 months ago
#31738 new enhancement
ManifoldSubset.intersection: Compute more supersets
Reported by: | mkoeppe | Owned by: | |
---|---|---|---|
Priority: | major | Milestone: | sage-9.7 |
Component: | manifolds | Keywords: | |
Cc: | egourgoulhon, gh-mjungmath, tscrim | Merged in: | |
Authors: | Reviewers: | ||
Report Upstream: | N/A | Work issues: | |
Branch: | Commit: | ||
Dependencies: | Stopgaps: |
Description
self.intersection(other)
should be a subset of any self_superset.intersection(other_superset)
.
This will be useful in particular if some pair self_superset
, other_superset
is known to be disjoint.
This could also provide another test for Point.__eq__
: if the parents of the points have an empty intersection, the points must be unequal. (I don't know how useful this is.)
Checking an antichain of self_superset
s against an antichain of other_supersets
takes quadratic time. But speed ups for chains are possible by convolution/binary search.
Change History (3)
comment:1 Changed 10 months ago by
- Milestone changed from sage-9.4 to sage-9.5
comment:2 Changed 5 months ago by
- Milestone changed from sage-9.5 to sage-9.6
comment:3 Changed 2 months ago by
- Milestone changed from sage-9.6 to sage-9.7
Note: See
TracTickets for help on using
tickets.