Differences between revisions 7 and 8
Revision 7 as of 2018-04-12 21:56:09
Size: 7297
Editor: jipilab
Revision 8 as of 2018-04-12 21:56:50
Size: 7386
Editor: jipilab
Deletions are marked like this. Additions are marked like this.
Line 60: Line 60:
 * `number_field_elements_from_algebraics` should create embedded number field elements [[https://trac.sagemath.org/ticket/20181|#20181]]  * `number_field_elements_from_algebraics` should create embedded number field elements [[https://trac.sagemath.org/ticket/20181|#20181]] [[https://groups.google.com/forum/#!topic/sage-devel/iy72Q_EKKFs|Sage-devel discussion]]

A Roadmap for Optimization and Polyhedral Geometry softwares interactions

(around Sage, (PyQ)Normaliz, SCIP, e-antic, Polymake, and others)

This page is intended to describe the current status of development of Sage related to optimization and polyhedral geometry.

Future & Current Projects

  • Extend the usage of Normaliz in Sage
  • Extend the polyhedral geometry component of sage
  • Polyhedral arrangements and complexes


Sage Days 84 on Polytopes in Olot


Here are some practical lists of tickets:

Tickets from the Sage Days 84 March 2017

Tickets from the IMA Coding Sprint - April 2018

Tickets with keyword polytope

Current tickets of the Geometry component


There are already a few meta-tickets related to this topic:

To do

  • Test the algebraic polytopes #25097

  • Make Polyhedron_normaliz accept algebraic stuff, related to #25097 (adapt _init_from_Hrepresentation)

  • Add known irrational polytope to the library of polytopes
  • repr of NumberFields (the parents) should indicate its embedding if there is one #21161 (this ticket will help in debugging and have good feedback)

  • Thematic Tutorial for Py(Q)Normaliz installation/Usage in Sage
  • Increase documentation in Py(Q)Normaliz
  • Deprecate the opacity argument for plot3d and use alpha #21984

  • Make Ehrhart (quasi)polynomial accessible through normaliz (and consisten with the current one) #18957

Progress Report Timeline

April 2018


Here are improvements realized to objects related to polyhedron in Sage:

  • Thematic tutorial on polyhedron in Sage #22572

  • Make features of normaliz accessible #25091

  • number_field_elements_from_algebraics should create embedded number field elements #20181 Sage-devel discussion

  • Helper functions in the normaliz backend
  • Change error message in construction of polyhedron object #24835

  • Improve the output of repr_pretty for Polyhedron #24837

  • Implement stacking onto a face of a polyhedron #24847

  • Implement join of polytopes #24848

  • Implement one point suspension and face split of polyhedron #24886

  • The polar of a polyhedron should carry the backend used #25081

  • Construct RationalPolyhedralFan from possibly overlapping cones #25122

  • polygon3d ignores the "alpha" (and equivalent "opacity") argument #25095




https://pypi.python.org/pypi/PyNormaliz https://github.com/Normaliz/PyNormaliz



Sage devel discussion

  • Upgrade scipoptsuite to 5.0.1 #24662

  • Add SCIP backend using PySCIPOpt #21003



  • Upgrade polymake to version 3.2r2 (current interface breaks) #24905

A list of other Polyhedral Geometry softwares

What are other softwares dealing with polyhedral geometry? Here is a non-exhaustive list.

OptiPolyGeom (last edited 2020-09-13 16:43:51 by mathzeta2)