Opened 3 years ago

Last modified 5 weeks ago

#22420 new task

Meta-ticket: Polyhedron: new features and known bugs

Reported by: jipilab Owned by:
Priority: major Milestone: sage-wishlist
Component: geometry Keywords: polytope, geometry, days84
Cc: moritz, mkoeppe, vbraun, stumpc5, jipilab, chapoton, vdelecroix Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Description (last modified by mkoeppe)

This meta-ticket collects tickets which are related to implementing new properties and features of polytopes.

  • #10777: Make CombinatorialPolyhedron? a base class for polyhedra/lattice polytopes/cones
  • #11564: Implement polyhedron unfolding (i.e net)
  • #14222: Various little enhancements for Polyhedrons
  • #15235: support for polygons (2D polyhedra)
  • #17197: document Polyhedron defined over number field
  • #19365: Bug in lattice_polytope.positive_integer_relations
  • #20278: Compute fundamental domain for symmetry groups of polyhedra
  • #22067: generating function of integral points of polyhedra
  • #22181: Implement Minkowski decomposition of polytopes
  • #22506: Add plots to the thematic tutorial on drawing polytopes with tikz
  • #23556: bug in LattE
  • #24637: get Koebe polyhedron from graph
  • #25114: Cannot plot Cone that is a halfplane in 2d
  • #25122: Construct RationalPolyhedralFan? from possibly overlapping cones
  • #26357: Add thematic tutorial to the polymake interface, based on polymake tutorials
  • #26366: Polyhedron - lazy backend; minimal vs. non-minimal presentations; Polyhedron constructor with both Vrep, Hrep
  • #26368: Setting up a Polyhedron from both Vrep and Hrep - for backend='polymake'
  • #27056: approximate volume of polytopes
  • #27087: CombinatorialPolyhedron?: Check input on errors
  • #27103: Further improve CombinatorialPolyhedron?: Enable SIMD-instructions
  • #27365: integration over polyhedron with induced measure
  • #27366: Polyhedron.affine_hull: more output options
  • #27447: integrate over polyhedron when function contains a log
  • #27448: compute normal vectors of surface faces of polyhedron
  • #27637: Equivariant Ehrhart Theory
  • #27728: Non-rational polytopes: Examples and constructor
  • #27744: Make pynormaliz a Feature
  • #28230: Thematic Tutorial on algebraic polytopes in Sage using Normaliz
  • #28468: Bug with Polyhedron plot when too many plots
  • #28599: RecursionError? and AssertionError? with regular_polygon
  • #28634: Comparing Latte Integrale and Normaliz for Ehrhart polynomial computation
  • #28735: Lattice Polytopes: Obtain facets directly from facet_normals
  • #28776: Coercion between algebraic polyhedra fails
  • #28866: doctest killed due to abort in geometry/polyhedron/base.py
  • #29065: Inverse function for gale_transform
  • #29176: Bug in Voronoi Diagram
  • #29196: Make Ehrhart series related function cached

See also:

  • #20875: Meta-ticket: Polytopes, lattice (integer) point counting / enumeration, and their applications
  • #22710: Meta-ticket: polymake
  • #22827: Meta-ticket: expose all normaliz features
  • ##29799: Meta-ticket: Vector spaces and algebras of polyhedra
  • #27063: Task: Transition of combinatorial computations of Polyhedron to Combinatorial Type
  • #28280: Task: CombinatorialPolyhedron?: replace attributes by methods, make names more consistent with Polyhedron
  • #28893 Task: Parallel f-vector for polyhedra
  • #29191 Task: Polytopal constructions for combinatorial polyhedra
  • #29199 Task: Set up polyhedra with both Vrep and Hrep
  • https://trac.sagemath.org/wiki/SagePolyhedralGeometry: Roadmap for Optimization and Polyhedral Geometry softwares interactions in Sage

Change History (171)

comment:1 Changed 3 years ago by jipilab

  • Keywords days84 added

comment:2 follow-up: Changed 3 years ago by tmonteil

Sould this be merged in #20875 ?

comment:3 in reply to: ↑ 2 Changed 3 years ago by jipilab

Replying to tmonteil:

Sould this be merged in #20875 ?

