Opened 6 months ago

Last modified 3 months ago

#31738 new enhancement

ManifoldSubset.intersection: Compute more supersets

Reported by: mkoeppe Owned by:
Priority: major Milestone: sage-9.5
Component: manifolds Keywords:
Cc: egourgoulhon, gh-mjungmath, tscrim Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

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_supersets against an antichain of other_supersets takes quadratic time. But speed ups for chains are possible by convolution/binary search.

Change History (1)

comment:1 Changed 3 months ago by mkoeppe

  • Milestone changed from sage-9.4 to sage-9.5
Note: See TracTickets for help on using tickets.