Meta-ticket: Families, posets, complexes of manifold subsets
New subsets:
- #31674 Make open subsets of immersed/embedded submanifolds immersed/embedded submanifolds (merged in Sage 9.4.beta1)
- #31677 Open subsets of arbitrary subsets of manifolds (merged in Sage 9.4.beta1)
- #31653 Images of continuous maps and embedded submanifolds as manifold subsets (merged in Sage 9.4.beta1)
- #31765
DegenerateManifold
: update subsets code
- #31644 Topological closure of manifold subsets, methods
ManifoldSubset.closure
, is_closed
, declare_closed
(merged in Sage 9.4.beta4)
- #31757 Topological interior of manifold subsets
- #31745 Images of differentiable maps
- #31688 Pullbacks (preimages) of manifold subsets under continuous maps (merged in Sage 9.4.beta5)
- #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
RealSet
(see also Meta-ticket #20877):
- #30832 Connect
RealSet
to sage.manifolds
(merged in Sage 9.4.beta4)
- #31878 Replace
OpenInterval
, RealLine
instances by instances of a subclass of DifferentiableManifold
+RealSet
- #21243
RealSet
: add closure
and interior
methods (merged in Sage 9.4.beta4)
- #31881
RealSet
: Extend constructors so that they can build manifold objects (merged in Sage 9.4.rc0)
Families and posets of manifold subsets:
- #31680 Poset of manifold subsets (merged in Sage 9.4.beta3)
- #31718
ManifoldSubset
: Change some methods to generators (merged in Sage 9.4.beta3)
- #31732
ManifoldSubset
: New methods declare_empty
, declare_nonempty
, is_empty
, has_defined_points
, open_cover_family
(merged in Sage 9.4.beta3)
- #31727
ManifoldSubset
: Add methods subset_family
, superset_family
, open_superset_family
; deprecate method list_of_subsets
(merged in Sage 9.4.beta3)
- #31736
ManifoldSubset
: New methods declare_equal
, equal_subsets
, equal_subset_family
(merged in Sage 9.4.beta3)
- #31763
ManifoldSubset
: New methods declare_subset
, declare_superset
(merged in Sage 9.4.beta3)
- #31764
ManifoldSubset
: union
, intersection
, declare_{union,intersection}
with arbitrary number of arguments (merged in Sage 9.4.beta3)
- #31798
ManifoldSubset.difference
, complement
(merged in Sage 9.4.beta3)
- #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
Geometric datastructure tools:
- #32170 Containers for families of geometric objects
Topological tools:
- #31741
ManifoldSubset.separating_open_supersets
- #31744
ManifoldSubset
: Propagate emptiness/nonemptiness using LP
Set_base
and ConvexSet_base
:
- #31916
{Polyhedron, ConvexRationalPolyhedralCone}.{interior, relative_interior}
(merged in Sage 9.4.beta4)
- #31919 ABC for convex sets (merged in Sage 9.4.beta4)
- #31959
PolyhedronFace
: Make it a subclass of ConvexSet_closed
(merged in Sage 9.4.beta4)
- #31990
ConvexSet_base
: Add methods an_element
, some_elements
(merged in Sage 9.4.beta5)
- #32013 Initialize a
Set
from a ConvexSet_base
instance (merged in Sage 9.4.beta6)
- #32089
ConditionSet
(merged in Sage 9.4.beta6)
Application to polyhedra and optimization:
- #31659
Polyhedron.affine_hull_manifold
(merged in Sage 9.4.beta3)
- #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
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?