Hmm. At the beginning, I listed some tickets there, this is true. Then, after looking at the description of #20875, I thought that the tickets I put were not directly in the description.

I planned to extend this list and to limit it to new methods implementations.

No big opinion, I simply thought to make this ticket a specific meta-ticket.

comment:4 Changed 3 years ago by jipilab

  • Description modified (diff)

comment:5 Changed 3 years ago by jipilab

  • Description modified (diff)

comment:6 follow-up: Changed 3 years ago by novoselt

I've made some improvements to lattice polytopes recently, e.g. #22309 if you care to include it here as well.

comment:7 in reply to: ↑ 6 Changed 3 years ago by jipilab

  • Description modified (diff)

Replying to novoselt:

I've made some improvements to lattice polytopes recently, e.g. #22309 if you care to include it here as well.

Great! Thanks for the pointer!

comment:8 follow-up: Changed 3 years ago by novoselt

  • Description modified (diff)

Added 3 more tickets, a bunch of other optimizations and clean ups is almost ready but may take me a couple weeks to polish and post.

comment:9 in reply to: ↑ 8 ; follow-up: Changed 3 years ago by novoselt

  • Description modified (diff)

Managed polishing today and will stop until some kind reviewer will take a look, sorry for hijacking the ticket - I just now noticed that it is about new features ;-)

comment:10 in reply to: ↑ 9 Changed 3 years ago by jipilab

Replying to novoselt:

Managed polishing today and will stop until some kind reviewer will take a look, sorry for hijacking the ticket - I just now noticed that it is about new features ;-)

Don't worry it is good to keep track of open tickets!

Last edited 3 years ago by jipilab (previous) (diff)

comment:11 Changed 3 years ago by jipilab

  • Description modified (diff)

comment:12 Changed 3 years ago by jipilab

  • Description modified (diff)

comment:13 Changed 3 years ago by jipilab

  • Description modified (diff)

comment:14 Changed 3 years ago by jipilab

  • Description modified (diff)
  • Summary changed from Meta-ticket: Polytopes, polyhedron and their properties to Meta-ticket: Polyhedron: new features and known bugs

comment:15 Changed 3 years ago by mforets

  • Description modified (diff)

comment:16 Changed 3 years ago by jipilab

  • Description modified (diff)

comment:17 Changed 3 years ago by jipilab

  • Description modified (diff)

comment:18 Changed 3 years ago by jipilab

  • Description modified (diff)

comment:19 Changed 3 years ago by jipilab

  • Description modified (diff)

comment:20 Changed 3 years ago by mkoeppe

  • Description modified (diff)

comment:21 Changed 3 years ago by mkoeppe

  • Description modified (diff)

comment:22 Changed 3 years ago by mkoeppe

  • Description modified (diff)

comment:23 Changed 3 years ago by mkoeppe

  • Description modified (diff)

comment:24 Changed 3 years ago by jipilab

  • Description modified (diff)

comment:25 Changed 3 years ago by mkoeppe

  • Description modified (diff)
  • Milestone changed from sage-7.6 to sage-8.0

comment:26 Changed 3 years ago by jipilab

  • Description modified (diff)

comment:27 Changed 3 years ago by jipilab

  • Description modified (diff)

comment:28 Changed 3 years ago by moritz

  • Description modified (diff)

comment:29 Changed 3 years ago by jipilab

  • Description modified (diff)

comment:30 Changed 3 years ago by vdelecroix

  • Description modified (diff)

comment:31 Changed 3 years ago by vdelecroix

  • Description modified (diff)

comment:32 Changed 3 years ago by jipilab

  • Description modified (diff)

comment:33 Changed 2 years ago by jipilab

  • Description modified (diff)

comment:34 Changed 2 years ago by jipilab

  • Description modified (diff)

comment:35 Changed 2 years ago by jipilab

  • Description modified (diff)

comment:36 Changed 2 years ago by jipilab

  • Description modified (diff)

comment:37 Changed 2 years ago by jipilab

  • Description modified (diff)

comment:38 Changed 2 years ago by jipilab

  • Description modified (diff)

I cleaned the tickets that are now solved.

comment:39 Changed 2 years ago by jipilab

  • Description modified (diff)

comment:40 Changed 2 years ago by jipilab

  • Description modified (diff)

