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: |
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
- Cc jipilab added
- Keywords IMA-PolyGeom added
comment:2 Changed 12 months ago by
- Milestone changed from sage-8.0 to sage-9.2
comment:3 Changed 8 months ago by
- Milestone changed from sage-9.2 to sage-9.3
comment:4 Changed 2 months ago by
- 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.
Moving some tickets to 9.2. This is not a promise that I will be working on them.