Scroll to navigation

BARVINOK_ENUMERATE_E(1) User Commands BARVINOK_ENUMERATE_E(1)

NAME

barvinok_enumerate_e - --version-string=0.41.9

SYNOPSIS

barvinok_enumerate_e [OPTION...]

DESCRIPTION

[default: no]
[default: no]
compute rational generating function [default: no]
convert rgf to psp [default: no]
verification
[default: no]
[default: no]
[default: no]
[default: no]

-m, --min=long

-M, --max=long

-r, --range=long

LLL reduction parameter numerator
LLL reduction parameter denominator
[default: random]
maximal index of simple cones in decomposition
[default: no]
[default: no]
lp solver to use for basis reduction [default: isl]
lp solver to use [default: isl]
[default: laurent]
tool to use for chamber decomposition [default: polylib]
[default: gbr]
[default: no]
[default: no]
isl options
how to handle the pip context tableau [default: gbr]
how often to use generalized basis reduction [default: always]
closure operation to use [default: isl]
only perform basis reduction in first direction [default: no]
algorithm to use for computing bounds [default: bernstein]
how to react if an error is detected [default: warn]
[default: factors]
triangulate domains during Bernstein expansion [default: yes]
detect simple symmetries in PIP input [default: yes]
convex hull algorithm to use [default: wrap]
bound wrapping during coalescing [default: yes]
preserve local variables during coalescing [default: no]
Only consider schedules where the coefficients of the variable and parameter dimensions do not exceed <limit>. A value of -1 allows arbitrary coefficients. [default: -1]
Only consider schedules where the coefficients of the constant dimension do not exceed <limit>. A value of -1 allows arbitrary coefficients. [default: -1]
construct possibly parametric schedules [default: yes]
try to construct schedules where the outer member of each band satisfies the coincidence constraints [default: no]
maximize the number of scheduling dimensions in a band [default: no]
maximize the number of coincident dimensions in a band [default: no]
split non-tilable bands with scaled schedules [default: yes]
try and prevent or adjust schedules that perform loop coalescing [default: yes]
separate components in dependence graph [default: yes]
try and compute schedule for entire component first [default: no]
scheduling algorithm to use [default: isl]
try and carry self-dependences first [default: yes]
serialize strongly connected components in dependence graph [default: no]
scale tile loops [default: yes]
shift point loops to start at zero [default: yes]
type used for iterators during printing of AST [default: int]
print for and if bodies as a block regardless of the number of statements in the body [default: no]
print outermost block node as a block [default: yes]
only print macro definitions once [default: no]
generate atomic upper bounds [default: yes]
prefer pdiv operation over fdiv [default: yes]
detect min/max expressions [default: no]
simplify conditions based on bounds of nested for loops [default: yes]
keep coscheduled domain elements together [default: no]
bounds to use during separation [default: explicit]
allow iterators of strided loops to be scaled down [default: yes]
generate if statements with else branches [default: yes]
generate if conditions with disjunctions [default: yes]
print statistics for every isl_ctx [default: no]
default number of maximal operations per isl_ctx
polynomial approximation
[default: none]
method to use in polynomial approximation [default: none]
[default: slow]
type of triangulation to perform in volume computation [default: vertex]
output conversion
[default: no]
convert fractionals to periodics [default: no]
[default: no]
convert fractionals to floorings [default: no]
[default: no]
[default: no]
[default: no]
[default: no]

-V, --version

print this help, then exit

barvinok-0.41.9

-PET +CDDLIB +GLPK +TOPCOM +ZSOLVE

July 2026 barvinok_enumerate_e isl-0.28-GMP