comment:41 Changed 2 years ago by jipilab

  • Description modified (diff)

comment:42 Changed 2 years ago by jipilab

  • Description modified (diff)

comment:43 Changed 2 years ago by jipilab

  • Description modified (diff)

comment:44 Changed 2 years ago by jipilab

  • Description modified (diff)

comment:45 Changed 2 years ago by jipilab

  • Description modified (diff)

comment:46 Changed 23 months ago by jipilab

  • Description modified (diff)

comment:47 Changed 22 months ago by jipilab

  • Description modified (diff)

comment:48 Changed 22 months ago by jipilab

  • Description modified (diff)

comment:49 Changed 18 months ago by jipilab

  • Description modified (diff)

comment:50 Changed 18 months ago by gh-kliem

  • Description modified (diff)

comment:51 Changed 18 months ago by gh-kliem

  • Description modified (diff)

comment:52 Changed 18 months ago by gh-kliem

  • Description modified (diff)

comment:53 Changed 18 months ago by jipilab

  • Description modified (diff)

comment:54 Changed 18 months ago by gh-kliem

  • Description modified (diff)

comment:55 Changed 18 months ago by gh-kliem

  • Description modified (diff)

comment:56 Changed 18 months ago by gh-kliem

  • Description modified (diff)

comment:57 Changed 17 months ago by gh-kliem

  • Description modified (diff)

comment:58 Changed 16 months ago by gh-LaisRast

  • Description modified (diff)

comment:59 Changed 16 months ago by gh-kliem

  • Description modified (diff)

comment:60 Changed 15 months ago by gh-kliem

  • Description modified (diff)

comment:61 Changed 15 months ago by gh-kliem

  • Description modified (diff)

comment:62 Changed 15 months ago by gh-kliem

  • Description modified (diff)

comment:63 Changed 15 months ago by gh-LaisRast

  • Description modified (diff)

comment:64 Changed 15 months ago by gh-LaisRast

  • Description modified (diff)

comment:65 Changed 15 months ago by jipilab

  • Description modified (diff)

comment:66 Changed 15 months ago by jipilab

  • Description modified (diff)

Removed another batch of tickets.

comment:67 Changed 15 months ago by jipilab

  • Description modified (diff)

comment:68 Changed 15 months ago by jipilab

  • Description modified (diff)

comment:69 Changed 15 months ago by jipilab

  • Description modified (diff)

comment:70 Changed 15 months ago by jipilab

  • Description modified (diff)

comment:71 Changed 15 months ago by jipilab

  • Description modified (diff)

comment:72 Changed 15 months ago by jipilab

  • Description modified (diff)

comment:73 Changed 15 months ago by jipilab

  • Description modified (diff)

comment:74 Changed 15 months ago by jipilab

  • Description modified (diff)

comment:75 Changed 15 months ago by jipilab

  • Description modified (diff)

comment:76 Changed 14 months ago by gh-kliem

  • Description modified (diff)

comment:77 Changed 14 months ago by jipilab

  • Description modified (diff)

comment:78 Changed 13 months ago by gh-kliem

  • Description modified (diff)

comment:79 Changed 13 months ago by jipilab

  • Description modified (diff)

comment:80 Changed 13 months ago by gh-kliem

  • Description modified (diff)

comment:81 Changed 12 months ago by jipilab

  • Description modified (diff)

comment:82 Changed 12 months ago by jipilab

  • Description modified (diff)

comment:83 Changed 12 months ago by jipilab

  • Description modified (diff)

comment:84 Changed 12 months ago by jipilab

  • Description modified (diff)

comment:85 Changed 12 months ago by jipilab

  • Description modified (diff)

comment:86 Changed 12 months ago by jipilab

  • Description modified (diff)

comment:87 Changed 12 months ago by jipilab

  • Description modified (diff)

comment:88 Changed 12 months ago by gh-LaisRast

  • Description modified (diff)

comment:89 Changed 12 months ago by jipilab

  • Description modified (diff)

comment:90 Changed 12 months ago by gh-kliem

  • Description modified (diff)

comment:91 Changed 11 months ago by jipilab

  • Description modified (diff)

I did some cleaning after the SageDays100 and version 8.9.beta7.

