Opened 4 years ago

Last modified 2 years ago

#25097 closed enhancement

Algebraic polyhedra with QNormaliz / e-antic — at Version 70

Reported by: mkoeppe Owned by:
Priority: major Milestone: sage-8.9
Component: geometry Keywords: IMA-PolyGeom
Cc: Winfried, vdelecroix, jipilab, gh-sebasguts, tmonteil, moritz Merged in:
Authors: Matthias Koeppe Reviewers:
Report Upstream: N/A Work issues:
Branch: public/25097/qnormaliz-algebraic (Commits, GitHub, GitLab) Commit: bd3c990559c1531ecf14d98ba7b009d26504a05e
Dependencies: #20181, #27682 Stopgaps:

Status badges

Description (last modified by vdelecroix)

  • Preliminary setup within sage: install e-antic, upgrade normaliz/pynormaliz (see #27682)
  • Things that did work in sage (at commit bd3c990):
    • Setting up a polyhedron over a number field.
    • Likewise with input 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
    • Writing a QNormaliz input file as a side effect by passing verbose=True. (#25090 added writing Normaliz output files in the rational case.)

Change History (70)

comment:1 Changed 4 years ago by vdelecroix

prerequisite: package antic (that has no release yet).

comment:2 Changed 4 years ago by tmonteil

  • Cc tmonteil added

comment:3 Changed 4 years ago by jipilab

  • Cc moritz added

comment:4 Changed 4 years ago by mkoeppe

  • Branch set to u/mkoeppe/qnormaliz-algebraic

comment:5 Changed 4 years ago by mkoeppe

  • Branch changed from u/mkoeppe/qnormaliz-algebraic to public/25097/qnormaliz-algebraic

comment:6 Changed 4 years ago by mkoeppe

  • Commit set to ea7a6b83b235f76a0c98930d9d1aa42991ed6d7d
  • Dependencies set to #25090
  • Description modified (diff)

Last 10 new commits:

117e428Upgrade normaliz to 3.5.3
7057ef4Merge branch to get docstring adaptation
b6ae686Merge branch 'develop' of git://trac.sagemath.org/sage into t/25090/pynormaliz2
eaedcc2Update PyNormaliz to 1.14
4dbdc7dUpdated the Cone calls format
1dcef4c_init_from_normaliz_data: New, use it in _init_from_*representation
fcd8101Updated pynormaliz to 1.15
19d8539Polyhedron_normaliz: In verbose mode, write out normaliz format files
4cfcd14_normaliz_format: Fix last change
ea7a6b8Polyhedron_normaliz: Prepare classes for work over field extensions

comment:7 Changed 4 years ago by mkoeppe

  • Description modified (diff)

comment:8 follow-up: Changed 4 years ago by mkoeppe

Could someone who has worked on / has opinions on the Polyhedron constructor code help here?

What should we do for polyhedra over AA such as the following:

sage: P = polytopes.regular_polygon(3)
sage: P.base_ring()
Algebraic Real Field

If backend=normaliz is requested, should we cast to the appropriate number field via #20181? Or should it be an error?

comment:9 Changed 4 years ago by mkoeppe

  • Description modified (diff)

comment:10 Changed 4 years ago by mkoeppe

  • Description modified (diff)

comment:11 Changed 4 years ago by mkoeppe

  • Description modified (diff)

comment:12 Changed 4 years ago by mkoeppe

  • Description modified (diff)

comment:13 Changed 4 years ago by jipilab

  • Dependencies changed from #25090 to #25090, #20181

comment:14 in reply to: ↑ 8 Changed 4 years ago by jipilab

What should we do for polyhedra over AA such as the following:

sage: P = polytopes.regular_polygon(3)
sage: P.base_ring()
Algebraic Real Field

If backend=normaliz is requested, should we cast to the appropriate number field via #20181? Or should it be an error?

I would say the cleanest thing to do once #20181 is done will be to use it! This probably will also simplify the constructor for field.

comment:15 Changed 4 years ago by git

  • Commit changed from ea7a6b83b235f76a0c98930d9d1aa42991ed6d7d to 13d27d4d037d6009c4f0f503d42a71a76aeacb78

Branch pushed to git repo; I updated commit sha1. New commits:

26dc3e4Added option for embedded NumberField
db778eeMade it possible to deal with complex number fields
13d27d4Merge remote-tracking branch 'trac/public/algnum_to_numberfield' into t/25097/public/25097/qnormaliz-algebraic

comment:16 Changed 4 years ago by git

  • Commit changed from 13d27d4d037d6009c4f0f503d42a71a76aeacb78 to 5af97b3d83e504ee9b5d50d9e7e14b737c0cf73f

Branch pushed to git repo; I updated commit sha1. New commits:

5af97b3Polyhedron_normaliz: Separate constructors for QQ, general fields (no cnaceling)

comment:17 Changed 4 years ago by mkoeppe

  • Description modified (diff)

comment:18 Changed 4 years ago by mkoeppe

I put some preliminary code in to do the coercion to number fields inside the Polyhedron_normaliz implementation, using number_field_elements_from_algebraics.

comment:19 Changed 4 years ago by git

  • Commit changed from 5af97b3d83e504ee9b5d50d9e7e14b737c0cf73f to d2aee02648bb870af22bd24f910f786275bd807b

Branch pushed to git repo; I updated commit sha1. New commits:

0f325c0Polyhedron: Allow SR input for normaliz
aa22d44Polyhedron_normaliz._nmz_result: New, use it instead of directly calling PyNormaliz.NmzResult
7e4f1acPolyhedron_normaliz: _init_from_Vrepresentation: Coerce to numberfield
0ba9f6bPolyhedron_normaliz: Pass number field to QNormaliz
d2aee02_init_from_normaliz_data: Separate implementations for QNormaliz, Normaliz

comment:20 Changed 4 years ago by git

  • Commit changed from d2aee02648bb870af22bd24f910f786275bd807b to 01d7cfc32446240c45371484acd6c12f625ca289

Branch pushed to git repo; I updated commit sha1. New commits:

2bb8958_number_field_elements_from_algebraics_list_of_lists: New, refactor Polyhedron_normaliz using it
a9045bfAdded tests and made them pass
09df646Merge remote-tracking branch 'trac/public/algnum_to_numberfield' into t/25097/public/25097/qnormaliz-algebraic
01d7cfclists of lists of lists of algebraic numbers, actually

comment:21 Changed 4 years ago by git

  • Commit changed from 01d7cfc32446240c45371484acd6c12f625ca289 to d7ecb03da0437d90e76f77642aef94376a4aa619

Branch pushed to git repo; I updated commit sha1. New commits:

d7ecb03Temporary build scripts for normaliz, pynormaliz, pyqnormaliz

comment:22 Changed 4 years ago by mkoeppe

  • Description modified (diff)

comment:23 Changed 4 years ago by mkoeppe

  • Keywords IMA-PolyGeom added

comment:24 Changed 4 years ago by mkoeppe

  • Description modified (diff)

comment:25 Changed 4 years ago by git

  • Commit changed from d7ecb03da0437d90e76f77642aef94376a4aa619 to 79bda61224ade0f7003b17e6539c2c2f4ce451f8

Branch pushed to git repo; I updated commit sha1. New commits:

8f675adAdd pyqnormaliz
79bda61Polyhedron_normaliz: Update for pyqnormaliz

comment:26 follow-up: Changed 4 years ago by jipilab

A note: I am trying out the method in the ticket description and I get a ImportError: No module named PyQNormaliz_cpp when I try with an example.

What should I do?

comment:27 in reply to: ↑ 26 ; follow-up: Changed 4 years ago by jipilab

Replying to jipilab:

A note: I am trying out the method in the ticket description and I get a ImportError: No module named PyQNormaliz_cpp when I try with an example.

What should I do?

Coming from the installation of normaliz through sage:

[normaliz] Installing ARB...
[normaliz] curl: (1) Protocol "https" not supported or disabled in libcurl
Makefile:2080: recipe for target 'normaliz' failed
make[1]: *** [normaliz] Error 1
make[1]: Leaving directory '/home/jplabbe/sage/build/make'

comment:28 in reply to: ↑ 27 ; follow-up: Changed 4 years ago by jipilab

Replying to jipilab:

Replying to jipilab:

A note: I am trying out the method in the ticket description and I get a ImportError: No module named PyQNormaliz_cpp when I try with an example.

What should I do?

Coming from the installation of normaliz through sage:

[normaliz] Installing ARB...
[normaliz] curl: (1) Protocol "https" not supported or disabled in libcurl
Makefile:2080: recipe for target 'normaliz' failed
make[1]: *** [normaliz] Error 1
make[1]: Leaving directory '/home/jplabbe/sage/build/make'

To fix this, I had to force install curl inside a sage shell. On a debian-sid distribution, it seems that it was not necessary.

comment:29 Changed 4 years ago by moritz

  • Description modified (diff)

comment:30 Changed 4 years ago by moritz

  • Description modified (diff)

comment:31 follow-up: Changed 4 years ago by jipilab

After installing autotools and automake I get the following error message:

[normaliz] Installing E-ANTIC...
[normaliz] From https://github.com/mkoeppe/e-antic
[normaliz]  * branch            winfried   -> FETCH_HEAD
[normaliz] HEAD is now at 9de1e6f... renf_elem_class.get_den: New
[normaliz] aclocal: warning: couldn't open directory 'm4': No such file or directory
[normaliz] configure.ac:9: error: possibly undefined macro: AC_PROG_LIBTOOL
[normaliz]       If this token and others are legitimate, please use m4_pattern_allow.
[normaliz]       See the Autoconf documentation.
[normaliz] autoreconf: /usr/bin/autoconf failed with exit status: 1
Makefile:2080: recipe for target 'normaliz' failed
make[1]: *** [normaliz] Error 1
make[1]: Leaving directory '/home/jplabbe/sage/build/make'

Then, after installing libtool (sage should complain about that not installed?!) then I get:

[normaliz] make[2]: Leaving directory '/home/jplabbe/sage/local/enfnormaliz/E-ANTIC_source/e-antic'
[normaliz] configure: error: cannot find install-sh, install.sh, or shtool in "." "./.." "./../.."
Makefile:2080: recipe for target 'normaliz' failed
make[1]: *** [normaliz] Error 1
make[1]: Leaving directory '/home/jplabbe/sage/build/make'

comment:32 Changed 4 years ago by jipilab

... Problem solved by gh-sebasguts: there was an old config file lying around. Deleting it solved the issue.

comment:33 Changed 4 years ago by moritz

works flawlessly for me!

comment:34 in reply to: ↑ 28 Changed 4 years ago by gh-TimmyChan

Replying to jipilab:

Replying to jipilab:

Replying to jipilab:

A note: I am trying out the method in the ticket description and I get a ImportError: No module named PyQNormaliz_cpp when I try with an example.

What should I do?

Coming from the installation of normaliz through sage:

[normaliz] Installing ARB...
[normaliz] curl: (1) Protocol "https" not supported or disabled in libcurl
Makefile:2080: recipe for target 'normaliz' failed
make[1]: *** [normaliz] Error 1
make[1]: Leaving directory '/home/jplabbe/sage/build/make'

To fix this, I had to force install curl inside a sage shell. On a debian-sid distribution, it seems that it was not necessary.

Same issue in Ubuntu 16.04LTS, doing sage -f curl in a sage shell does not work. Purging curl and reinstalling also didn't work. In order to enable ssl for curl, used the command sudo apt-get install libssl-dev. After that I no longer have the error curl: (1) Protocol "https" not supported...

Last edited 4 years ago by gh-TimmyChan (previous) (diff)

comment:35 in reply to: ↑ 31 Changed 4 years ago by gh-TimmyChan

Replying to jipilab:

After installing autotools and automake I get the following error message:

[normaliz] Installing E-ANTIC...
[normaliz] From https://github.com/mkoeppe/e-antic
[normaliz]  * branch            winfried   -> FETCH_HEAD
[normaliz] HEAD is now at 9de1e6f... renf_elem_class.get_den: New
[normaliz] aclocal: warning: couldn't open directory 'm4': No such file or directory
[normaliz] configure.ac:9: error: possibly undefined macro: AC_PROG_LIBTOOL
[normaliz]       If this token and others are legitimate, please use m4_pattern_allow.
[normaliz]       See the Autoconf documentation.
[normaliz] autoreconf: /usr/bin/autoconf failed with exit status: 1
Makefile:2080: recipe for target 'normaliz' failed
make[1]: *** [normaliz] Error 1
make[1]: Leaving directory '/home/jplabbe/sage/build/make'

Then, after installing libtool (sage should complain about that not installed?!) then I get:

[normaliz] make[2]: Leaving directory '/home/jplabbe/sage/local/enfnormaliz/E-ANTIC_source/e-antic'
[normaliz] configure: error: cannot find install-sh, install.sh, or shtool in "." "./.." "./../.."
Makefile:2080: recipe for target 'normaliz' failed
make[1]: *** [normaliz] Error 1
make[1]: Leaving directory '/home/jplabbe/sage/build/make'

Installed autotools-dev and automake and libtool and installation completed on Ubuntu 16.04LTS.

Last edited 4 years ago by gh-TimmyChan (previous) (diff)

comment:36 Changed 4 years ago by jipilab

There is a link error in my installation:

sage: import PyQNormaliz_cpp
---------------------------------------------------------------------------
ImportError                               Traceback (most recent call last)
<ipython-input-10-4c34a88d49d7> in <module>()
----> 1 import PyQNormaliz_cpp

ImportError: /home/jplabbe/sage/local/enfnormaliz/lib/libantic.so.0: undefined symbol: _fmpq_poly_resultant_div

This can be solved by typing

export LD_LIBRARY_PATH=your_sage_path/local/enfnormaliz/lib/:$LD_LIBRARY_PATH

before starting sage in the terminal...

comment:37 follow-ups: Changed 4 years ago by gh-sebasguts

While this solution works for jipilab, it does not for gh-TimmyChan?. Apparently his Ubuntu 16.04 honors the -rpath setting from the PyQNormaliz install script.

The problem is that the -rpath will be set by python itself, and it is not possible to insert anything before that path.

comment:38 in reply to: ↑ 37 Changed 4 years ago by gh-TimmyChan

Replying to gh-sebasguts:

While this solution works for jipilab, it does not for gh-TimmyChan?. Apparently his Ubuntu 16.04 honors the -rpath setting from the PyQNormaliz install script.

The problem is that the -rpath will be set by python itself, and it is not possible to insert anything before that path.

Temporarily, import PyQNormaliz_cpp can work by removing 'libflint.so.13 from ~/sage/local/lib/` to some other directory.

comment:39 Changed 3 years ago by Winfried

  • Description modified (diff)

comment:40 Changed 3 years ago by Winfried

Since version 3.6.0 QNormaliz and PyQNormaliz are included in the Normaliz distribution.

comment:41 Changed 3 years ago by git

  • Commit changed from 79bda61224ade0f7003b17e6539c2c2f4ce451f8 to de64a4ad06db3f26bce3b535e7d0022023097b77

Branch pushed to git repo; I updated commit sha1. New commits:

855a2c0build/pkgs/normaliz/spkg-install: Only warn if git fetch/pull fails (airplane mode)
5829bc0src/sage/geometry/polyhedron/backend_normaliz.py: Add #optional - pyqnormaliz
de64a4abuild/pkgs/normaliz/dependencies: Depend on gc (dependency of our flint copy)

comment:42 Changed 3 years ago by mkoeppe

  • Description modified (diff)
  • Milestone changed from sage-8.2 to sage-8.4

comment:43 Changed 3 years ago by git

  • Commit changed from de64a4ad06db3f26bce3b535e7d0022023097b77 to 855391c03c327144d78c8a3dd7258e112c182c59

Branch pushed to git repo; I updated commit sha1. Last 10 new commits:

976b93fUpdate normaliz to 3.6.3, pynormaliz to 1.19
e36973abuild/pkgs/normaliz/spkg-install: Update comment
98d5bd3Merge remote-tracking branch 'trac/develop' into t/25090/public/pynormaliz1.17_normaliz3.6.1
aa71e25Merge remote-tracking branch 'trac/develop' into t/25090/public/pynormaliz1.17_normaliz3.6.1
7907f7aPolyhedron_normaliz: Fix: INPUT: items generally do not end with a period
1e20ef2Polyhedron_normaliz._make_normaliz_cone: Add doctest
f3d11a3Polyhedron_normaliz._init_from_normaliz_data: Add doctest
36d5473src/sage/geometry/polyhedron/backend_normaliz.py: Add # optional - pynormaliz
e852ffaMerge branch 't/25090/public/pynormaliz1.17_normaliz3.6.1' into t/25097/public/25097/qnormaliz-algebraic
855391cnormaliz, pynormaliz, pyqnormaliz: Update build scripts to use releases

comment:44 Changed 3 years ago by mkoeppe

Updated this branch to use the current released versions of Normaliz from #25090 and PyQNormaliz from pypi.

comment:45 Changed 3 years ago by mkoeppe

  • Description modified (diff)

comment:46 Changed 3 years ago by git

  • Commit changed from 855391c03c327144d78c8a3dd7258e112c182c59 to e34e10b8310ed9fa511a8c0f9d592da8d3785d0b

Branch pushed to git repo; I updated commit sha1. New commits:

e34e10bPolyhedron_normaliz._nmz_result: Use the PyQNormaliz conversion handlers

comment:47 Changed 3 years ago by mkoeppe

Far from "needs review", but needs testing / debugging. (I'm currently getting a segfault when running the testsuite for backend_normaliz.py.)

comment:48 Changed 3 years ago by Winfried

Could you give more specific information?

comment:49 Changed 3 years ago by mkoeppe

  • Description modified (diff)
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

comment:50 follow-up: Changed 3 years ago by Winfried

Normaliz 3.6.3 (and presumably already 3.6.0) computes the polytope without any problems, provided the number_field follows immediately after amb_space. (One could think of relaxing this condition.) Output:

Real embedded number field:
min_poly (a^6 - 2) embedding [1.1225 +/- 4.57e-5]

2 vertices of polyhedron
0 extreme rays of recession cone
2 support hyperplanes of polyhedron (homogenized)

embedding dimension = 2
affine dimension of the polyhedron = 1 (maximal)
rank of recession cone = 0

dehomogenization:
0 1 

***********************************************************************

2 vertices of polyhedron:
 (a^2 ~ 1.2599) 1
 (a^3 ~ 1.4142) 1

0 extreme rays of recession cone:

2 support hyperplanes of polyhedron (homogenized):
 (-1/2*a^3 ~ -0.7071)  1
   (1/2*a^4 ~ 0.7937) -1

comment:51 in reply to: ↑ 50 Changed 3 years ago by mkoeppe

Replying to Winfried:

Normaliz 3.6.3 (and presumably already 3.6.0) computes the polytope without any problems,

Thanks for testing. Yes, I think the segfault is coming from somewhere in the interfacing.

provided the number_field follows immediately after amb_space. (One could think of relaxing this condition.)

No, I don't think that's necessary -- I just need to fix the normaliz file writer in my sage code to know about this.

comment:52 Changed 3 years ago by git

  • Commit changed from e34e10b8310ed9fa511a8c0f9d592da8d3785d0b to b6a16657020f71a1ffe0f4011c02a263f1128f87

Branch pushed to git repo; I updated commit sha1. New commits:

b6a1665Polyhedron_normaliz._nmz_result: Fix up NumberfieldElementHandler

comment:53 Changed 3 years ago by mkoeppe

x = polygen(ZZ); P = Polyhedron(vertices=[[sqrt(2)], [AA.polynomial_root(x^3-2, RIF(0,3))]], backend='normaliz', verbose=True); P._Hrepresentation
.... segfault ...

Some memory corruption involving the gc, it seems

comment:54 Changed 3 years ago by git

  • Commit changed from b6a16657020f71a1ffe0f4011c02a263f1128f87 to ec5f5c9249da26235725d166d897514787bf9992

Branch pushed to git repo; I updated commit sha1. New commits:

ec5f5c9Polyhedron_normaliz._normaliz_format: Update code that puts 'number_field' right after 'amb_space'

comment:55 Changed 3 years ago by git

  • Commit changed from ec5f5c9249da26235725d166d897514787bf9992 to 9669a6f17b687480bd94584b4cb5d437d4c34767

Branch pushed to git repo; I updated commit sha1. New commits:

9669a6fPolyhedron_normaliz: If base_ring is already a number field, use it

comment:56 Changed 3 years ago by git

  • Commit changed from 9669a6f17b687480bd94584b4cb5d437d4c34767 to 3b454e23e9d0b8259135d3fbe5607985e9ff0fc4

Branch pushed to git repo; I updated commit sha1. New commits:

2b149b5Polyhedron_normaliz._is_zero etc.: Add, copied from Polyhedron_field
3b454e2polytopes library: Add tests with backend='normaliz'

comment:57 Changed 3 years ago by mkoeppe

  • Dependencies changed from #25090, #20181 to #25090, #20181, #25171
  • Description modified (diff)

comment:58 Changed 3 years ago by git

  • Commit changed from 3b454e23e9d0b8259135d3fbe5607985e9ff0fc4 to eb6646e889bb9a706192726000cc7a0ad0c78811

Branch pushed to git repo; I updated commit sha1. New commits:

46dfa08Add missing build/pkgs/pyqnormaliz/checksums.ini file
8b4deccExperimental upgrade of FLINT to 2.5.2+trunk-2018-09-18-e12c83de3e100a113dbc030894d89f67dfe83cd4; remove patches
2e3fe7dMerge branch 't/25171/experimental_flint_upgrade_package_tracking_trunk' into t/25097/public/25097/qnormaliz-algebraic
41f6f98build/{normaliz,pyqnormaliz}/spkg-install: Use FLINT from #25171, use sage arb, get rid of enfnormaliz/ install hierarchy
13089b4build/pkgs/flint/checksums.ini: Update for using github release tarball
eb6646eMerge branch 't/25171/experimental_flint_upgrade_package_tracking_trunk' into t/25097/public/25097/qnormaliz-algebraic

comment:59 in reply to: ↑ 37 Changed 3 years ago by mkoeppe

Replying to gh-sebasguts:

While this solution works for jipilab, it does not for gh-TimmyChan?. Apparently his Ubuntu 16.04 honors the -rpath setting from the PyQNormaliz install script.

The problem is that the -rpath will be set by python itself, and it is not possible to insert anything before that path.

With the latest commits, I have removed the separate flint installation and this ticket should be easier to build. Please test

comment:60 Changed 3 years ago by git

  • Commit changed from eb6646e889bb9a706192726000cc7a0ad0c78811 to 95b5bdd0a3ca6a6fc2cbedfed2ef4f2062b7bcf0

Branch pushed to git repo; I updated commit sha1. New commits:

1ccf632polytopes.snub_cube: Add keyword arg verbose
25e64fcpolytopes.snub_dodecahedron: Add keyword arg verbose, mark pyqnormaliz doctest 'not tested - very long time'
7dfd8a5polytopes.six_hundred_cell: Fix wrong doctest
95b5bddpolytopes.snub_cube: Add keywords exact, base_ring. Add pyqnormaliz doctest

comment:61 Changed 3 years ago by git

  • Commit changed from 95b5bdd0a3ca6a6fc2cbedfed2ef4f2062b7bcf0 to 3d8d078f7592dd4063d56d6459d64cfe015f8bbc

Branch pushed to git repo; I updated commit sha1. New commits:

1b977dcPolyhedron_normaliz: Fix a doctest
4eaec75Polyhedron_normaliz: Sort keys in verbose output for predictable doctests
7749acePolyhedron_normaliz: Guard against deadly exceptions in *_handler
a692e85Polyhedron_QQ_normaliz._init_from_normaliz_data: Add doctests
3040b2dPolyhedron_normaliz: Refactor using format_number_field_data, passing normaliz_field through _init_from_normaliz_data
d56e0d4Polyhedron_normaliz: Refactor, passing normaliz_field through _init_from_normaliz_cone.
85166c3Polyhedron_normaliz: New init arg, normaliz_field. Fix _init_from_normaliz_data doctest
bb0f73dPolyhedron_normaliz: Extend doctest
3d8d078Polyhedron_normaliz: Switch between Normaliz, QNormaliz based on normaliz_field, rather than class

comment:62 Changed 3 years ago by mkoeppe

  • Description modified (diff)

comment:63 Changed 3 years ago by git

  • Commit changed from 3d8d078f7592dd4063d56d6459d64cfe015f8bbc to ad26e475628de592be3d6f878c187c9e34b5dc8a

Branch pushed to git repo; I updated commit sha1. New commits:

ad26e47PyQNormaliz: Update to 1.2

comment:64 Changed 3 years ago by mkoeppe

  • Authors set to Matthias Koeppe
  • Description modified (diff)
  • Status changed from new to needs_review

comment:66 Changed 3 years ago by git

  • Commit changed from ad26e475628de592be3d6f878c187c9e34b5dc8a to 725ea5baae0cc2922baa0480e4c8cd7d88c9239d

Branch pushed to git repo; I updated commit sha1. New commits:

725ea5bMerge branch 'trac/develop' into t/25097/public/25097/qnormaliz-algebraic

comment:67 Changed 3 years ago by git

  • Commit changed from 725ea5baae0cc2922baa0480e4c8cd7d88c9239d to bd3c990559c1531ecf14d98ba7b009d26504a05e

Branch pushed to git repo; I updated commit sha1. New commits:

3881007PyQNormaliz: Update to 1.3
bd3c990sage.geometry.polyhedron.constructor: Update error message in doctest

comment:68 Changed 3 years ago by vdelecroix

I think we should decouple: upgrading Normaliz and interfacing Normaliz.

comment:69 Changed 3 years ago by vdelecroix

  • Dependencies changed from #25090, #20181, #25171 to #25090, #20181, #25171, #27682

I opened #27682

comment:70 Changed 3 years ago by vdelecroix

  • Dependencies changed from #25090, #20181, #25171, #27682 to #20181, #27682
  • Description modified (diff)
  • Milestone changed from sage-8.4 to sage-8.8
Note: See TracTickets for help on using tickets.