Opened 5 years ago

Last modified 16 months 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:

Status badges

Description (last modified by jipilab)

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
  • #28776: Coercion between algebraic polyhedra fails

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
  • #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 (172)

comment:1 Changed 5 years ago by jipilab

  • Keywords days84 added

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

Sould this be merged in #20875 ?

comment:3 in reply to: ↑ 2 Changed 5 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 5 years ago by jipilab

  • Description modified (diff)

comment:5 Changed 5 years ago by jipilab

  • Description modified (diff)

comment:6 follow-up: Changed 5 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 5 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 5 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 5 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 5 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 5 years ago by jipilab (previous) (diff)

comment:11 Changed 5 years ago by jipilab

  • Description modified (diff)

comment:12 Changed 5 years ago by jipilab

  • Description modified (diff)

comment:13 Changed 5 years ago by jipilab

  • Description modified (diff)

comment:14 Changed 5 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 5 years ago by mforets

  • Description modified (diff)

comment:16 Changed 5 years ago by jipilab

  • Description modified (diff)

comment:17 Changed 5 years ago by jipilab

  • Description modified (diff)

comment:18 Changed 5 years ago by jipilab

  • Description modified (diff)

comment:19 Changed 5 years ago by jipilab

  • Description modified (diff)

comment:20 Changed 5 years ago by mkoeppe

  • Description modified (diff)

comment:21 Changed 5 years ago by mkoeppe

  • Description modified (diff)

comment:22 Changed 5 years ago by mkoeppe

  • Description modified (diff)

comment:23 Changed 5 years ago by mkoeppe

  • Description modified (diff)

comment:24 Changed 5 years ago by jipilab

  • Description modified (diff)

comment:25 Changed 5 years ago by mkoeppe

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

comment:26 Changed 5 years ago by jipilab

  • Description modified (diff)

comment:27 Changed 5 years ago by jipilab

  • Description modified (diff)

comment:28 Changed 4 years ago by moritz

  • Description modified (diff)

comment:29 Changed 4 years ago by jipilab

  • Description modified (diff)

comment:30 Changed 4 years ago by vdelecroix

  • Description modified (diff)

comment:31 Changed 4 years ago by vdelecroix

  • Description modified (diff)

comment:32 Changed 4 years ago by jipilab

  • Description modified (diff)

comment:33 Changed 4 years ago by jipilab

  • Description modified (diff)

comment:34 Changed 4 years ago by jipilab

  • Description modified (diff)

comment:35 Changed 4 years ago by jipilab

  • Description modified (diff)

comment:36 Changed 4 years ago by jipilab

  • Description modified (diff)

comment:37 Changed 4 years ago by jipilab

  • Description modified (diff)

comment:38 Changed 4 years ago by jipilab

  • Description modified (diff)

I cleaned the tickets that are now solved.

comment:39 Changed 4 years ago by jipilab

  • Description modified (diff)

comment:40 Changed 4 years ago by jipilab

  • Description modified (diff)

comment:41 Changed 4 years ago by jipilab

  • Description modified (diff)

comment:42 Changed 4 years ago by jipilab

  • Description modified (diff)

comment:43 Changed 3 years ago by jipilab

  • Description modified (diff)

comment:44 Changed 3 years ago by jipilab

  • Description modified (diff)

comment:45 Changed 3 years ago by jipilab

  • Description modified (diff)

comment:46 Changed 3 years ago by jipilab

  • Description modified (diff)

comment:47 Changed 3 years ago by jipilab

  • Description modified (diff)

comment:48 Changed 3 years ago by jipilab

  • Description modified (diff)

comment:49 Changed 3 years ago by jipilab

  • Description modified (diff)

comment:50 Changed 3 years ago by gh-kliem

  • Description modified (diff)

comment:51 Changed 3 years ago by gh-kliem

  • Description modified (diff)

comment:52 Changed 3 years ago by gh-kliem

  • Description modified (diff)

comment:53 Changed 3 years ago by jipilab

  • Description modified (diff)

comment:54 Changed 3 years ago by gh-kliem

  • Description modified (diff)

comment:55 Changed 3 years ago by gh-kliem

  • Description modified (diff)

comment:56 Changed 3 years ago by gh-kliem

  • Description modified (diff)

comment:57 Changed 3 years ago by gh-kliem

  • Description modified (diff)

comment:58 Changed 3 years ago by gh-LaisRast

  • Description modified (diff)

comment:59 Changed 3 years ago by gh-kliem

  • Description modified (diff)

