Changes between Version 16 and Version 28 of Ticket #31660


Ignore:
Timestamp:
07/12/21 06:44:22 (5 months ago)
Author:
mkoeppe
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #31660

    • Property Status changed from needs_review to needs_work
    • Property Dependencies changed from #31659, #31674, #31644 to #31688, #31963, #31993
    • Property Commit changed from 54f736b5811cd972a36363f7afd57142b597771b to a9bc5bc594e3d35ae19b4ce012a01963ffb3c7cd
    • Property Work issues changed from to Refactor through #31688, #31916, #31963, #31993
  • Ticket #31660 – Description

    v16 v28  
    1 The new method `relative_interior_manifold` returns the relative interior of the polyhedron as an open subset of its `affine_hull_manifold` (#31659). Its topological closure (#31644) is constructed by the new method `as_manifold_subset`.
     1We extend the `ManifoldSubsetPullback` constructor to handle relatively open convex sets.
     2
     3In this case, we
     4 - set up the affine hull as an embedded submanifold via `ConvexSet_base.affine_hull_projection` (#31993), generalized from `Polyhedron.affine_hull_manifold` (#31659)
     5 - make the relatively open set an open subset; the pullback is the image of the open subset
     6
     7We add `ConvexSet_base` methods
     8- `as_manifold_subset`.
     9- `relative_interior_manifold`
    210
    311Next step: `Polyhedron.face_manifold_poset`, top element of which is the polyhedron as a union of its relative interior and its facets. Using #31732, the intersection of the relative interior and each facet is declared empty.