Opened 3 years ago

Last modified 6 months ago

#29199 new task

Set up polyhedra with both Vrep and Hrep — at Version 1

Reported by: gh-kliem Owned by:
Priority: major Milestone: sage-wishlist
Component: geometry Keywords:
Cc: Jean-Philippe Labbé, Laith Rastanawi Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description (last modified by gh-kliem)

With #28880 at hand, it makes sense to set up polyhedra from both Vrepresentation and Hrepresentation, if the backend supports it.

This is faster an any case, if the backend supports precomputed data (currently only field, but polymake and normaliz potentially can do that as well). Otherwise it might be faster, as it chooses the shorter representation by default. E.g.

  • setting up a hypercube is then done by inequalities instead of vertices,
  • translating a hypercube should be done by inequalities not by vertices.

This ticket collects all those instances, where we will set up the polyhedron from both Vrep and Hrep:

  • From the library:
    • #29198: hypercube,
    • cross polytope,
    • simplex.
  • Polyhedral constructions:
    • polar,
    • product,
    • join,
    • affine hull,
    • #29200: dilation,
    • prism,
    • pyramid,
    • bipyramid.

Change History (1)

comment:1 Changed 3 years ago by gh-kliem

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