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
bump version
2007-04-28
S
v
en Ver
d
oolaeg
e
bu
m
p v
e
rsion
commit
|
commitdiff
|
tree
2007-04-28
S
ven Verd
o
olae
g
e
doc:
upd
a
te options a
n
d so
m
e function
commit
|
commitdiff
|
tree
2007-04-28
Sve
n
Verd
o
o
laege
doc: docu
m
ent volume computation
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdo
o
laege
doc
:
m
o
re report
s
expl
a
i
n
ing
p
arts of
barvi
n
o
k
commit
|
commitdiff
|
tree
2007-04-28
Sven Ve
r
doo
l
aege
b
er
n
stein: bump version
commit
|
commitdiff
|
tree
2007-04-28
Sven V
e
r
doo
l
aege
d
oc: tr
a
nsformation of parameter domain to hav
e
r
evlex
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
S
ven
Verdo
o
laege
ba
r
vinok
.
cc: barvino
k
_c
o
unt_f: avoid warning on
r
e
c
ursive
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Ver
d
oolaege
util
.
c: un
i
modular_complete: handle
c
ompletion of more
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven Ver
d
o
o
laege
barvin
o
k_enumerate
.
cc:
handle al
l
l
i
nes i
n
--seri
e
s
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
ba
r
v
i
nok_enume
r
ate
.
cc: serie
s
: pl
u
g memory leak
commit
|
commitdiff
|
tree
2007-04-26
S
v
en
Ve
r
doolaege
doc: docum
e
nt left_
i
nverse
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
doc: remov
e
r
e
ference t
o
o
l
d
barvi
n
ok_serie
s
application
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolae
g
e
do
c
: update evalue_bernstei
n
_coeffi
c
ien
t
s
commit
|
commitdiff
|
tree
2007-04-26
S
ven Verdool
a
ege
ba
r
v
inok/options
.
h
:
put s
t
ats first in barvi
n
ok_o
p
tio
n
s
commit
|
commitdiff
|
tree
2007-04-25
Sven Ver
d
oolaege
barvinok_maxi
m
ize:
read_eva
l
ue:
s
u
pport relati
o
ns
commit
|
commitdiff
|
tree
2007-04-25
Sven Verd
o
olaege
ber
n
s
t
ein
.
cc: evalue_be
r
n
stei
n
_coeffic
i
ents: handle
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sv
e
n
V
e
rdoolae
g
e
barvinok_maximize: evalue_read: allow identifi
e
rs to
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sv
e
n V
e
rdoolaege
barvinok_max
i
m
i
ze: mov
e
--
(
bernstein-)rec
u
rse option
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
lib/a
r
gp:
f
ix l
o
gic in ho
l
_c
l
uster_cmp
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
bar
v
in
o
k_maximize:
a
l
low spe
c
ification of the vari
a
bles
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
b
arvinok_maximi
z
e: barf on un
e
x
pected fir
s
t token
commit
|
commitdiff
|
tree
2007-04-23
Sv
e
n V
e
rdo
o
laege
doc
:
more documents refering to the librar
y
commit
|
commitdiff
|
tree
2007-04-23
Sven Ve
r
doolaege
ev
a
lu
e
_convert
.
cc: eva
l
ue
_
coset: support rela
t
ions
commit
|
commitdiff
|
tree
2007-04-23
Sve
n
Verdoolaege
evalu
e
.
c
: pr
i
nt_evalue: a
l
way
s
print
newline at the en
d
commit
|
commitdiff
|
tree
2007-04-23
Sven V
e
r
d
oolaege
d
oc: multivar
i
a
t
e quasi
-
poly
n
omials
as li
s
ts of p
o
l
ynomials
commit
|
commitdiff
|
tree
2007-04-23
Sven Ver
d
ool
a
eg
e
evalue_convert
.
cc: in
c
lude "config
.
h" to pick up US
E
_FDSTREA
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
doc:
i
n
d
e
x additio
n
s
commit
|
commitdiff
|
tree
2007-04-23
Sven Ve
r
doolaege
doc:
t
r
i
a
ngulation
i
n pri
m
al space +
some typ
o
fixes
commit
|
commitdiff
|
tree
2007-04-23
Sv
e
n Verd
o
ola
e
ge
doc:
d
o
cument inner_point
commit
|
commitdiff
|
tree
2007-04-23
Sven Verd
o
olaege
do
c
: ref
e
r to Ko
e
p
pe article for si
m
pler motiva
t
ion
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
d
oc: more publica
t
ions
(
implicit
l
y) r
e
f
ering t
o
the
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
Sven Verdoolaege
configure
.
in: add $(EXEEXT) to
opt
i
onal
p
rograms for
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
Sven Ve
r
doolaege
Makefile
.
am: make sure distributio
n
contains req
u
i
r
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven
V
erd
o
olaege
work ar
o
und incomplete nam
e
space
s
up
p
ort in old c
o
mpile
r
s
commit
|
commitdiff
|
tree
2007-04-19
Sven
Verdoola
e
g
e
d
i
sab
l
e some
features if fd
s
tream doesn't comp
i
le
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
bar
v
inok_enumerate
.
c
c: avoid use of fdstr
e
a
m
commit
|
commitdiff
|
tree
2007-04-19
Sv
e
n Verdoolaege
barvinok_enu
m
erate:
d
on't
prin
t
(no
n
-existi
n
g) eval
u
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolae
g
e
edomain
.
cc
:
a
v
o
i
d
use o
f
fdstream
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaeg
e
config
u
re
.
i
n:
c
he
c
k
f
or
polylib/polylibgm
p
.
h
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
d
e
c
lare varia
b
le at start
o
f
c
o
d
e blo
c
k
.
commit
|
commitdiff
|
tree
2007-04-18
Sv
e
n
V
erdoolae
g
e
Mak
e
fi
l
e
.
am: rebuild libraries in s
u
b
dirs if mis
s
ing
commit
|
commitdiff
|
tree
2007-04-18
S
ven
V
e
rdoolaege
bar
v
inok_enumerate: recheck for equalities aft
e
r "
v
ariable
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
S
v
en Verd
o
olaege
doc: a vo
t
in
g
t
h
eory
r
eport
tha
t
refers
t
o the library
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdoolaege
doc: update primal Barvinok reference
commit
|
commitdiff
|
tree
2007-04-15
Sv
e
n Ver
d
oolaege
doc:
a
d
d
j
o
u
rnal vers
i
on of
i
mprove
d
derivation paper
commit
|
commitdiff
|
tree
2007-04-13
Sv
e
n Verdo
o
laege
volu
m
e
.
c: keep t
r
ack of number o
f
simplices in volu
m
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdoolaege
test_ap
p
rox: tes
t
v
o
l
u
me comput
a
tion variations
commit
|
commitdiff
|
tree
2007-04-13
Sven
V
e
rdoolaege
vol
u
me
.
c: vo
l
um
e
_triangulate
:
use vertex instead
o
f
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
v
e
n Verdoolaege
volume
.
c
:
face_vertic
e
s: use Pa
r
am_Inner_Produc
t
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
Call set
_
pr
o
g
r
am_
n
a
m
e
before calling argp_par
s
e
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Ver
d
o
o
laege
re
d
uce_domain
:
exp
l
oit that no
c
all
e
r uses Polyhed
r
on2Par
a
m_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
lexmin: s
t
o
p
using Polyh
e
dr
o
n2Param_Simplif
i
edDo
m
ain
commit
|
commitdiff
|
tree
2007-04-12
S
ven Ve
r
doolaege
barvinok
.
c
c:
stop using
P
o
lyh
e
dro
n
2Param_SimplifiedDom
a
in
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoola
e
ge
Require
a v
e
rsi
o
n of
P
olyLib tha
t
com
p
utes co
r
re
c
t
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdool
a
ege
volume
.
c: n
o
n_empty_p
o
int: simply
u
se in
t
e
r
nal point
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
only compile barvin
o
k_maximize if Gi
N
a
C
(and bernstei
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
e
rdoolaege
a
d
d
a
n ehrha
r
t examp
l
e with interesting c
h
ambers
commit
|
commitdiff
|
tree
2007-04-12
S
v
en Verdoolae
g
e
test_approx: test chamber based scali
n
g
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
erd
o
o
l
ae
g
e
scale
.
c: optionally perform scaling on
indi
v
idual chambers
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdo
o
l
a
ege
barvinok_enumerate: us
e
"variable
c
ompressio
n
" to rem
o
ve
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verd
o
o
laege
util
.
c
:
left_inverse: handle con
s
tan
t
map
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
evalue
.
c: evalue_substitute: move from edom
a
in
.
cc
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdo
o
la
e
ge
evalue
.
c: affine2
e
value: extracted from
v
olume
.
c
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
erdoolaege
reduc
e
_domain: partition
c
ha
m
b
e
r co
m
plex based on inner
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdoolaege
reduce_domain
.
c
:
extract inner_point and is_in
t
ernal
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
S
v
en
Verdoolaege
r
ed
u
ce_
d
omain: ch
e
ck for ad
j
acent c
h
ambers i
n
simplified
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven
Verdo
o
l
aege
FORA
L
L_RE
D
UCE
D
_DOMAIN: extract common
h
and
l
ing
o
f
r
educed
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven
V
e
rd
o
olaege
barvinok_
e
nu
m
e
rate
:
move recursi
v
e call
d
uring scal
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolae
g
e
barvin
o
k
.
cc: Par
a
m_Polyhedro
n
_Enumerate: extracted
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
add
s
ome inter
e
s
ting test cases for volume computat
i
on
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaeg
e
perform ve
r
y
basic
p
olyno
m
i
al approx
i
matio
n
test
commit
|
commitdiff
|
tree
2007-04-09
Sven V
e
rdoo
l
a
e
g
e
test_approx
:
compare d
i
f
f
erent
p
o
lynomial appro
x
imations
commit
|
commitdiff
|
tree
2007-04-08
S
ven
V
erdool
a
ege
evalue_convert
.
c
c: pa
r
t
ial suppo
r
t
f
or prin
t
ing in
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaeg
e
Param_Polyhedron_Volume: p
e
r
form lifting
tri
a
ngulation
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
S
v
e
n
Verdo
o
laege
v
o
lume
.
c: introduce para
m
eter_
p
oint
a
bstraction
commit
|
commitdiff
|
tree
2007-04-08
S
v
en Verdoolaege
s
c
ale
.
c:
export Param_V
e
rtex_Co
m
mon_Deno
m
i
nator
commit
|
commitdiff
|
tree
2007-04-08
Sve
n
Verdool
a
ege
vol
u
m
e
.
c: dro
p
redu
n
dan
t
arguments t
o
volume_simplex
commit
|
commitdiff
|
tree
2007-04-08
Sve
n
Verdoo
l
aege
opt
i
ons
.
c: separate
p
olynom
i
a
l ap
p
roxima
t
i
o
n
related
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdo
o
laege
b
a
rvinok_options_new_with_defau
l
ts: initialize scale_flags
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoo
l
aeg
e
triangulate_cone:
s
kip D
e
l
a
unay trian
g
ulation by d
e
fault
commit
|
commitdiff
|
tree
2007-04-07
Sven V
e
rd
o
olaege
evalue_conv
e
rt: print latt
i
ce when pri
n
ting as li
s
t
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolaege
eval
u
e_convert: add verbose ar
g
ument and
r
et
u
rn 1 if
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
S
v
en Verdoolaege
Polyhedron_Flate:
inter
s
e
c
t
inflated pol
y
top
e
with
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Verdoolaege
doc: b
i
b:
f
i
x
up
n
am
e
in ti
t
le of
Alg
o
rithmica paper
commit
|
commitdiff
|
tree
2007-04-05
Sve
n
Verd
o
olae
g
e
add missing vo
l
ume
.
h file
commit
|
commitdiff
|
tree
2007-04-04
Sven
Ve
r
doo
l
aege
volume
.
c
:
d
el
a
y computa
t
ion of p
o
in
t
wh
e
re vol
u
m
e is
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
Sv
e
n
Verdoolaege
Param_P
o
lyhedron_Volume: set po
l
ynomia
l
_approximati
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven
V
erdoolaege
volume
.
c: allow
co
m
pu
t
a
tion of lower and
upper b
o
un
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdool
a
e
ge
scale: e
x
port
P
olyhedron_
F
l
at
e
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdool
a
ege
ba
r
vinok_
e
numerat
e
: option
a
lly com
p
ut
e
"
v
olume" po
l
ynomial
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verd
o
olaege
polytope
_
volume
:
compute vo
l
ume o
f
pa
r
a
m
e
tric polytope
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
r
educe_domain
.
c: plug memory leak
commit
|
commitdiff
|
tree
2007-03-31
Sven
Ve
r
doolaege
verify
.
c: move computati
o
n of true context i
n
to check_poly_c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
Verdoolaege
scale
.
c
:
add simplifi
e
d method of
c
o
m
putin
g
t
i
ghter
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdool
a
e
g
e
barvin
o
k_enume
r
ate: optionally comput
e
tig
h
ter polyn
o
mia
l
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
polyhe
d
ron_samp
l
e
.
c: remove red
u
n
d
a
nt MAXRAYS define
commit
|
commitdiff
|
tree
2007-03-31
Sven
V
erdoolaege
evalue
.
c: evalue_eval: support relations
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
evalue
.
c: evalue_f
r
a
c
2polynomial
:
proper
l
y handle r
e
lations
commit
|
commitdiff
|
tree
2007-03-31
Sve
n
Verdoolaeg
e
bar
v
i
nok_enume
r
ate: sup
p
ort approximation by m
e
an
s
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Ve
r
doolaege
sca
l
e
.
c
:
av
o
id simplification of constraints after
.
.
.
commit
|
commitdiff
|
tree
next