search

sagemath / sage

Main repository of SageMath
https://www.sagemath.org
Other
1.44k stars 481 forks source link

Polyhedron_normaliz: Expose computation options #22645

Open mkoeppe opened 7 years ago

mkoeppe commented 7 years ago

Normaliz has several computation options. They should be exposed by the Polyhedron_normaliz constructor.

4.3. Algorithmic variants

The default choice is the Normaliz primal algorithm that is based on a (partial) triangulation.

DualMode, -d activates the dual algorithm for the computation of the Hilbert basis and degree 1 elements. Includes HilbertBasis, unless Deg1Elements is set. It overrules IsIntegrallyClosed.

Approximate, -r activates the approximation algorithm for the computation of degree 1 elements. Nevertheless it does not imply Deg1Elements (we don’t want to block potential other applications of Approximate.)

BottomDecomposition, -b tells Normaliz to use bottom decomposition in the primal algorithm.

KeepOrder, -k forbids Normaliz to reorder the generators of the efficient cone C. Only useful if original monoid generators are defined. Blocks BottomDecomposition.

(from Normaliz manual section 4.3.)

CC: @w-bruns @jplab

Component: geometry

Keywords: IMA-PolyGeom

Issue created by migration from https://trac.sagemath.org/ticket/22645

jplab commented 6 years ago

Changed keywords from none to IMA-PolyGeom

mkoeppe commented 4 years ago
comment:2

Moving some tickets to 9.2. This is not a promise that I will be working on them.

mkoeppe commented 3 years ago
comment:4

Setting new milestone based on a cursory review of ticket status, priority, and last modification date.