Opened 4 years ago

Last modified 2 months ago

#22645 new enhancement

Polyhedron_normaliz: Expose computation options

Reported by: mkoeppe Owned by:
Priority: major Milestone: sage-9.4
Component: geometry Keywords: IMA-PolyGeom
Cc: Winfried, jipilab Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description

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.)

Change History (4)

comment:1 Changed 3 years ago by jipilab

  • Cc jipilab added
  • Keywords IMA-PolyGeom added

comment:2 Changed 12 months ago by mkoeppe

  • Milestone changed from sage-8.0 to sage-9.2

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

comment:3 Changed 8 months ago by mkoeppe

  • Milestone changed from sage-9.2 to sage-9.3

comment:4 Changed 2 months ago by mkoeppe

  • Milestone changed from sage-9.3 to sage-9.4

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

Note: See TracTickets for help on using tickets.