comment:60 Changed 3 years ago by gh-kliem

  • Description modified (diff)

comment:61 Changed 3 years ago by gh-kliem

  • Description modified (diff)

comment:62 Changed 3 years ago by gh-kliem

  • Description modified (diff)

comment:63 Changed 3 years ago by gh-LaisRast

  • Description modified (diff)

comment:64 Changed 3 years ago by gh-LaisRast

  • Description modified (diff)

comment:65 Changed 3 years ago by jipilab

  • Description modified (diff)

comment:66 Changed 3 years ago by jipilab

  • Description modified (diff)

Removed another batch of tickets.

comment:67 Changed 3 years ago by jipilab

  • Description modified (diff)

comment:68 Changed 3 years ago by jipilab

  • Description modified (diff)

comment:69 Changed 3 years ago by jipilab

  • Description modified (diff)

comment:70 Changed 3 years ago by jipilab

  • Description modified (diff)

comment:71 Changed 3 years ago by jipilab

  • Description modified (diff)

comment:72 Changed 3 years ago by jipilab

  • Description modified (diff)

comment:73 Changed 3 years ago by jipilab

  • Description modified (diff)

comment:74 Changed 3 years ago by jipilab

  • Description modified (diff)

comment:75 Changed 3 years ago by jipilab

  • Description modified (diff)

comment:76 Changed 3 years ago by gh-kliem

  • Description modified (diff)

comment:77 Changed 3 years ago by jipilab

  • Description modified (diff)

comment:78 Changed 2 years ago by gh-kliem

  • Description modified (diff)

comment:79 Changed 2 years ago by jipilab

  • Description modified (diff)

comment:80 Changed 2 years ago by gh-kliem

  • Description modified (diff)

comment:81 Changed 2 years ago by jipilab

  • Description modified (diff)

comment:82 Changed 2 years ago by jipilab

  • Description modified (diff)

comment:83 Changed 2 years ago by jipilab

  • Description modified (diff)

comment:84 Changed 2 years ago by jipilab

  • Description modified (diff)

comment:85 Changed 2 years ago by jipilab

  • Description modified (diff)

comment:86 Changed 2 years ago by jipilab

  • Description modified (diff)

comment:87 Changed 2 years ago by jipilab

  • Description modified (diff)

comment:88 Changed 2 years ago by gh-LaisRast

  • Description modified (diff)

comment:89 Changed 2 years ago by jipilab

  • Description modified (diff)

comment:90 Changed 2 years ago by gh-kliem

  • Description modified (diff)

comment:91 Changed 2 years 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 2 years ago by jipilab

  • Description modified (diff)

comment:93 Changed 2 years ago by gh-kliem

  • Description modified (diff)

comment:94 Changed 2 years ago by jipilab

  • Description modified (diff)

comment:95 Changed 2 years ago by jipilab

  • Description modified (diff)

comment:96 Changed 2 years ago by jipilab

  • Description modified (diff)

comment:97 Changed 2 years ago by jipilab

  • Description modified (diff)

comment:98 Changed 2 years ago by jipilab

  • Description modified (diff)

comment:99 Changed 2 years ago by jipilab

  • Description modified (diff)

comment:100 Changed 2 years ago by jipilab

  • Description modified (diff)

comment:101 Changed 2 years ago by gh-kliem

  • Description modified (diff)

comment:102 Changed 2 years ago by gh-kliem

  • Description modified (diff)

comment:103 Changed 2 years ago by gh-kliem

  • Description modified (diff)

comment:104 Changed 2 years ago by gh-LaisRast

  • Description modified (diff)

comment:105 Changed 2 years ago by jipilab

  • Description modified (diff)

comment:106 Changed 2 years ago by jipilab

  • Description modified (diff)

Cleaned up the tickets that got merged in sage 8.9

comment:107 Changed 2 years ago by gh-LaisRast

  • Description modified (diff)

comment:108 Changed 2 years ago by jipilab

  • Description modified (diff)

comment:109 Changed 2 years ago by jipilab

  • Description modified (diff)

comment:110 Changed 2 years ago by jipilab

  • Description modified (diff)

comment:111 Changed 2 years ago by jipilab

  • Description modified (diff)

comment:112 Changed 2 years ago by jipilab

  • Description modified (diff)

comment:113 Changed 2 years ago by gh-LaisRast

  • Description modified (diff)

comment:114 Changed 2 years ago by gh-kliem

  • Description modified (diff)

