Opened 7 months ago

Last modified 4 months ago

#31740 new task

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

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
  • #31765 DegenerateManifold: update subsets code
  • #31644 Topological closure of manifold subsets, methods ManifoldSubset.closure, is_closed, declare_closed
  • #31757 Topological interior of manifold subsets
  • #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
  • #31763 ManifoldSubset: New methods declare_subset, declare_superset
  • #31764 ManifoldSubset: union, intersection, declare_{union,intersection} with arbitrary number of arguments
  • #31798 ManifoldSubset.difference, complement
  • #31766 ManifoldSubset: Replace use of _top_subsets by a generator
  • #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
  • #31751 Reformulations of optimization problems as continuous maps on manifolds

Change History (15)

comment:1 Changed 7 months ago by mkoeppe

  • Description modified (diff)

comment:2 Changed 7 months ago by mkoeppe

  • Description modified (diff)

comment:3 Changed 7 months ago by mkoeppe

  • Description modified (diff)

comment:4 Changed 7 months ago by mkoeppe

  • Description modified (diff)

comment:5 Changed 7 months ago by mkoeppe

  • Description modified (diff)

comment:6 Changed 7 months ago by mkoeppe

  • Cc yzh added

comment:7 Changed 7 months ago by mkoeppe

  • Description modified (diff)

comment:8 Changed 7 months ago by mkoeppe

  • Description modified (diff)

comment:9 Changed 7 months ago by mkoeppe

  • Description modified (diff)

comment:10 Changed 7 months ago by mkoeppe

  • Description modified (diff)

comment:11 Changed 7 months ago by mkoeppe

  • Description modified (diff)

comment:12 Changed 7 months ago by mkoeppe

  • Description modified (diff)

comment:13 Changed 7 months ago by gh-mjungmath

For me, it gets harder and harder to keep track of the actual changes taking place in a particular ticket since there are a lot of cross-dependencies and no positively reviewed tickets have been merged lately, meaning the changes swiftly accumulate.

It might be helpful to state the ticket number in the commits which would make it easier to track the differences down, at least for me.

Or perhaps there is a nice git feature I am not aware of?

comment:14 Changed 7 months ago by mkoeppe

git log --first-parent goes a long way

comment:15 Changed 7 months ago by mkoeppe

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