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
evalue.c: print_evalue: always print newline at the end
2007-04-23
Sven Verdoolaege
eval
u
e
.
c:
p
r
int_evalue: always print newline
at the end
commit
|
commitdiff
|
tree
2007-04-23
Sven Verd
o
olaeg
e
d
o
c: mu
l
ti
v
ariate qu
a
si
-
p
o
lyno
m
ials a
s
lists of pol
y
n
omials
commit
|
commitdiff
|
tree
2007-04-23
Sven
Verdoolaege
eva
l
ue_con
v
ert
.
cc: inclu
d
e "conf
i
g
.
h" to pick up USE_FDSTREA
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Ve
r
doo
l
aege
doc: ind
e
x
additions
commit
|
commitdiff
|
tree
2007-04-23
S
v
en Verdo
o
l
a
ege
doc:
triangula
t
ion in prima
l
space + some
t
ypo fixes
commit
|
commitdiff
|
tree
2007-04-23
Sven V
e
rdoolaege
doc: document inner_point
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
doc
:
refer
t
o Koep
p
e artic
l
e for
simp
l
er motiva
t
ion
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
S
v
en Verdoolaege
doc: more publications (implicitly) refering
t
o
the
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
Sven Verdool
a
ege
c
o
nfigu
r
e
.
in: add
$(EX
E
EXT) to opt
i
onal pr
o
grams for
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
Sven Verdoolaege
Ma
k
efile
.
am: make sure d
i
stribution c
o
nta
i
ns
r
equired
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
work around
i
ncomplete na
m
espace support in ol
d
compi
l
ers
commit
|
commitdiff
|
tree
2007-04-19
Sven
V
e
rdool
a
ege
disable some features if fdstream doesn't compile
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
S
v
en V
e
rdool
a
e
ge
barvinok_enumer
a
te
.
cc: avo
i
d use of
fdstream
commit
|
commitdiff
|
tree
2007-04-19
Sven Verd
o
ol
a
ege
b
a
rvinok_e
n
umerate: don't pr
i
nt (non
-
existi
n
g)
e
value
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdool
a
ege
edoma
i
n
.
c
c: avoid use of fdstream
commit
|
commitdiff
|
tree
2007-04-19
Sve
n
Verdoolaege
co
n
figure
.
in:
check fo
r
polylib/
p
olylibgmp
.
h
commit
|
commitdiff
|
tree
2007-04-19
Sv
e
n Verdoo
l
aege
decla
r
e
variable at start
of
code block
.
commit
|
commitdiff
|
tree
2007-04-18
Sven V
e
rdoolaege
Makefile
.
am: rebu
i
ld
libraries in subdirs if missing
commit
|
commitdiff
|
tree
2007-04-18
S
v
en Verdoolae
g
e
barv
i
nok_enumerate: rechec
k
f
o
r
e
qualities after "va
r
iable
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
Sven
V
erdoolaege
doc
:
a voting
the
o
ry report th
a
t
r
e
fers to the library
commit
|
commitdiff
|
tree
2007-04-15
S
v
en Verdoolaege
doc: update primal B
a
r
v
inok reference
commit
|
commitdiff
|
tree
2007-04-15
Sven Ve
r
d
o
olaeg
e
doc: add journal version of i
m
proved derivation pap
e
r
commit
|
commitdiff
|
tree
2007-04-13
Sven
Verdool
a
ege
vo
l
ume
.
c:
keep tr
a
ck of number
o
f
simplices
i
n
volume
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
Sven Ve
r
do
o
laege
test_approx: test volume
c
ompu
t
ation variations
commit
|
commitdiff
|
tree
2007-04-13
Sven Ver
d
oolaege
volume
.
c
:
volume_tri
a
ngulate: use vertex ins
t
ead of
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
ve
n
Verdoola
e
ge
v
olum
e
.
c
:
f
ace_vert
i
ces: use Param_Inn
e
r_Pro
d
u
ct
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
erd
o
ol
a
eg
e
Cal
l
set
_
p
r
ogram_name befo
r
e call
i
n
g
argp_
p
arse
.
commit
|
commitdiff
|
tree
2007-04-12
Sven V
e
rdo
o
laege
reduce_domain: e
x
ploit that
n
o caller uses Polyhedron2Para
m
_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
v
e
n Ver
d
o
o
lae
g
e
lexm
i
n: stop usi
n
g Polyhedron2Param_Si
m
plifiedD
o
main
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
barvinok
.
cc:
s
t
op using
Polyhedron2Pa
r
am_SimplifiedDomain
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoo
l
aege
Requi
r
e a ver
s
i
on o
f
P
o
lyLib that computes corre
c
t
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
volume
.
c: non_empty_point: si
m
ply use interna
l
point
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdool
a
ege
only compi
l
e barvinok_m
a
ximize if Gi
N
aC (and bern
s
t
e
in
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoola
e
ge
add an
e
h
r
hart
example with in
t
ere
s
ti
n
g ch
a
m
bers
commit
|
commitdiff
|
tree
2007-04-12
S
v
e
n Verdoolaege
test_
a
ppro
x
: test chamb
e
r ba
s
e
d
s
c
a
l
ing
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n
V
erdoo
l
aege
scale
.
c
:
optionally perform scalin
g
on
i
ndividual chambe
r
s
commit
|
commitdiff
|
tree
2007-04-12
S
v
e
n
Verdoolaege
bar
v
inok_
e
numerate: use "variable compr
e
ssion
"
to rem
o
ve
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
Verdoolaege
ut
i
l
.
c: le
f
t_inv
e
rse
:
ha
n
dle con
s
tant map
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoo
l
aege
evalue
.
c: evalue_substitute: move fro
m
edomain
.
cc
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n V
e
rd
o
olaeg
e
evalue
.
c
:
affine2eval
u
e
:
extracted
fro
m
volume
.
c
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
erdool
a
ege
re
d
uce_domai
n
: partition chamber complex based on inner
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven
Verdoolaege
reduce_domain
.
c:
extract inner_point a
n
d is_inter
n
al
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdoolaege
reduce_domain: chec
k
for adj
a
cent ch
a
mbers in si
m
plifie
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven V
e
r
d
oo
l
ae
g
e
FORALL_REDUCED_DOMAIN: extract common handling
of reduced
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoo
l
aege
b
a
rv
i
nok_enumerat
e
:
move re
c
u
r
sive
call during
s
caling
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sve
n
Verdoolaege
barv
i
nok
.
cc:
Para
m
_Polyhedron_Enumerate: extracted
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sv
e
n Verd
o
olaege
add some interest
i
ng
test c
a
ses for volume c
o
mputation
commit
|
commitdiff
|
tree
2007-04-09
Sven V
e
rdoolaege
perform very ba
s
ic polynomi
a
l
appr
o
ximation te
s
t
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
t
e
st_
a
pprox: com
p
are different po
l
ynomial approximations
commit
|
commitdiff
|
tree
2007-04-08
Sven
Ve
r
doolae
g
e
evalue_convert
.
cc:
p
artial suppor
t
for printing in
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
Param_Polyhedron
_
Volum
e
: per
f
orm lif
t
i
ng t
r
iangula
t
ion
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoo
l
aege
vol
u
me
.
c
:
i
n
t
r
o
duce
p
arameter_point
a
bstr
a
ction
commit
|
commitdiff
|
tree
2007-04-08
Sve
n
Verdoolaege
scale
.
c
: e
x
port Param_Verte
x
_Co
m
mon_Denom
i
na
t
or
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
volume
.
c: drop redundant arguments to volume_simplex
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
options
.
c: separa
t
e
polynomial approxi
m
atio
n
related
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven
V
erdoolaege
barvinok_op
t
ion
s
_new_wit
h
_defa
u
lts:
i
niti
a
lize
scale_flags
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolaege
triangulate_cone: skip Delaunay tri
a
ngula
t
i
o
n
by default
commit
|
commitdiff
|
tree
2007-04-07
Sve
n
Ver
d
oolaege
e
value_conve
r
t: print lattice when
prin
t
ing
as li
s
t
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven
V
erdoolae
g
e
eval
u
e_con
v
ert: ad
d
verbose
argum
e
nt
and retur
n
1
if
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Verdoolaege
Polyhedr
o
n_Flate: int
e
rsect in
f
l
ated po
l
yto
p
e with
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sv
e
n
Verdoolae
g
e
doc: bib: fix u
p
n
a
me
in titl
e
of Algorithm
i
c
a
paper
commit
|
commitdiff
|
tree
2007-04-05
Sv
e
n Verdool
a
ege
add mi
s
s
ing
volume
.
h file
commit
|
commitdiff
|
tree
2007-04-04
Sven Verd
o
olae
g
e
volume
.
c: delay comp
u
tation of p
o
int where volume
i
s
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
Sven Verdoo
l
aege
Param_Polyhe
d
r
o
n
_
Volume: set pol
y
nomial_
a
p
p
roximation
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
S
v
en Verdoolaege
v
o
lume
.
c
:
allow compu
t
ation
o
f lower and upper boun
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sv
e
n Verdoolae
g
e
scale: expo
r
t Polyhedron_Flate
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
barvinok_enume
r
ate
:
optionally com
p
ute "
v
olume" polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
polytope_vo
l
ume: co
m
pute volume of parametric p
o
lytope
commit
|
commitdiff
|
tree
2007-04-03
Sven Verd
o
olaege
reduce_domai
n
.
c: plug
m
emor
y
l
e
a
k
commit
|
commitdiff
|
tree
2007-03-31
S
v
e
n Ver
d
oolaege
verify
.
c: mo
v
e
computation of true context into check_poly_c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sve
n
Verdoo
l
a
ege
scale
.
c: add simpl
i
fied method
o
f com
p
uting tighter
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaeg
e
barvinok_enumerate: optionally comp
u
te ti
g
hter polynomi
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Ve
r
doolaege
polyhedron_sa
m
ple
.
c: remove
r
e
d
undant MAXRAYS define
commit
|
commitdiff
|
tree
2007-03-31
Sven
Ve
r
dool
a
ege
ev
a
l
ue
.
c
:
evalue_ev
a
l: support
r
elat
i
o
ns
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
evalue
.
c
:
evalue_frac2polynomial: prop
e
rly handle
r
elations
commit
|
commitdiff
|
tree
2007-03-31
Sven V
e
rd
o
olae
g
e
b
a
r
v
inok_enumerate: su
p
port approximation
b
y
means
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
scale
.
c:
avo
i
d simplifi
c
ation
o
f
c
onstraints aft
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verd
o
ol
a
ege
barv
i
nok/util
.
h:
a
dd POL_UNSET
macro for unsetting
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
V
erdoolaege
scale
.
c: Para
m
_P
o
lyhedro
n
_S
c
ale_Integer_Fast: ignore
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
v
en Verdoolaeg
e
move
Par
a
m_Polyh
e
dron_Scale_Inte
g
er
to scale
.
c
a
nd
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verd
o
ol
a
ege
use
s
eparate f
l
ags opt
i
on for scale approximation
m
ethod
commit
|
commitdiff
|
tree
2007-03-31
S
ven Verdool
a
ege
barvino
k
.
cc
:
move scaling to scale
.
c
commit
|
commitdiff
|
tree
2007-03-30
S
ven Verdoolaege
scale
.
c: corre
c
t extr
a
ct_lattice
i
n case o
f
redundant
.
.
.
commit
|
commitdiff
|
tree
2007-03-30
S
v
e
n
Verd
o
olaege
doc: update
CC2005 reference
commit
|
commitdiff
|
tree
2007-03-26
Sven
Verdoolaege
veri
f
_e
h
r
h
art
.
c
:
round
i
nexact evalu
a
tio
n
up or d
o
w
n
.
.
.
commit
|
commitdiff
|
tree
2007-03-26
S
v
en Ver
d
oolaege
verif_ehrhart
.
c: opt
i
o
n
a
lly use exact evaluatio
n
for
.
.
.
commit
|
commitdiff
|
tree
2007-03-25
S
ven Verdoolaege
evalue
.
c: add evalu
e
_e
v
al for exact
eva
l
uation o
f
evalue
commit
|
commitdiff
|
tree
2007-03-25
Sven Verd
o
olaege
eva
l
ue
.
c:
f
ix ev
a
lue_frac2
p
olynomial
f
or negati
v
e values
.
.
.
commit
|
commitdiff
|
tree
2007-03-20
Sve
n
Ver
d
oolaege
barvinok_enumerate: pe
r
f
orm
slow scaling approximation
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdo
o
laeg
e
fix Param_Polyhedro
n
_Sc
a
l
e_In
t
eger
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoolaege
bar
v
i
n
ok_
e
n
umerat
e
: more accurate polyn
o
mial appr
o
x
i
m
a
tion
commit
|
commitdiff
|
tree
2007-03-19
S
ven Verdoolaege
reorga
n
i
ze p
o
lynomial
appr
o
xim
a
tion options
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdo
o
laege
util
.
c
:
Pa
r
am_Polyh
e
dron_Pr
i
nt:
a
ct
u
a
l
ly use o
u
tpu
t
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven
V
e
rdool
a
ege
fix
merge of check_poly
f
rom verif_ehr
h
art
.
c and
lexmin
.
cc
commit
|
commitdiff
|
tree
2007-03-18
S
v
en Verdoo
l
aege
doc: update Koe
p
pe-Verdoolae
g
e reference
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
barvi
n
ok_maximize: supp
o
rt
ver
i
fication
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoo
l
a
ege
m
erge check_poly f
r
om veri
f
_ehr
h
art
.
c and lexmin
.
cc
commit
|
commitdiff
|
tree
2007-03-17
Sven
V
erdoola
e
ge
ev
a
lue
.
c: ma
k
e some evalue argu
m
ents co
n
st
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoola
e
ge
evalue_frac2floor2: a
l
so conv
e
rt
n
on-partiti
o
n
i
f no
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoo
l
a
e
ge
verify
.
c: change ver
i
fy_opti
o
n
s
_
set_range
p
roto
t
ype
commit
|
commitdiff
|
tree
next