Opened 12 months ago

Last modified 5 weeks ago

#27728 new enhancement

Non-rational polytopes: Examples and constructor

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

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 (3)

comment:1 Changed 12 months ago by jipilab

  • Dependencies set to #25097

comment:2 Changed 10 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 5 weeks ago by jipilab

  • Dependencies changed from #25097 to #25097,#29065
Note: See TracTickets for help on using tickets.