Opened 18 months ago
Last modified 8 weeks ago
#27728 new enhancement
Non-rational polytopes: Examples and constructor
Reported by: | jipilab | Owned by: | |
---|---|---|---|
Priority: | major | Milestone: | sage-9.3 |
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 (5)
comment:1 Changed 18 months ago by
- Dependencies set to #25097
comment:2 Changed 17 months ago by
- Milestone sage-8.8 deleted
comment:3 Changed 8 months ago by
- Dependencies changed from #25097 to #25097,#29065
comment:4 Changed 6 months ago by
- 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 weeks ago by
- Milestone changed from sage-9.2 to sage-9.3
Note: See
TracTickets for help on using
tickets.
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).