Opened 8 months ago

Last modified 4 months ago

#31740 new task

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

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

Status badges

Description (last modified by mkoeppe)

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
  • #31745 Images of differentiable maps
  • #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
  • #31743 Charts, transitions, subsets with restrictions defined using NNC_Polyhedron

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

Topological tools:

  • #31741 ManifoldSubset.separating_open_supersets
  • #31744 ManifoldSubset: Propagate emptiness/nonemptiness using LP

Application to polyhedra and optimization:

  • #31659 Polyhedron.affine_hull_manifold
  • #31660 Polyhedron.relative_interior_manifold
  • #31728 manifolds.Sphere: Make relation to simplicial spheres more concrete
  • #31742 MixedIntegerLinearProgram.ambient_manifold, feasible_subset, objective_scalar_field, optimal_subset
  • #31376 Complex of differentiable manifolds associated with active sets of nonlinear optimization problems

Change History (7)

comment:1 Changed 8 months ago by mkoeppe

  • Description modified (diff)

comment:2 Changed 8 months ago by mkoeppe

  • Description modified (diff)

comment:3 Changed 8 months ago by mkoeppe

  • Description modified (diff)

comment:4 Changed 8 months ago by mkoeppe

  • Description modified (diff)

comment:5 Changed 8 months ago by mkoeppe

  • Description modified (diff)

comment:6 Changed 8 months ago by mkoeppe

  • Cc yzh added

comment:7 Changed 7 months ago by mkoeppe

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