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/options.h: put stats first in barvinok_options
2007-04-26
S
v
en V
e
rdoo
l
aege
b
a
rvinok/opti
o
ns
.
h
:
p
ut sta
t
s firs
t
i
n b
a
rvinok_op
t
ions
commit
|
commitdiff
|
tree
2007-04-25
Sven
Verdoolaeg
e
barvinok_maximi
z
e
: read_evalue:
s
upport relations
commit
|
commitdiff
|
tree
2007-04-25
Sven Ver
d
o
olaege
bernstein
.
cc: evalu
e
_ber
n
stei
n
_co
e
f
f
icients:
h
andle
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
S
ven
V
e
rdoolaeg
e
barvinok
_
m
a
ximize
:
evalue_
r
ead:
al
l
ow id
e
ntifie
r
s to
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sve
n
Verdoolaege
barvi
n
ok_maximize:
m
ove --(bernstein
-
)recurse opti
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaeg
e
lib/argp:
f
ix
l
ogic in hol_c
l
uster
_
cmp
commit
|
commitdiff
|
tree
2007-04-25
S
v
en Verdoo
l
aeg
e
ba
r
vi
n
ok_
m
ax
i
mize: al
l
ow speci
f
i
c
ation of the variab
l
es
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven V
e
rdoolaege
barvinok
_
max
i
mi
z
e: barf on unexpect
e
d
f
irst to
k
en
commit
|
commitdiff
|
tree
2007-04-23
S
ven Ver
d
oolaege
d
o
c
:
more doc
u
ments refering to the library
commit
|
commitdiff
|
tree
2007-04-23
Sven
Verdoolaege
e
v
a
l
ue_c
o
nvert
.
cc: eval
u
e_
c
o
s
et: support relations
commit
|
commitdiff
|
tree
2007-04-23
Sven
V
e
r
doolaege
e
v
alue
.
c: print_evalue: always print newline a
t
the end
commit
|
commitdiff
|
tree
2007-04-23
S
v
en Ver
d
oolaege
doc: multi
v
ar
i
ate quasi-polyno
m
ia
l
s as l
i
sts
of
polynomials
commit
|
commitdiff
|
tree
2007-04-23
Sven Ver
d
oolaeg
e
e
v
a
lue_c
o
nvert
.
cc: include "config
.
h" t
o
p
i
ck up
U
SE_FDST
R
EA
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
doc:
i
ndex additio
n
s
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdo
o
laege
d
oc: tr
i
angulation in primal space
+
some typo fixes
commit
|
commitdiff
|
tree
2007-04-23
Sve
n
Verdoolaeg
e
doc: docu
m
ent inner_point
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoo
l
aege
doc: refer to Koe
p
pe articl
e
for
simpler motivation
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdo
o
laege
doc: more publications (im
p
licitly) referi
n
g to the
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
Sven Verdoolaege
config
u
re
.
in:
a
dd $(EXEEXT)
to opt
i
onal
prog
r
ams for
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
Sv
e
n Verdoolaege
Ma
k
efile
.
am: make sure d
i
stributi
o
n contain
s
required
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
bar
v
inok_enumerate: don't p
r
int (non-existing) evalue
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sv
e
n Verd
o
olaege
ed
o
main
.
cc: avo
i
d use of fdstream
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
c
o
nfigure
.
in:
c
h
eck for polylib/polylibgmp
.
h
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
d
e
c
l
are variable
a
t start
o
f code block
.
commit
|
commitdiff
|
tree
2007-04-18
S
ven Verdoolaege
Makefile
.
am: reb
u
ild libraries in subdirs if
mis
s
ing
commit
|
commitdiff
|
tree
2007-04-18
Sven Ver
d
oolaege
ba
r
vinok_
e
numerate: rech
e
ck
f
or eq
u
alities aft
e
r "variable
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdo
o
laege
d
o
c: a voting theory report that refer
s
to the library
commit
|
commitdiff
|
tree
2007-04-15
Sve
n
V
e
rdoola
e
ge
doc: update primal Barvinok referenc
e
commit
|
commitdiff
|
tree
2007-04-15
S
v
en Verdoo
l
aege
doc:
a
d
d
journal version of i
m
prove
d
derivatio
n
paper
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdoolaege
volume
.
c: keep track of numb
e
r of
s
implices in
volume
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
Sven Ver
d
o
o
laege
test_ap
p
rox: t
e
st volu
m
e
c
om
p
utati
o
n variations
commit
|
commitdiff
|
tree
2007-04-13
Sve
n
Ve
r
d
o
olaege
volume
.
c: volume_tri
a
ngulate
:
use vertex in
s
tea
d
of
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
ven Ve
r
doolae
g
e
volum
e
.
c: face_vertices
:
use Param_Inner_Product
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
reduce_domain: expl
o
it that no caller use
s
Polyhedron2Para
m
_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
v
en V
e
rdo
o
l
a
e
ge
lexmin: stop using Polyhedron2Par
a
m_SimplifiedDomain
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdool
a
ege
b
a
rvinok
.
cc: s
t
o
p using
P
o
lyhed
r
o
n2Param_
S
implifie
d
Dom
a
in
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoo
l
aege
Requ
i
re a version
o
f
PolyLib that
c
omputes correct
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
e
r
doolaege
vo
l
ume
.
c: non_e
m
pty_po
i
nt:
s
imply
u
se internal
p
oint
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n Verdoolaege
add an ehrhart
e
xample
with inter
e
sting ch
a
mbers
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n V
e
rdoolaege
t
e
st_
a
pprox: test chamber based
scaling
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
e
r
d
oola
e
ge
s
c
ale
.
c: option
a
lly perfor
m
sc
a
l
i
ng on individual chambe
r
s
commit
|
commitdiff
|
tree
2007-04-12
S
ven Ve
r
dool
a
e
g
e
barvinok_
e
numer
a
t
e: use "
v
ariable
c
ompr
e
ssion" to r
e
move
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n
V
e
r
d
o
o
laeg
e
util
.
c: l
e
ft_
i
nverse: handle cons
t
ant map
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
evalue
.
c: evalue_substitute: move from edomain
.
cc
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaeg
e
evalue
.
c: affine2evalue
:
extracted
from vol
u
me
.
c
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n
V
erdoolaege
reduc
e
_domain:
p
artition chambe
r
comp
l
ex based
on i
n
ner
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdoolaege
r
educe_domain
.
c: extrac
t
inne
r
_point
a
n
d
i
s_internal
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven
V
er
d
ool
a
ege
redu
c
e_domain: check for ad
j
acent
ch
a
mbers in simp
l
ified
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Ve
r
doolaege
FOR
A
LL_R
E
DU
C
ED_DOMAIN: extract
comm
o
n handling of r
e
duced
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
S
ven
Verdoolaege
barv
i
n
o
k_enumer
a
te: mo
v
e recursive ca
l
l
during
s
caling
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdo
o
l
a
e
g
e
b
a
rvinok
.
cc
:
Param_Po
l
yhedron_Enumerate: extrac
t
ed
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven V
e
rdoolaege
a
dd some
in
t
eresting test c
a
ses for v
o
lume com
p
utatio
n
commit
|
commitdiff
|
tree
2007-04-09
Sv
e
n Verdoolaege
perform very bas
i
c
polynomial approximat
i
on t
e
st
commit
|
commitdiff
|
tree
2007-04-09
S
v
en Verdoolaege
test_approx: compare different pol
y
nomial approximations
commit
|
commitdiff
|
tree
2007-04-08
Sve
n
Verdool
a
e
ge
evalue_c
o
nvert
.
cc: partial support for printing in
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Ve
r
do
o
laege
Par
a
m_Polyhedron_Volume:
p
erform lifting triangulation
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
S
v
en Verdoolaege
vo
l
ume
.
c: in
t
roduce parame
t
er_point abstracti
o
n
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
scale
.
c:
e
xp
o
rt
P
aram_Ver
t
ex_Common_Deno
m
inator
commit
|
commitdiff
|
tree
2007-04-08
S
ven Verdoolaege
volume
.
c
: drop
r
e
d
undant arguments to volume_s
i
mplex
commit
|
commitdiff
|
tree
2007-04-08
Sven Ve
r
doolaege
optio
n
s
.
c: separate polynomial approx
i
mation relat
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolaege
barvinok_
o
ptio
n
s_new_with_defaults:
i
nitialize
s
c
ale
_
flags
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolaege
triangulate_c
o
ne: skip Delaunay
t
r
iangula
t
ion by defau
l
t
commit
|
commitdiff
|
tree
2007-04-07
Sven Ve
r
doolaege
evalue_convert: pri
n
t latt
i
ce when
p
rintin
g
as list
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
S
v
en V
e
rdoo
l
aeg
e
e
v
alue_convert: ad
d
verbo
s
e argume
n
t and return 1 if
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Verdoolaege
Polyhedron_Fl
a
te: inter
s
e
ct inf
l
a
ted polytope with
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Verdoolaege
doc: bi
b
: fix up
n
ame
in title of
Alg
o
r
i
thmica paper
commit
|
commitdiff
|
tree
2007-04-05
Sv
e
n
V
erdoolaege
add missing volume
.
h fil
e
commit
|
commitdiff
|
tree
2007-04-04
Sven Ve
r
dool
a
e
ge
volume
.
c: dela
y
computation o
f
point where vo
l
ume
i
s
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
S
ven
Ve
r
doolaege
Param_Polyhe
d
ron_Volume:
s
et
polyn
o
mial_
a
pproximation
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
S
ven Verdoolaege
vo
l
ume
.
c:
a
llow c
o
m
p
u
t
ation of lower
a
n
d u
p
per bound
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
scale: export Polyhedron_Flate
commit
|
commitdiff
|
tree
2007-04-03
Sven Ve
r
doolaege
ba
r
vin
o
k_enumerate: optionally
c
ompute
"
volum
e
" polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
poly
t
o
pe_volume: comput
e
volume of
parametric polytope
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
r
e
d
uce_domain
.
c: plu
g
memory l
e
ak
commit
|
commitdiff
|
tree
2007-03-31
Sven V
e
rd
o
o
l
aege
verify
.
c:
m
ove computati
o
n of tru
e
c
o
ntext into check_poly_c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven V
e
r
d
o
o
laege
scale
.
c: ad
d
si
m
p
lified
m
etho
d
o
f
computing tighter
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
b
a
rvinok_enumerate: o
p
t
ionally com
p
ute tighter polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
V
e
rdo
o
laege
polyhedron_sample
.
c:
remove
r
edundant MAXRAYS define
commit
|
commitdiff
|
tree
2007-03-31
Sven
Verd
o
olaege
evalue
.
c
: evalue_eval: suppor
t
relations
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
e
v
alue
.
c
: evalue_frac2poly
n
om
i
al: properly handle relations
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
bar
v
inok_e
n
umerate: sup
p
ort
a
pproximation
b
y
means
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
ven V
e
r
doo
l
aege
s
c
ale
.
c: avoid
simplificat
i
on of
constraints after
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Ver
d
oo
l
aege
barvinok/util
.
h: add P
O
L_UNSET macro for uns
e
tting
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n V
e
rdoolae
g
e
scale
.
c:
P
a
ram_Polyhedron
_
Scale_In
t
eger_Fa
s
t: ignore
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
Verd
o
ola
e
ge
move Param
_
Polyhe
d
r
o
n_S
c
a
le_
I
nteger t
o
scale
.
c and
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
use
s
epara
t
e f
l
ags option for s
c
ale approximation metho
d
commit
|
commitdiff
|
tree
2007-03-31
Sve
n
Verdoolaege
barvinok
.
cc: move s
c
aling to sca
l
e
.
c
commit
|
commitdiff
|
tree
2007-03-30
Sven Verdoola
e
ge
scale
.
c
:
c
o
r
r
ect e
x
tract_lattice in cas
e
of
redundant
.
.
.
commit
|
commitdiff
|
tree
2007-03-30
S
ven Verdoolaege
doc: updat
e
C
C
2005
reference
commit
|
commitdiff
|
tree
2007-03-26
Sven Verdoolaege
verif
_
e
h
r
h
ar
t
.
c: roun
d
inexa
c
t eval
u
ation up or down
.
.
.
commit
|
commitdiff
|
tree
2007-03-26
Sven
Verdool
a
ege
verif
_
e
hrhart
.
c: optionally
u
s
e exac
t
evaluation for
.
.
.
commit
|
commitdiff
|
tree
2007-03-25
S
v
en Verdoolaeg
e
eva
l
u
e
.
c: a
d
d evalue_eval for
exact evaluation of evalue
commit
|
commitdiff
|
tree
2007-03-25
Sven Ve
r
doolaege
evalue
.
c: fix evalue_frac2polynomia
l
f
o
r negative
valu
e
s
.
.
.
commit
|
commitdiff
|
tree
2007-03-20
Sv
e
n Verdo
o
laeg
e
barv
i
nok_enum
e
rate:
p
e
rform slow scaling a
p
proxima
t
io
n
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoolaege
fix Param_P
o
lyhedron
_
Scale_I
n
teger
commit
|
commitdiff
|
tree
2007-03-19
Sven
V
erdool
a
ege
barvinok_enu
m
e
rate: m
o
re accurate polynomial approximation
commit
|
commitdiff
|
tree
2007-03-19
Sv
e
n
V
e
r
d
o
olaege
reorgan
i
ze p
o
lynomial approximation
options
commit
|
commitdiff
|
tree
2007-03-19
Sv
e
n Ve
r
doolaege
util
.
c: Para
m
_Polyhedron
_
Pr
i
nt: act
u
a
l
l
y
use
o
utput
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoola
e
ge
fix merge of check_poly from
ve
r
if_e
h
rh
a
rt
.
c a
n
d
lexmin
.
cc
commit
|
commitdiff
|
tree
2007-03-18
Sven
Verdool
a
ege
doc:
u
pdate Koe
p
pe
-
Verd
o
olaege reference
commit
|
commitdiff
|
tree
next