comment:115 Changed 2 years ago by jipilab

  • Description modified (diff)

comment:116 Changed 2 years ago by gh-LaisRast

  • Description modified (diff)

comment:117 Changed 2 years ago by gh-LaisRast

  • Description modified (diff)

comment:118 Changed 2 years ago by gh-kliem

  • Description modified (diff)

comment:119 Changed 2 years ago by gh-kliem

  • Description modified (diff)

comment:120 Changed 2 years ago by gh-kliem

  • Description modified (diff)

comment:121 Changed 2 years ago by gh-kliem

  • Description modified (diff)

comment:122 Changed 2 years ago by gh-kliem

  • Description modified (diff)

comment:123 Changed 2 years ago by gh-kliem

  • Description modified (diff)

comment:124 Changed 2 years ago by gh-kliem

  • Description modified (diff)

comment:125 Changed 2 years ago by gh-kliem

  • Description modified (diff)

comment:126 Changed 2 years ago by gh-kliem

  • Description modified (diff)

comment:127 Changed 2 years ago by gh-kliem

  • Description modified (diff)

comment:128 Changed 2 years ago by gh-kliem

  • Description modified (diff)

comment:129 Changed 2 years ago by gh-kliem

  • Description modified (diff)

comment:130 Changed 2 years ago by gh-kliem

  • Description modified (diff)

comment:131 Changed 2 years ago by gh-kliem

  • Description modified (diff)

comment:132 Changed 2 years ago by gh-kliem

  • Description modified (diff)

comment:133 Changed 2 years ago by gh-kliem

  • Description modified (diff)

comment:134 Changed 2 years ago by gh-kliem

  • Description modified (diff)

comment:135 Changed 2 years ago by gh-kliem

  • Description modified (diff)

comment:136 Changed 23 months ago by gh-kliem

  • Description modified (diff)

comment:137 Changed 23 months ago by gh-LaisRast

  • Description modified (diff)

comment:138 Changed 23 months ago by gh-kliem

  • Description modified (diff)

comment:139 Changed 23 months ago by gh-kliem

  • Description modified (diff)

comment:140 Changed 23 months ago by gh-kliem

  • Description modified (diff)

comment:141 Changed 22 months ago by gh-kliem

  • Description modified (diff)

comment:142 Changed 22 months ago by gh-kliem

  • Description modified (diff)

comment:143 Changed 22 months ago by gh-LaisRast

  • Description modified (diff)

comment:144 Changed 22 months ago by gh-kliem

  • Description modified (diff)

comment:145 Changed 22 months ago by gh-kliem

  • Description modified (diff)

comment:146 Changed 22 months ago by jipilab

  • Description modified (diff)

comment:147 Changed 22 months ago by jipilab

  • Description modified (diff)

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

comment:148 Changed 22 months ago by jipilab

  • Description modified (diff)

comment:149 Changed 22 months ago by jipilab

  • Description modified (diff)

Cleaned some 9.1 tickets.

comment:150 Changed 22 months ago by gh-kliem

  • Description modified (diff)

Thanks for cleaning.

comment:151 Changed 22 months ago by jipilab

  • Description modified (diff)

comment:152 Changed 22 months ago by gh-kliem

  • Description modified (diff)

comment:153 Changed 22 months ago by jipilab

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

comment:154 Changed 22 months ago by gh-kliem

  • Description modified (diff)

comment:155 Changed 22 months ago by jipilab

  • Description modified (diff)

comment:156 Changed 22 months ago by gh-kliem

  • Description modified (diff)

comment:157 Changed 22 months ago by gh-kliem

  • Description modified (diff)

comment:158 Changed 21 months ago by jipilab

  • Description modified (diff)

comment:159 Changed 21 months ago by jipilab

  • Description modified (diff)

comment:160 Changed 21 months ago by jipilab

  • Description modified (diff)

comment:161 Changed 21 months ago by gh-kliem

  • Description modified (diff)

comment:162 Changed 21 months ago by gh-kliem

  • Description modified (diff)

comment:163 Changed 20 months ago by gh-LaisRast

  • Description modified (diff)

comment:164 follow-ups: Changed 20 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 20 months ago by gh-kliem

  • Description modified (diff)

comment:166 in reply to: ↑ 164 ; follow-up: Changed 20 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 20 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 20 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 20 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 20 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 18 months ago by mkoeppe

  • Description modified (diff)

comment:172 Changed 16 months ago by jipilab

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