id,summary,reporter,owner,description,type,status,priority,milestone,component,resolution,keywords,cc,merged,author,reviewer,upstream,work_issues,branch,commit,dependencies,stopgaps
25097,Algebraic polyhedra with Normaliz / e-antic,mkoeppe,,"Implements polyhedra over embedded algebraic number fields.
- Preliminary setup within sage: install e-antic, upgrade normaliz/pynormaliz (see #27682)
- the input is allowed to come from various fields, which will be coerced to a number field first via #20181:
{{{
sage: x = polygen(ZZ); P = Polyhedron(vertices=[[sqrt(2)], [AA.polynomial_root(x^3-2, RIF(0,3))]], backend='normaliz')
}}}
- See doctests in `src/sage/geometry/polyhedron/backend_normaliz.py` and `src/sage/geometry/polyhedron/library.py`
- For debugging help, we can write out Normaliz input files and PyNormaliz function calls as a side effect by passing `verbose=True`. ",enhancement,closed,major,sage-8.9,geometry,fixed,IMA-PolyGeom,Winfried vdelecroix jipilab gh-sebasguts tmonteil moritz,,Matthias Koeppe,"Vincent Delecroix, Jean-Philippe Labbé",N/A,,f94bf376ea7c391fd779587968738af23c486b07,f94bf376ea7c391fd779587968738af23c486b07,"#25091, #27731, #27965",