Opened 20 months ago

Last modified 3 months ago

#31740 new task

Meta-ticket: Families, posets, complexes of manifold subsets — at Version 1

Reported by: Matthias Köppe Owned by:
Priority: major Milestone: sage-9.8
Component: manifolds Keywords:
Cc: Michael Jung, Eric Gourgoulhon, Travis Scrimshaw, Yuan Zhou Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description (last modified by Matthias Köppe)

New subsets:

  • #31674 Make open subsets of immersed/embedded submanifolds immersed/embedded submanifolds
  • #31677 Open subsets of arbitrary subsets of manifolds
  • #31653 Images of continuous maps and embedded submanifolds as manifold subsets
  • #31644 Topological closure of manifold subsets, embedded submanifolds
  • #31688 Pullbacks of manifold subsets under continuous maps
  • #31724 ManifoldFiniteSubset
  • #31685 ContinuousMap.image: if map is an isomorphism and domain_subset is open, create a submanifold

Families and posets of manifold subsets:

  • #31680 Poset of manifold subsets
  • #31718 ManifoldSubset: Change some methods to generators
  • #31732 ManifoldSubset: New methods declare_empty, declare_nonempty, is_empty, has_defined_points, open_cover_family
  • #31727 ManifoldSubset: Add methods subset_family, superset_family, open_superset_family; deprecate method list_of_subsets
  • #31736 ManifoldSubset: New methods declare_equal, equal_subsets, equal_subset_family
  • #31738 ManifoldSubset.intersection: Compute more supersets
  • #31682 manifolds: Add _test_... methods that check invariants of subset relations
  • #30263 declare_union yields wrong results

Application to polyhedra:

  • #31659 Polyhedron.affine_hull_manifold
  • #31660 Polyhedron.relative_interior_manifold
  • #31728 manifolds.Sphere: Make relation to simplicial spheres more concrete

Change History (1)

comment:1 Changed 20 months ago by Matthias Köppe

Description: modified (diff)
Note: See TracTickets for help on using tickets.