Changes between Version 45 and Version 49 of Ticket #25097


Ignore:
Timestamp:
09/19/18 12:52:56 (3 years ago)
Author:
mkoeppe
Comment:
sage: x = polygen(ZZ); P = Polyhedron(vertices=[[sqrt(2)], [AA.polynomial_root(x^3-2, RIF(0,3))]], backend='normaliz', ver
....: bose=True)
# ----8<---- Equivalent QNormaliz input file ---8<----
amb_space 1
subspace 0
vertices 2
 (a^3) 1
 (a^2) 1
number_field min_poly (a^6 - 2) embedding [1.122462048309373 +/- 5.38e-16]
cone 0
# ----8<-------------------8<-------------------8<----
# Calling PyQNormaliz_cpp.NmzCone(**{'subspace': [], 'vertices': [[[[0L, 1L], [0L, 1L], [0L, 1L], [1L, 1L], [0L, 1L], [0L, 1L]], 1L], [[[0L, 1L], [0L, 1L], [1L, 1L], [0L, 1L], [0L, 1L], [0L, 1L]], 1L]], 'number_field': 'min_poly (a^6 - 2) embedding [1.122462048309373 +/- 5.38e-16]', 'cone': []})
------------------------------------------------------------------------
(no backtrace available)
------------------------------------------------------------------------
Unhandled SIGSEGV: A segmentation fault occurred.
This probably occurred because a *compiled* module has a bug
in it and is not properly wrapped with sig_on(), sig_off().
Python will now terminate.
------------------------------------------------------------------------
Segmentation fault: 11

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #25097

    • Property Commit changed from 855391c03c327144d78c8a3dd7258e112c182c59 to e34e10b8310ed9fa511a8c0f9d592da8d3785d0b
  • Ticket #25097 – Description

    v45 v49  
    4747  (Result of discussion of mkoeppe, jipilab:) `Polyhedron_normaliz` should accept `AA`, `CyclotomicField`, etc. input and use these as a `base_ring`. When preparing data for `PyQNormaliz`, use `number_field_elements_from_algebraics`. When reading data from `PyQNormaliz`, first build number field elements, then inject into the correct `base_ring`.
    4848
    49 '''To do on the Sage Python side:'''
    50  - Read results from PyQNormaliz.
    51  (Result of discussion of mkoeppe, gh-sebasguts): `PyQNormaliz`... use strings to transport arbs and lists for everything else. We do not use `sage.libs.arb` etc. so we can keep PyQNormaliz standalone.
    52 
    5349'''To do on the Sage build scripts side:'''
    5450 - Right now this installs an incompatible unreleased version of FLINT directly from git into `${SAGE_LOCAL}/enfnormaliz`. This needs to be normalized (see #25171).