Opened 2 years ago

Last modified 3 weeks ago

#27728 new enhancement

Non-rational polytopes: Examples and constructor

Reported by: jipilab Owned by:
Priority: major Milestone: sage-9.4
Component: geometry Keywords: polytopes, non-rational
Cc: Winfried, jipilab, gh-sebasguts, mkoeppe, vdelecroix, gh-kliem Merged in:
Authors: Jean-Philippe Labbé Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: #25097,#29065 Stopgaps:

Status badges

Description

Having #25097 at hand, we can now look at more complicated constructions of polytopes.

Perles and Grünbaum gave examples using Gale diagrams, see Section 5.4 of Convex polytopes of Grünbaum and Section 7 of Lectures on Polytopes of Ziegler.

Perles configuration and the projective construction of sqrt(2) (see Exercise 4 in §5.4) give several nice examples of non-rational polytopes.

This ticket provides these polytopes and explain the construction in a tutorial.

Change History (7)

comment:1 Changed 2 years ago by jipilab

  • Dependencies set to #25097

comment:2 Changed 22 months ago by embray

  • Milestone sage-8.8 deleted

As the Sage-8.8 release milestone is pending, we should delete the sage-8.8 milestone for tickets that are not actively being worked on or that still require significant work to move forward. If you feel that this ticket should be included in the next Sage release at the soonest please set its milestone to the next release milestone (sage-8.9).

comment:3 Changed 14 months ago by jipilab

  • Dependencies changed from #25097 to #25097,#29065

comment:4 Changed 12 months ago by mkoeppe

  • Milestone set to sage-9.2

Moving some tickets to 9.2. This is not a promise that I will be working on them.

comment:5 Changed 8 months ago by mkoeppe

  • Milestone changed from sage-9.2 to sage-9.3

comment:6 Changed 2 months ago by gh-kliem

  • Cc gh-kliem added

comment:7 Changed 3 weeks ago by mkoeppe

  • Milestone changed from sage-9.3 to sage-9.4

Sage development has entered the release candidate phase for 9.3. Setting a new milestone for this ticket based on a cursory review of ticket status, priority, and last modification date.

Note: See TracTickets for help on using tickets.