Changes between Version 70 and Version 92 of Ticket #25097
 Timestamp:
 04/25/19 15:39:50 (2 years ago)
Legend:
 Unmodified
 Added
 Removed
 Modified

Ticket #25097

Property
Summary
changed from
Algebraic polyhedra with QNormaliz / eantic
toAlgebraic polyhedra with Normaliz / eantic

Property
Dependencies
changed from
#20181, #27682
to#27716, #26340, #27682, #20181

Property
Commit
changed from
bd3c990559c1531ecf14d98ba7b009d26504a05e
to24a87469967c0d47967c5214e2256cae7147b00b

Property
Summary
changed from

Ticket #25097 – Description
v70 v92 1 Implements polyhedra over embedded algebraic number fields. 2 1 3  Preliminary setup within sage: install eantic, upgrade normaliz/pynormaliz (see #27682) 2 4 3  Things that did work in sage (at commit bd3c990): 4  Setting up a polyhedron over a number field. 5  Likewise with input from various fields, which will be coerced to a number field first via #20181: 5  the input is allowed to come from various fields, which will be coerced to a number field first via #20181: 6 6 {{{ 7 7 sage: x = polygen(ZZ); P = Polyhedron(vertices=[[sqrt(2)], [AA.polynomial_root(x^32, RIF(0,3))]], backend='normaliz') 8 8 }}} 9  See doctests in `src/sage/geometry/polyhedron/backend_normaliz.py` and `src/sage/geometry/polyhedron/library.py` 10  Writing a QNormaliz input file as a side effect by passing `verbose=True`. (#25090 added writing Normaliz output files in the rational case.) 9 10  See doctests in `src/sage/geometry/polyhedron/backend_normaliz.py` and `src/sage/geometry/polyhedron/library.py` 11 12  For debugging help, we can write out Normaliz input files and PyNormaliz function calls as a side effect by passing `verbose=True`.