Changes between Version 9 and Version 10 of Ticket #25097


Ignore:
Timestamp:
04/04/18 23:24:03 (4 years ago)
Author:
mkoeppe
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #25097 – Description

    v9 v10  
     1'''Normaliz side of things:'''
     2 - clone from https://github.com/mkoeppe/Normaliz/tree/enfnormaliz2018
     3 - run script `install_normaliz_with_opt.sh` to install FLINT, ARB, ANTIC (unreleased), E-ANTIC (unreleased)
     4 - then can test with `Qsource/Qnormaliz Qtest/test-nf/dodecahedron-v.in && cat Qtest/test-nf/dodecahedron-v.out`
     5
     6'''Sage side of things:'''
     7
    18As a first step, we make it possible to write Normaliz output files while setting up a polyhedron over a numberfield. (#25090 added writing Normaliz output files in the rational case.)
    29{{{