Differences between revisions 1 and 11 (spanning 10 versions)

# 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

## Tickets

Here are some practical lists of tickets:

## Meta-tickets

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

#### Sage

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 and improvements in the normaliz backend #25097

• 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

• Update normaliz 3.5.3 and pynormaliz 1.12 in Sage. Now Positive review. #22984

• PolyhedralComplex: preliminary implementation, see #20877

#### (Q)Normaliz

• Upgrade normaliz to 3.5.3 and pynormaliz to 1.12 #22984: repair of performance loss

• Upgrade normaliz to 3.5.4 and pynormaliz to 1.16 #25090: Ehrhart series and triangulation of polytope also for inhomogeneous input

• Algebraic polytopes in Qnormaliz using e-antic #25097: convex hull computation completed, improvement of Qnormaliz input and output, control of interrupts and parallelization via libQnormaliz

• fixed: getProjectionCone might segfault https://github.com/Normaliz/Normaliz/issues/180

• Unified getter https://github.com/Normaliz/Normaliz/pull/182available for interfaces (return of results by type instead of computation goal)

#### PyScipOpt

Sage devel discussion

• Upgrade scipoptsuite to 5.0.1 #24662

• Add SCIP backend using PySCIPOpt #21003

#### Polymake

• 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)