(See https://wiki.sagemath.org/OptiPolyGeom for a history)

comment:92 Changed 11 months ago by jipilab

  • Description modified (diff)

comment:93 Changed 11 months ago by gh-kliem

  • Description modified (diff)

comment:94 Changed 10 months ago by jipilab

  • Description modified (diff)

comment:95 Changed 10 months ago by jipilab

  • Description modified (diff)

comment:96 Changed 10 months ago by jipilab

  • Description modified (diff)

comment:97 Changed 10 months ago by jipilab

  • Description modified (diff)

comment:98 Changed 10 months ago by jipilab

  • Description modified (diff)

comment:99 Changed 10 months ago by jipilab

  • Description modified (diff)

comment:100 Changed 9 months ago by jipilab

  • Description modified (diff)

comment:101 Changed 9 months ago by gh-kliem

  • Description modified (diff)

comment:102 Changed 9 months ago by gh-kliem

  • Description modified (diff)

comment:103 Changed 9 months ago by gh-kliem

  • Description modified (diff)

comment:104 Changed 9 months ago by gh-LaisRast

  • Description modified (diff)

comment:105 Changed 9 months ago by jipilab

  • Description modified (diff)

comment:106 Changed 9 months ago by jipilab

  • Description modified (diff)

Cleaned up the tickets that got merged in sage 8.9

comment:107 Changed 9 months ago by gh-LaisRast

  • Description modified (diff)

comment:108 Changed 9 months ago by jipilab

  • Description modified (diff)

comment:109 Changed 9 months ago by jipilab

  • Description modified (diff)

comment:110 Changed 9 months ago by jipilab

  • Description modified (diff)

comment:111 Changed 9 months ago by jipilab

  • Description modified (diff)

comment:112 Changed 9 months ago by jipilab

  • Description modified (diff)

comment:113 Changed 9 months ago by gh-LaisRast

  • Description modified (diff)

comment:114 Changed 9 months ago by gh-kliem

  • Description modified (diff)

comment:115 Changed 8 months ago by jipilab

  • Description modified (diff)

comment:116 Changed 8 months ago by gh-LaisRast

  • Description modified (diff)

comment:117 Changed 8 months ago by gh-LaisRast

  • Description modified (diff)

comment:118 Changed 8 months ago by gh-kliem

  • Description modified (diff)

comment:119 Changed 8 months ago by gh-kliem

  • Description modified (diff)

comment:120 Changed 8 months ago by gh-kliem

  • Description modified (diff)

comment:121 Changed 8 months ago by gh-kliem

  • Description modified (diff)

comment:122 Changed 8 months ago by gh-kliem

  • Description modified (diff)

comment:123 Changed 8 months ago by gh-kliem

  • Description modified (diff)

comment:124 Changed 8 months ago by gh-kliem

  • Description modified (diff)

comment:125 Changed 8 months ago by gh-kliem

  • Description modified (diff)

comment:126 Changed 7 months ago by gh-kliem

  • Description modified (diff)

comment:127 Changed 7 months ago by gh-kliem

  • Description modified (diff)

comment:128 Changed 7 months ago by gh-kliem

  • Description modified (diff)

comment:129 Changed 7 months ago by gh-kliem

  • Description modified (diff)

comment:130 Changed 7 months ago by gh-kliem

  • Description modified (diff)

comment:131 Changed 7 months ago by gh-kliem

  • Description modified (diff)

comment:132 Changed 7 months ago by gh-kliem

  • Description modified (diff)

comment:133 Changed 7 months ago by gh-kliem

  • Description modified (diff)

comment:134 Changed 7 months ago by gh-kliem

  • Description modified (diff)

comment:135 Changed 6 months ago by gh-kliem

  • Description modified (diff)

comment:136 Changed 6 months ago by gh-kliem

  • Description modified (diff)

comment:137 Changed 6 months ago by gh-LaisRast

  • Description modified (diff)

comment:138 Changed 6 months ago by gh-kliem

  • Description modified (diff)

comment:139 Changed 6 months ago by gh-kliem

  • Description modified (diff)

comment:140 Changed 6 months ago by gh-kliem

  • Description modified (diff)

comment:141 Changed 6 months ago by gh-kliem

  • Description modified (diff)

comment:142 Changed 5 months ago by gh-kliem

  • Description modified (diff)

comment:143 Changed 5 months ago by gh-LaisRast

  • Description modified (diff)

comment:144 Changed 5 months ago by gh-kliem

  • Description modified (diff)

comment:145 Changed 5 months ago by gh-kliem

  • Description modified (diff)

comment:146 Changed 5 months ago by jipilab

  • Description modified (diff)

comment:147 Changed 5 months ago by jipilab

  • Description modified (diff)

Cleaned-up from 9.0. See https://wiki.sagemath.org/OptiPolyGeom for more details.

comment:148 Changed 5 months ago by jipilab

  • Description modified (diff)

comment:149 Changed 5 months ago by jipilab

  • Description modified (diff)

Cleaned some 9.1 tickets.

comment:150 Changed 5 months ago by gh-kliem

  • Description modified (diff)

Thanks for cleaning.

comment:151 Changed 5 months ago by jipilab

  • Description modified (diff)

comment:152 Changed 5 months ago by gh-kliem

  • Description modified (diff)

comment:153 Changed 5 months ago by jipilab

  • Description modified (diff)
  • Milestone changed from sage-8.0 to sage-wishlist

comment:154 Changed 5 months ago by gh-kliem

  • Description modified (diff)

comment:155 Changed 5 months ago by jipilab

  • Description modified (diff)

comment:156 Changed 5 months ago by gh-kliem

  • Description modified (diff)

comment:157 Changed 5 months ago by gh-kliem

  • Description modified (diff)

comment:158 Changed 4 months ago by jipilab

  • Description modified (diff)

comment:159 Changed 4 months ago by jipilab

  • Description modified (diff)

comment:160 Changed 4 months ago by jipilab

  • Description modified (diff)

comment:161 Changed 4 months ago by gh-kliem

  • Description modified (diff)

comment:162 Changed 4 months ago by gh-kliem

  • Description modified (diff)

comment:163 Changed 3 months ago by gh-LaisRast

  • Description modified (diff)

comment:164 follow-ups: Changed 3 months ago by mkoeppe

Would someone be interested in writing a high-level section on polyhedral stuff for https://wiki.sagemath.org/ReleaseTours/sage-9.1?

comment:165 Changed 3 months ago by gh-kliem

  • Description modified (diff)

comment:166 in reply to: ↑ 164 ; follow-up: Changed 3 months ago by gh-kliem

Replying to mkoeppe:

Would someone be interested in writing a high-level section on polyhedral stuff for https://wiki.sagemath.org/ReleaseTours/sage-9.1?

I did that. Anyone revision or improvement is welcome.

comment:167 in reply to: ↑ 164 ; follow-up: Changed 3 months ago by jipilab

Replying to mkoeppe:

Would someone be interested in writing a high-level section on polyhedral stuff for https://wiki.sagemath.org/ReleaseTours/sage-9.1?

Very good revival (there used to be longer release notes... centuries ago)!

I'll have a look at what Jonathan did and add a few things. Perhaps it would be worth doing it for 9.0, for the sake of completeness and encouragement for people to do it too!

comment:168 in reply to: ↑ 166 Changed 3 months ago by mkoeppe

Replying to gh-kliem:

Replying to mkoeppe:

Would someone be interested in writing a high-level section on polyhedral stuff for https://wiki.sagemath.org/ReleaseTours/sage-9.1?

I did that. Anyone revision or improvement is welcome.

Thanks very much! Looking great.

comment:169 in reply to: ↑ 167 ; follow-up: Changed 3 months ago by mkoeppe

Replying to jipilab:

Perhaps it would be worth doing it for 9.0, for the sake of completeness and encouragement for people to do it too!

Yes, I think this would be valuable too.

comment:170 in reply to: ↑ 169 Changed 3 months ago by gh-kliem

Done. As before revision and/or improvements are welcome. Now the release note for 9.0 are almost only about polyhedral geometry, but at least they don't look as sad anymore. And maybe people get the idea that if there are that many changes just in polyhedral geometry than a lot of work has been done.

Replying to mkoeppe:

Replying to jipilab:

Perhaps it would be worth doing it for 9.0, for the sake of completeness and encouragement for people to do it too!

Yes, I think this would be valuable too.

comment:171 Changed 5 weeks ago by mkoeppe

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