Changes between Version 70 and Version 92 of Ticket #25097


Ignore:
Timestamp:
04/25/19 15:39:50 (2 years ago)
Author:
mkoeppe
Comment:

Ready for review. Builds and tests OK on macOS Mojave.

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #25097

    • Property Summary changed from Algebraic polyhedra with QNormaliz / e-antic to Algebraic polyhedra with Normaliz / e-antic
    • Property Dependencies changed from #20181, #27682 to #27716, #26340, #27682, #20181
    • Property Commit changed from bd3c990559c1531ecf14d98ba7b009d26504a05e to 24a87469967c0d47967c5214e2256cae7147b00b
  • Ticket #25097 – Description

    v70 v92  
     1Implements polyhedra over embedded algebraic number fields.
     2
    13- Preliminary setup within sage: install e-antic, upgrade normaliz/pynormaliz (see #27682)
    24
    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:
    66{{{
    77        sage: x = polygen(ZZ); P = Polyhedron(vertices=[[sqrt(2)], [AA.polynomial_root(x^3-2, RIF(0,3))]], backend='normaliz')
    88}}}
    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`.