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_convert.cc: evalue_coset: support relations
2007-04-23
S
v
en Verdoolaege
evalue_convert
.
c
c: evalue_co
s
et:
support rela
t
i
o
n
s
commit
|
commitdiff
|
tree
2007-04-23
Sve
n
Ver
d
oolaege
evalue
.
c:
print_evalue: alw
a
ys print
newlin
e
a
t
th
e
end
commit
|
commitdiff
|
tree
2007-04-23
Sven Ver
d
oolae
g
e
d
oc: mu
l
t
i
variate
q
uasi-polynomials
a
s
lists of poly
n
omials
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
e
v
alue_convert
.
cc: include
"
c
o
nfig
.
h"
t
o pick up USE_FDSTREA
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolae
g
e
d
o
c: index additions
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
do
c
: t
r
iangulation in primal space + some typo fix
e
s
commit
|
commitdiff
|
tree
2007-04-23
Sven
Verdoolaeg
e
doc: document
i
nner_poin
t
commit
|
commitdiff
|
tree
2007-04-23
S
ven Verdoolae
g
e
doc: refer to Koeppe article for simple
r
moti
v
a
tion
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
doc: more publications
(implic
i
tl
y
) ref
e
ri
n
g to
th
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
Sven Verdoolaege
co
n
figure
.
in: add
$
(EXEEX
T
) to op
t
ion
a
l
program
s
f
or
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
Sven Verdoolaeg
e
Makefile
.
am: make sure di
s
tribution contains required
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
S
v
en Ver
d
oolaege
barvinok_enumerate: don't pr
i
n
t
(non-exis
t
i
n
g) evalue
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven
Verdoo
l
a
e
ge
edom
a
in
.
c
c: avoid use
o
f
f
d
s
tr
e
am
commit
|
commitdiff
|
tree
2007-04-19
Sv
e
n Verd
o
olaege
configure
.
in: check for poly
l
ib
/
pol
y
libgmp
.
h
commit
|
commitdiff
|
tree
2007-04-19
S
v
en Verdool
a
ege
declare
v
ariable at start of
code b
l
ock
.
commit
|
commitdiff
|
tree
2007-04-18
Sven Verdoolae
g
e
M
a
kefile
.
am
:
rebuild
l
ibraries in subdi
r
s if missing
commit
|
commitdiff
|
tree
2007-04-18
Sven
V
e
rdoolaege
barvinok_enum
e
rate: rec
h
e
c
k for
e
qualit
i
es after
"
var
i
a
b
le
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
Sven Ver
d
oola
e
ge
doc: a voting
theory report that refers to the lib
r
ary
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdoolaege
d
oc
:
upda
t
e primal B
a
rvinok reference
commit
|
commitdiff
|
tree
2007-04-15
S
v
e
n Verdoolaege
doc:
a
dd journ
a
l ver
s
i
o
n of
improv
e
d derivation paper
commit
|
commitdiff
|
tree
2007-04-13
Sve
n
Ve
r
doola
e
ge
v
o
lume
.
c: keep tr
a
ck of num
b
er
of
simplices in v
o
lume
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
Sven Ve
r
dool
a
ege
test_
a
pprox
:
test volume computa
t
ion variations
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdoo
l
aege
volume
.
c: v
o
l
u
me_
t
ri
a
ngu
l
ate: use vertex instead of
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Ve
r
do
o
laege
vo
l
ume
.
c
:
fac
e
_vertices:
u
s
e
Param_Inner_Product
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
erdoolaege
reduce
_
dom
a
in: exploit that no
c
a
l
ler uses Pol
y
hedron2Param_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verd
o
ola
e
ge
lex
m
in: sto
p
using Polyhedron2Para
m
_SimplifiedDomain
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
barvinok
.
cc:
stop
u
sing Polyhedron2Param_Si
m
plifiedDomain
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolae
g
e
Require a vers
i
on
o
f
PolyLib that computes correct
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven
Verdoolaege
volume
.
c: no
n
_empty_
p
o
i
nt: simp
l
y use internal p
o
int
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n V
e
rdoolaege
add
a
n ehrh
a
r
t
examp
l
e with intere
s
ting chambers
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaeg
e
te
s
t_approx: test ch
a
mber bas
e
d s
c
a
ling
commit
|
commitdiff
|
tree
2007-04-12
S
ven V
e
rdoo
l
a
e
ge
s
cale
.
c: op
t
i
onall
y
p
e
rform scaling on indiv
i
dual c
h
ambers
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoo
l
aege
b
a
r
vinok_enumerate: u
s
e
"variable compres
s
ion"
to remove
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Ve
r
doolaege
util
.
c:
l
eft_inve
r
se: ha
n
dle constant m
a
p
commit
|
commitdiff
|
tree
2007-04-12
S
ven Verdoolaeg
e
ev
a
lue
.
c: eval
u
e
_
substitute
:
mov
e
fr
o
m edomain
.
cc
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
erdoo
l
aege
e
v
alue
.
c: affine2evalue: extr
a
c
ted from volume
.
c
commit
|
commitdiff
|
tree
2007-04-12
Sven Verd
o
olaege
reduce_d
o
main: part
i
t
ion
ch
a
mber complex
b
ased on
i
nner
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sv
e
n Verdoola
e
ge
reduce_d
o
main
.
c: extract
inn
e
r_
p
oint and
is_internal
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sv
e
n Verdoolaege
reduce_do
m
ain: c
h
e
c
k for adjacent chambers in
s
implified
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sv
e
n Verdoola
e
ge
FO
R
A
L
L_REDU
C
ED_DOMAIN: ex
t
ra
c
t
c
ommon handling of reduc
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sve
n
Verdoolaege
barvi
n
ok_enumerate:
m
ove recursiv
e
call
d
uring
s
caling
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
barvinok
.
cc:
Para
m
_Polyh
e
dr
o
n_Enumerate
:
extr
a
cted
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
S
v
en V
e
rdool
a
e
ge
a
dd some inter
e
sting
te
s
t cases
f
o
r volume comp
u
t
a
t
ion
commit
|
commitdiff
|
tree
2007-04-09
Sven
V
erdoolaege
p
erform very basic
p
o
l
ynomial
a
pprox
i
mat
i
on test
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
test
_
approx: compare different polynomial
approximat
i
ons
commit
|
commitdiff
|
tree
2007-04-08
S
v
en Verdoolaege
evalu
e
_con
v
er
t
.
cc: par
t
ial s
u
p
port
f
or printing in
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven V
e
rdoolaege
P
ar
a
m
_
Polyhed
r
on_Volume:
p
erform
lifting
tri
a
ngulation
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sv
e
n Verdo
o
laege
volume
.
c:
intro
d
u
ce
p
ara
m
eter_point
abstraction
commit
|
commitdiff
|
tree
2007-04-08
Sven
Verdoolaege
scal
e
.
c:
e
xport Param_V
e
rtex_Commo
n
_Den
o
mi
n
a
t
or
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
volu
m
e
.
c: drop r
e
d
u
ndant argumen
t
s to volume_simplex
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdo
o
laeg
e
options
.
c: sep
a
ra
t
e polynomial
a
pproximation related
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolaege
barv
i
nok
_
options_
n
ew
_
w
ith
_
d
ef
a
ults: initialize sca
l
e_flags
commit
|
commitdiff
|
tree
2007-04-07
Sven
V
erdoolaeg
e
triang
u
l
a
te_cone
:
skip Delaun
a
y
tri
a
ngulation by
default
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolaeg
e
evalu
e
_conver
t
: print
l
attice w
h
en
p
ri
n
ting a
s
list
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven
V
er
d
oolaege
evalue_convert: add verbose
a
rgument
and return 1
i
f
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Verdoolaege
P
o
l
yhedron_Flate: in
t
ersect inf
l
ated polytope with
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Verdoo
l
aege
doc: bib: f
i
x up name in title
o
f
Algo
r
ithmica paper
commit
|
commitdiff
|
tree
2007-04-05
Sven Verdoolaege
add missing volume
.
h file
commit
|
commitdiff
|
tree
2007-04-04
Sve
n
Verdoolaege
v
o
lum
e
.
c:
d
ela
y
computation o
f
point w
h
e
re
v
ol
u
m
e is
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
Sven Verdool
a
ege
Par
a
m_Polyhedron_Volume: set polynom
i
al_approximation
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sve
n
Verdo
o
la
e
g
e
volume
.
c: allow
c
o
m
put
a
tion of lo
w
er and upper bound
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Ve
r
doolaege
scale: export Poly
h
edr
o
n_Flate
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdool
a
ege
bar
v
in
o
k_enumera
t
e: opti
o
n
ally compute "volume" polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaeg
e
poly
t
ope_volume:
compute volume of
parametric polytope
commit
|
commitdiff
|
tree
2007-04-03
S
ven
V
erdoolaege
re
d
uce_do
m
ai
n
.
c: plu
g
mem
o
ry leak
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolae
g
e
verify
.
c: move compu
t
ation of
t
rue context into
c
heck_poly_c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n Verdoolaege
scale
.
c
:
add
s
implified me
t
hod
of c
o
mputin
g
tigh
t
er
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
ven
V
erdool
a
eg
e
barvi
n
ok_enumerate: opti
o
nally compute tighter polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
ven Verdoo
l
aeg
e
polyhe
d
ron_sample
.
c: remo
v
e redundant MAXRAYS de
f
ine
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
evalue
.
c
: evalue_eval:
s
upp
o
rt rela
t
io
n
s
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n Verdool
a
ege
evalue
.
c
: e
v
alue_frac2poly
n
o
m
i
al: properly
h
andle r
e
l
a
tions
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoola
e
ge
b
a
rvino
k
_enum
e
rate: support approx
i
m
a
t
i
on by
m
eans
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
Verdo
o
laege
scale
.
c:
avoid simplif
i
cation of
c
onstr
a
ints after
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven V
e
rdo
o
laege
barvino
k
/util
.
h: a
d
d POL_UNSET
m
acro for uns
e
tt
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
ve
n
Verdoolaege
scale
.
c
:
Param_Polyhedron_Scale_Integer_Fa
s
t: i
g
n
o
re
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdool
a
ege
move
P
aram_
P
oly
h
edron_Scale_Integer to scal
e
.
c
and
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
ven Verdoolae
g
e
use separate flag
s
option for
s
c
ale approxi
m
ation method
commit
|
commitdiff
|
tree
2007-03-31
Sven Ve
r
dool
a
ege
bar
v
ino
k
.
cc
:
mov
e
s
ca
l
ing
to
s
c
a
le
.
c
commit
|
commitdiff
|
tree
2007-03-30
Sven Verd
o
olaeg
e
s
c
al
e
.
c: correct extract_lattice in c
a
se
of redundant
.
.
.
commit
|
commitdiff
|
tree
2007-03-30
Sve
n
Verdool
a
ege
doc:
u
pda
t
e
CC2005
r
eference
commit
|
commitdiff
|
tree
2007-03-26
Sven Verdoolae
g
e
verif
_
eh
r
hart
.
c: round inexact evaluation up or dow
n
.
.
.
commit
|
commitdiff
|
tree
2007-03-26
Sv
e
n Verdo
o
laege
ve
r
if_ehrhart
.
c: optionally use exact evaluation
for
.
.
.
commit
|
commitdiff
|
tree
2007-03-25
Sven Verdoola
e
ge
e
v
alue
.
c: add
ev
a
lue_
e
val for exact evaluation
o
f evalue
commit
|
commitdiff
|
tree
2007-03-25
Sv
e
n
Ve
r
doola
e
ge
evalue
.
c:
f
i
x
e
v
alue_frac2
p
o
l
y
n
omial for negative va
l
ues
.
.
.
commit
|
commitdiff
|
tree
2007-03-20
Sv
e
n Verdoolae
g
e
barvinok
_
enumerate: perform slow s
c
a
l
ing
approxim
a
tion
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
S
ven V
e
rdo
o
la
e
ge
fix Pa
r
am_Polyhedron_Scale_Integer
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoolaege
barvinok_e
n
ume
r
ate: more
acc
u
rate polynomial approximation
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoolaege
reorgani
z
e polynomial appro
x
ima
t
ion options
commit
|
commitdiff
|
tree
2007-03-19
Sven
V
erdoolaege
util
.
c
: Para
m
_Polyhedron_Print: actually
u
s
e output
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven Ve
r
d
ool
a
ege
fix merge
of che
c
k_poly from ve
r
if_ehrhart
.
c a
n
d lexmin
.
cc
commit
|
commitdiff
|
tree
2007-03-18
Sv
e
n
Verd
o
o
laege
doc
:
up
d
a
t
e
Koepp
e
-Verdoolaege referen
c
e
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
b
arvinok_
m
aximize:
s
upport verific
a
tion
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaeg
e
merge check_poly from v
e
rif_ehrhar
t
.
c and le
x
min
.
cc
commit
|
commitdiff
|
tree
2007-03-17
Sven Ver
d
oolaeg
e
e
value
.
c:
m
a
ke some evalue argume
n
ts con
s
t
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoo
l
aege
evalue
_
frac2
f
lo
o
r2: also convert non-par
t
i
tion if no
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
S
v
en Verdoolaege
v
e
rify
.
c: ch
a
nge
veri
f
y_opti
o
ns_set_range protot
y
pe
commit
|
commitdiff
|
tree
2007-03-17
Sven Ver
d
ool
a
ege
b
e
rn
s
tein: piecewise_ls
t
::
e
valuate: support differen
t
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
verify
.
c: turn off
c
ontinu
e
_on_error by default
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdo
o
l
a
ege
b
e
rnstein: e
x
port numeri
c
2
value
commit
|
commitdiff
|
tree
2007-03-15
Sven Verd
o
o
l
aege
doc: proof of existenc
e
o
f
suitable y for primal de
c
ompositi
.
.
.
commit
|
commitdiff
|
tree
next