Opened 7 months ago
Last modified 4 months ago
#31740 new task
Meta-ticket: Families, posets, complexes of manifold subsets — at Version 9
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: |
Description (last modified by )
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
- #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 anddomain_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 methodsdeclare_empty
,declare_nonempty
,is_empty
,has_defined_points
,open_cover_family
- #31727
ManifoldSubset
: Add methodssubset_family
,superset_family
,open_superset_family
; deprecate methodlist_of_subsets
- #31736
ManifoldSubset
: New methodsdeclare_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
- #31751 Reformulations of optimization problems as continuous maps on manifolds
Change History (9)
comment:1 Changed 7 months ago by
- Description modified (diff)
comment:2 Changed 7 months ago by
- Description modified (diff)
comment:3 Changed 7 months ago by
- Description modified (diff)
comment:4 Changed 7 months ago by
- Description modified (diff)
comment:5 Changed 7 months ago by
- Description modified (diff)
comment:6 Changed 7 months ago by
- Cc yzh added
comment:7 Changed 7 months ago by
- Description modified (diff)
comment:8 Changed 7 months ago by
- Description modified (diff)
comment:9 Changed 7 months ago by
- Description modified (diff)
Note: See
TracTickets for help on using
tickets.