repo.or.cz
/
barvinok.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
barvinok 0.24
2007-04-26
Sve
n
Verdoolaege
doc: remove reference to old barvinok_series applica
t
ion
commit
|
commitdiff
|
tree
2007-04-26
Sve
n
Verdoolaeg
e
doc: upd
a
te
evalue_bernstein_coeff
i
cients
commit
|
commitdiff
|
tree
2007-04-26
Sven Ve
r
doola
e
ge
b
arvinok/options
.
h
: put
stat
s
first in ba
r
vinok_
o
ption
s
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
barvinok_maximize: rea
d
_eva
l
ue: support
relatio
n
s
commit
|
commitdiff
|
tree
2007-04-25
Sven Ve
r
d
o
olaege
bern
s
tein
.
c
c
: eval
u
e_bernstei
n
_coe
f
ficients: handle
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
barvinok_
m
aximize: evalue_read:
allow identifiers to
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaeg
e
barvinok_m
a
ximize: move --(bernstein-)
r
ecurse option
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
S
v
en Verdoolaege
l
ib/argp: fix logic in hol_c
l
uster_cmp
commit
|
commitdiff
|
tree
2007-04-25
Sven
Verdoolaege
barvin
o
k_maxi
m
ize: allow specifi
c
ation o
f
the
v
ar
i
ables
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolae
g
e
barvin
o
k_m
a
xi
m
ize: barf on unexpected f
i
rst token
commit
|
commitdiff
|
tree
2007-04-23
Sv
e
n Ve
r
doolaege
doc: m
o
r
e
d
o
cument
s
refering t
o
th
e
librar
y
commit
|
commitdiff
|
tree
2007-04-23
S
v
en V
e
rdoolaege
evalue_convert
.
cc: e
v
alue
_
coset: su
p
p
ort relat
i
ons
commit
|
commitdiff
|
tree
2007-04-23
Sven Ver
d
oolaeg
e
evalue
.
c: print_evalue: al
w
ays print newl
i
ne at
th
e
e
n
d
commit
|
commitdiff
|
tree
2007-04-23
Sven
V
erdoolae
g
e
doc: multivariate quasi-polynomi
a
ls as
lists of polynomial
s
commit
|
commitdiff
|
tree
2007-04-23
S
ven Ver
d
oolaege
evalue_co
n
v
e
r
t
.
cc
:
include "confi
g
.
h" t
o
pick up USE_FDSTREA
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven
V
erdoolaege
d
o
c:
in
d
ex additions
commit
|
commitdiff
|
tree
2007-04-23
Sven Ve
r
doolaege
d
oc:
triangulation in
primal space + some typo fi
x
e
s
commit
|
commitdiff
|
tree
2007-04-23
Sven
Verdoolaege
doc: d
o
cument inner_point
commit
|
commitdiff
|
tree
2007-04-23
Sven
Verdo
o
lae
g
e
d
oc: refer to Koepp
e
article
f
or
s
i
mple
r
motivation
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven
Verdoola
e
g
e
doc: more pub
l
ication
s
(implicitly) ref
e
r
i
ng to
the
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
Sven
V
erdoo
l
aege
config
u
r
e
.
in: add $(EXEEXT)
t
o op
t
i
o
nal programs fo
r
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
Sven
V
er
d
o
o
laege
Makefile
.
a
m
: make sure di
s
tributi
o
n
c
on
t
ains required
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sv
e
n Verdoolae
g
e
barvino
k
_enum
e
r
a
te: d
o
n't prin
t
(no
n
-existin
g
) evalue
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
S
ven V
e
rdoolaege
edomai
n
.
cc: avoid use o
f
f
d
stre
a
m
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
c
o
nfig
u
re
.
in: c
h
eck for polylib/poly
l
ibgmp
.
h
commit
|
commitdiff
|
tree
2007-04-19
Sven Ver
d
oo
l
aege
d
ecl
a
re variable at start of c
o
de block
.
commit
|
commitdiff
|
tree
2007-04-18
Sven Verdoolaege
Makefi
l
e
.
am: reb
u
ild
l
ibra
r
ies in sub
d
irs if
m
issing
commit
|
commitdiff
|
tree
2007-04-18
Sven Verdo
o
laege
barvinok_enumerate:
r
e
check for equaliti
e
s afte
r
"variabl
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
S
ve
n
Verdoolaege
doc: a voting t
h
eor
y
repor
t
that refers to the
l
ibrary
commit
|
commitdiff
|
tree
2007-04-15
Sv
e
n Verdo
o
laege
doc: upd
a
te
p
rimal Barvi
n
ok
refe
r
e
nce
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdoola
e
ge
doc: a
d
d jou
r
na
l
version
o
f improved derivat
i
on paper
commit
|
commitdiff
|
tree
2007-04-13
S
ve
n
Verdoo
l
aeg
e
volume
.
c: kee
p
tr
a
ck
o
f
n
umber
o
f s
i
mplice
s
in volume
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdoola
e
ge
te
s
t_
a
pprox:
test volume comp
u
tation variations
commit
|
commitdiff
|
tree
2007-04-13
Sven V
e
rdoolaeg
e
vo
l
ume
.
c:
volume_triangula
t
e
: use ver
t
ex instead of
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdool
a
ege
vol
u
me
.
c: f
a
ce_vertices: u
s
e P
a
ram_Inner_P
r
o
d
uct
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaeg
e
reduce_domain: e
x
ploit t
h
a
t
no caller uses
Polyhedro
n
2P
a
ram_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verd
o
o
l
a
ege
l
exmin: s
t
op
u
sing Po
l
yhe
d
ron2Param_SimplifiedD
o
main
commit
|
commitdiff
|
tree
2007-04-12
S
v
en
V
e
r
d
oolaege
b
a
rvino
k
.
c
c: stop
u
s
i
n
g
Polyhedron2Param_Si
m
p
l
i
fiedDomain
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
Req
u
ire
a
vers
i
on of PolyLib that computes co
r
rect
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n
V
e
r
doolaege
volum
e
.
c: non_empty_point: sim
p
ly use internal p
o
int
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
v
en Ve
r
doolaege
add an ehrhart exa
m
p
l
e with in
t
ere
s
tin
g
chambers
commit
|
commitdiff
|
tree
2007-04-12
S
ven Verdool
a
e
g
e
test_approx: test cha
m
ber based s
c
aling
commit
|
commitdiff
|
tree
2007-04-12
Sven V
e
rdoolaege
scale
.
c
: optionally perform scaling on individual chamb
e
rs
commit
|
commitdiff
|
tree
2007-04-12
S
ven
Ve
r
d
o
olaege
b
a
rvinok_en
u
merate
:
use "variable compression" to r
e
move
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven V
e
r
doolaeg
e
util
.
c: lef
t
_inver
s
e
: h
a
n
dle constant m
a
p
commit
|
commitdiff
|
tree
2007-04-12
S
ven Ve
r
d
oolaege
eva
l
u
e
.
c
: eva
l
ue_substitute
:
move
f
rom edo
m
ai
n
.
cc
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolae
g
e
evalue
.
c: affine2evalue: extracted from v
o
l
ume
.
c
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
Verdoola
e
ge
re
d
uce_domain: partition cha
m
ber complex based on
i
nner
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Ver
d
oolae
g
e
r
e
d
u
ce
_
domain
.
c:
extract
i
nner_p
o
int and is_i
n
ternal
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven
V
erdoolaeg
e
reduce_domai
n
: ch
e
ck for a
d
jacent cham
b
ers in simpl
i
fie
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
S
ven V
e
rdoolaege
FORALL_REDUCE
D
_DOMAIN: extract c
o
m
mon handling
o
f re
d
uced
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
barvino
k
_enumerate:
m
ove recursi
v
e call duri
n
g scaling
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sv
e
n Verdoolaeg
e
bar
v
inok
.
cc: Param_Polyhedron_E
n
umerate: extracte
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sv
e
n
Verd
o
o
l
aege
a
d
d some intere
s
ting
test case
s
for volume computation
commit
|
commitdiff
|
tree
2007-04-09
S
ven Verdoolaege
perform very bas
i
c polyno
m
ial appro
x
i
mation
t
est
commit
|
commitdiff
|
tree
2007-04-09
Sven Ver
d
o
o
laege
test_approx: compare different
p
olynomial
a
p
prox
i
ma
t
io
n
s
commit
|
commitdiff
|
tree
2007-04-08
S
v
en Ve
r
doolaege
evalue_co
n
vert
.
cc: partial sup
p
ort for print
i
ng in
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdo
o
laege
P
aram_Polyhedron_Vol
u
me: perform lifting triangu
l
at
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven V
e
rdoolaeg
e
volum
e
.
c: intr
o
duce parameter_
p
oin
t
abstrac
t
ion
commit
|
commitdiff
|
tree
2007-04-08
S
ven Verdoola
e
g
e
scale
.
c: ex
p
ort
Param_Ver
t
ex_Common_Denomi
n
ator
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoo
l
aege
v
olum
e
.
c: drop r
e
dundant arguments to volume_simplex
commit
|
commitdiff
|
tree
2007-04-08
Sven Ve
r
doolaege
op
t
ions
.
c:
s
epar
a
t
e polynomial approx
i
mation related
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
S
v
en Verdoolaege
b
a
rvinok_opti
o
ns_new_
w
ith_defaults:
i
nitiali
z
e scale_flags
commit
|
commitdiff
|
tree
2007-04-07
Sven
V
erdoolaeg
e
triangu
l
at
e
_
c
o
ne: skip
Delaunay t
r
i
a
ngulation b
y
d
e
f
a
u
l
t
commit
|
commitdiff
|
tree
2007-04-07
S
v
en Verd
o
olaege
e
value
_
c
o
n
v
e
r
t: pr
i
nt la
t
ti
c
e
when
p
ri
n
ting as list
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven V
e
rdoolaege
evalue_con
v
ert: add verbose
argument and r
e
t
urn 1 if
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Verdoolaege
Polyhedron_
F
late: intersect inflated polytope wit
h
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Verdo
o
l
a
ege
d
oc
:
bib:
fi
x
u
p
n
a
me in
t
itle of Algorithmica
p
aper
commit
|
commitdiff
|
tree
2007-04-05
Sven Verdoolaege
add missin
g
volume
.
h file
commit
|
commitdiff
|
tree
2007-04-04
Sven Verdoo
l
aege
volume
.
c
: d
e
lay computat
i
o
n
of point where volum
e
is
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
Sven Verdoolaege
Param_Polyh
e
dron_Volu
m
e: se
t
polyn
o
m
i
al_approximation
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sve
n
Verdoola
e
ge
volume
.
c: a
l
low computation
o
f
l
ower and upper bound
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Ver
d
oo
l
aeg
e
sc
a
le: expo
r
t Polyhedr
o
n_Flate
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
barvin
o
k_e
n
um
e
rate: opt
i
onally
c
o
m
pute
"volume" po
l
ynomial
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sve
n
Verdoolaege
polytope_volume: co
m
p
ute vo
l
ume of pa
r
ametric pol
y
tope
commit
|
commitdiff
|
tree
2007-04-03
S
ven Ver
d
o
o
laege
redu
c
e_doma
i
n
.
c:
p
lug memor
y
leak
commit
|
commitdiff
|
tree
2007-03-31
Sven Ve
r
doo
l
a
e
ge
veri
f
y
.
c:
m
o
ve co
m
p
u
tation of
t
r
ue cont
e
x
t
into
chec
k
_poly_c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
scale
.
c:
add simplified m
e
thod of
c
omputing tight
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
barvinok_e
n
u
m
er
a
te: opti
o
nally com
p
u
te t
i
ght
e
r polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
poly
h
edron_
s
ample
.
c: remo
v
e redund
a
n
t MAXRAYS
d
e
f
i
n
e
commit
|
commitdiff
|
tree
2007-03-31
Sven Verd
o
olaege
evalue
.
c
: ev
a
l
u
e
_eval: s
u
p
port rela
t
ions
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdo
o
laege
evalu
e
.
c
:
evalue_frac2po
l
y
nomi
a
l: properly handle relation
s
commit
|
commitdiff
|
tree
2007-03-31
Sven
V
erdoolaege
barvino
k
_enumerate: support a
p
proximatio
n
by means
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolae
g
e
sca
l
e
.
c:
a
v
oid simpli
f
ica
t
ion of constrai
n
ts after
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
b
a
rv
i
nok
/
util
.
h: a
d
d P
O
L
_
UNSET macr
o
for un
s
etti
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
ven
V
e
rd
o
ola
e
ge
sca
l
e
.
c:
Param
_
Polyhedron_Scale_I
n
teg
e
r_Fast: ignore
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Ve
r
doolaege
move Param_Polyhedr
o
n_Sca
l
e_I
n
teg
e
r to scale
.
c and
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
V
e
r
d
oolaege
use
s
e
p
arate flags option for scale a
p
proximation method
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n Ve
r
d
oo
l
aege
b
a
r
vino
k
.
cc: move scali
n
g to s
c
al
e
.
c
commit
|
commitdiff
|
tree
2007-03-30
Sven Verdoolaege
sca
l
e
.
c: correct extract_lattice
in case of redundan
t
.
.
.
commit
|
commitdiff
|
tree
2007-03-30
Sven
V
erdo
o
laege
doc: upda
t
e C
C
20
0
5 referenc
e
commit
|
commitdiff
|
tree
2007-03-26
S
ven Verdoolaeg
e
verif_ehrh
a
rt
.
c:
r
ound
inexact evalua
t
ion up
o
r down
.
.
.
commit
|
commitdiff
|
tree
2007-03-26
Sven
Verdoolaege
v
e
rif_ehrhart
.
c
:
opti
o
n
a
lly use exa
c
t evalu
a
tio
n
for
.
.
.
commit
|
commitdiff
|
tree
2007-03-25
Sven Verdoolaege
evalue
.
c: add evalue_eval
f
or exact evaluation of evalue
commit
|
commitdiff
|
tree
2007-03-25
Sven Verdoolaege
evalue
.
c: fix evalue_
f
rac2polynomi
a
l
for negative
v
alu
e
s
.
.
.
commit
|
commitdiff
|
tree
2007-03-20
Sv
e
n Verdoo
l
aege
ba
r
vinok_enumerate: perf
o
r
m slow sc
a
l
i
ng approximation
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven Verd
o
o
l
aeg
e
fix Param_Polyhedron_S
c
ale_Inte
g
er
commit
|
commitdiff
|
tree
2007-03-19
Sven
V
erd
o
ola
e
g
e
barvino
k
_enumerate
:
more
accurate po
l
ynomial ap
p
r
o
ximat
i
on
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdool
a
ege
reorgan
i
z
e polynomial appr
o
xim
a
tion
optio
n
s
commit
|
commitdiff
|
tree
2007-03-19
Sv
e
n Verdo
o
laege
util
.
c: Param_Polyhedron_Print:
actually us
e
output
.
.
.
commit
|
commitdiff
|
tree
next