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
doc: fix typo in Michele Vergne's name
2007-04-19
S
ven V
e
rdool
a
e
g
e
work aroun
d
i
n
complete nam
e
space support i
n
old
c
ompilers
commit
|
commitdiff
|
tree
2007-04-19
Sven Verd
o
o
laege
d
i
sable some f
e
atures if fdstre
a
m does
n
't compile
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
barvinok_enumera
t
e
.
cc: avoid use of fdstrea
m
commit
|
commitdiff
|
tree
2007-04-19
Sven
Verdool
a
e
ge
b
a
rv
i
nok_enumer
a
te: don't prin
t
(non-ex
i
sting) evalue
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdo
o
laege
edomain
.
cc: avoid use of fds
t
ream
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdo
o
laege
co
n
figure
.
i
n: check for polylib/po
l
ylibgmp
.
h
commit
|
commitdiff
|
tree
2007-04-19
Sven
Ve
r
doolaege
declare
v
a
r
iable
at st
a
rt of code block
.
commit
|
commitdiff
|
tree
2007-04-18
Sven
V
e
rdoolaeg
e
Makefil
e
.
am:
rebuild libraries in
s
ubdirs if missin
g
commit
|
commitdiff
|
tree
2007-04-18
Sven Verdoolaege
barv
i
nok_
e
numerate: recheck for e
q
ualit
i
es after "varia
b
le
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
Sve
n
Verdo
o
laege
doc:
a voting the
o
ry rep
o
r
t that refers to the libr
a
r
y
commit
|
commitdiff
|
tree
2007-04-15
Sven Verd
o
ola
e
ge
doc:
u
pdat
e
primal Barvinok referenc
e
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdoolae
g
e
doc: ad
d
journal
version
o
f improved
d
eri
v
a
tion
p
aper
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdoolaege
volume
.
c: keep
track of
n
umber of simp
l
i
c
es in vo
l
ume
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
Sv
e
n Verdoolaege
te
s
t_a
p
prox: test volume c
o
mputat
i
on variations
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdo
o
la
e
ge
volume
.
c: volume_triangul
a
te
:
use vertex ins
t
ead o
f
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
erdoola
e
ge
volume
.
c: face_vertices: use
Param_Inner_Pro
d
uct
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
Call set_prog
r
am_name
b
e
fore
calling argp_parse
.
commit
|
commitdiff
|
tree
2007-04-12
S
v
en Verd
o
olaeg
e
r
e
du
c
e
_
domai
n
: exploit that no c
a
ller uses
Polyhedron2Par
a
m_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
lexmin:
stop u
s
ing Pol
y
hedron2P
a
ram_
S
implif
i
edDomain
commit
|
commitdiff
|
tree
2007-04-12
S
v
en V
e
rdoolaege
barvinok
.
cc: st
o
p
us
i
ng Polyhedron2Pa
r
am_Si
m
plifi
e
dDomain
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
Requi
r
e a
v
ersion of
PolyLib th
a
t computes correct
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n
V
e
r
dool
a
ege
v
o
lu
m
e
.
c: non_empty
_
point: simp
l
y use inter
n
al poin
t
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
v
en Ve
r
dool
a
ege
only compi
l
e barvino
k
_maximize if GiNa
C
(and bernst
e
in
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
Ver
d
oolaege
add an ehrhart e
x
ample with inter
e
sting
ch
a
mbe
r
s
commit
|
commitdiff
|
tree
2007-04-12
Sven Verd
o
olae
g
e
tes
t
_approx
:
test chamber
b
a
sed s
c
aling
commit
|
commitdiff
|
tree
2007-04-12
S
v
e
n
Verdoolaege
scale
.
c: op
t
i
o
n
ally
p
e
r
form scaling on individual chambers
commit
|
commitdiff
|
tree
2007-04-12
S
ven Verdool
a
eg
e
b
a
r
vi
n
ok_enumerate
:
use "
v
a
r
iable
c
ompres
s
ion" to remove
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
ven Ve
r
doolaege
util
.
c
:
left_inverse: han
d
l
e
constant map
commit
|
commitdiff
|
tree
2007-04-12
S
v
en Verdoolaege
e
value
.
c
:
evalue_substitute: move from edo
m
ain
.
cc
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaeg
e
evalue
.
c
: affine2evalue: extr
a
c
te
d
from volume
.
c
commit
|
commitdiff
|
tree
2007-04-12
S
ve
n
Verdoolaege
reduce_domain: par
t
ition
c
ha
m
ber complex ba
s
ed on inner
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sv
e
n Ve
r
doolaege
reduce_domain
.
c
:
ex
t
ract inner_po
i
nt
and is_
i
n
t
ernal
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven
Verdoolaege
reduce_domain
:
chec
k
f
o
r a
d
jac
e
nt chambers in si
m
plified
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
S
v
e
n
V
e
rdoolaege
FORALL
_
REDUCED_DOMAIN:
e
xtract commo
n
han
d
lin
g
of
reduced
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
barvinok
_
e
n
u
merat
e
:
m
o
ve
recu
r
sive
call dur
i
ng scaling
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven V
e
r
d
oo
l
aege
barvinok
.
cc:
Param
_
Po
l
yhedron_Enumerate: extra
c
ted
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
add some in
t
eresting test case
s
for volume computation
commit
|
commitdiff
|
tree
2007-04-09
S
v
en Verdo
o
lae
g
e
perform very basic pol
y
nomial ap
p
roximation tes
t
commit
|
commitdiff
|
tree
2007-04-09
Sven V
e
r
d
oolae
g
e
t
est_approx: c
o
mpare different polynomial approximations
commit
|
commitdiff
|
tree
2007-04-08
Sven Ve
r
doolaeg
e
evalue_conv
e
r
t
.
cc: partial suppor
t
fo
r
printing in
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
Param_Polyhedron_Vo
l
ume:
p
erform
l
i
f
ting triangulation
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sve
n
Verdoolaege
volume
.
c:
i
n
t
roduce param
e
ter_po
i
nt abstrac
t
ion
commit
|
commitdiff
|
tree
2007-04-08
S
ven Verd
o
olaege
sc
a
l
e
.
c
:
ex
p
ort P
a
r
am_Vertex_C
o
mm
o
n_Denominator
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdo
o
laege
volume
.
c: drop redundant arguments t
o
volu
m
e_si
m
plex
commit
|
commitdiff
|
tree
2007-04-08
Sv
e
n Verdo
o
laege
o
ption
s
.
c: separate polynomial a
p
proximation related
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven
Verdoolaege
barvin
o
k_opt
i
ons_new_w
i
th_defaults: initiali
z
e
s
c
ale_flags
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdo
o
laege
triangulate_cone: ski
p
Del
a
unay t
r
i
a
n
g
u
l
a
tion by defau
l
t
commit
|
commitdiff
|
tree
2007-04-07
Sven V
e
rdool
a
ege
evalu
e
_convert:
print
l
atti
c
e when pri
n
ting
as l
i
st
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven
V
erdo
o
laege
evalue_conve
r
t
: add
verbose argument and return
1
i
f
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
S
v
en Verdool
a
ege
Polyhedron_Flate: int
e
rsect inflated polytope with
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
S
ven Verdoolaege
d
oc: bib: fix up name i
n
ti
t
le o
f
Algorithmica pape
r
commit
|
commitdiff
|
tree
2007-04-05
Sven V
e
rdoolaege
a
dd missing volu
m
e
.
h fi
l
e
commit
|
commitdiff
|
tree
2007-04-04
Sven Verdoolaege
volume
.
c: delay computat
i
on o
f
point where
v
olume is
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
Sven Verdoo
l
aege
Param_P
o
lyhedron_V
o
lum
e
: set polynomial_
a
pproximation
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoo
l
a
e
ge
volu
m
e
.
c
:
all
o
w co
m
put
a
tion of l
o
wer and up
p
er bound
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
scale: export Po
l
yhedron_Flate
commit
|
commitdiff
|
tree
2007-04-03
Sven Ve
r
doolaege
b
a
rvin
o
k_enumerate:
op
t
ionally compute "volume
"
polyno
m
ial
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoola
e
ge
polytope_vo
l
ume:
comp
u
t
e
volum
e
of parametric po
l
ytope
commit
|
commitdiff
|
tree
2007-04-03
Sve
n
V
erdoolaege
re
d
uce_do
m
ain
.
c:
p
l
ug memor
y
leak
commit
|
commitdiff
|
tree
2007-03-31
Sven Ver
d
oolaege
verify
.
c:
m
o
v
e
comp
u
tation of true context int
o
check_poly_
c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven V
e
r
d
oolaege
s
c
ale
.
c:
a
dd s
i
mplified
m
ethod o
f
comput
i
ng tighter
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
ven Ver
d
oolaege
b
arvinok_enu
m
erate: op
t
ionall
y
c
o
mpu
t
e
tighter polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
v
en Verdoo
l
aege
p
o
ly
h
edron_sa
m
p
l
e
.
c: remove redundant MAXRAY
S
define
commit
|
commitdiff
|
tree
2007-03-31
S
v
en Verd
o
olaege
e
v
al
u
e
.
c:
evalue_
e
val: suppo
r
t
relations
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
e
v
alue
.
c:
e
value_fr
a
c2
p
olyno
m
i
al:
p
ro
p
erly handle
r
ela
t
i
o
n
s
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n Verdoolaege
b
arvinok_en
u
mer
a
te:
support appr
o
x
imatio
n
by
means
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdool
a
ege
scale
.
c:
avoid simplific
a
t
i
on of
constr
a
ints afte
r
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verd
o
olaege
ba
r
vi
n
ok/ut
i
l
.
h: add POL_UNS
E
T macro for unset
t
ing
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdool
a
ege
scal
e
.
c: Param_Polyhedron_Scale_In
t
eger_Fast: ignore
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
V
erdoolaege
m
o
ve Param_Polyhedron_Scale_In
t
e
g
er to scale
.
c and
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
v
en
V
erdoola
e
ge
use separate flags
op
t
i
o
n
f
or s
c
a
l
e approx
i
matio
n
method
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
barvi
n
ok
.
cc:
m
ove scaling to sc
a
l
e
.
c
commit
|
commitdiff
|
tree
2007-03-30
S
ven Verd
o
olaege
scale
.
c: c
o
rre
c
t e
x
tract
_
l
attice in ca
s
e of red
u
ndant
.
.
.
commit
|
commitdiff
|
tree
2007-03-30
Sven Verdoolaege
doc: update CC2005
r
e
fer
e
nce
commit
|
commitdiff
|
tree
2007-03-26
S
v
en
Verd
o
ol
a
ege
verif_ehrh
a
rt
.
c: round i
n
e
x
a
ct
evaluati
o
n
u
p or down
.
.
.
commit
|
commitdiff
|
tree
2007-03-26
Sven V
e
rdoolaege
verif_ehr
h
art
.
c: optio
n
ally
u
se exac
t
ev
a
luation for
.
.
.
commit
|
commitdiff
|
tree
2007-03-25
Sve
n
Verd
o
o
l
aege
e
v
alue
.
c: add
e
value_eval
f
or exact evaluation of ev
a
l
u
e
commit
|
commitdiff
|
tree
2007-03-25
Sv
e
n Ve
r
doolaeg
e
evalue
.
c:
fix evalue_fra
c
2
po
l
ynomial for n
e
gative values
.
.
.
commit
|
commitdiff
|
tree
2007-03-20
S
v
e
n
V
erd
o
ol
a
ege
b
a
rvinok_enumerate: perform slow s
c
alin
g
approximation
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven
V
erdoo
l
aege
fi
x
Param
_
Polyhedron_Scale
_
Integer
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoolae
g
e
barvinok
_
enumerate: more accurate polynomial a
p
proximation
commit
|
commitdiff
|
tree
2007-03-19
Sven
V
erdoola
e
ge
r
eorganize polynomial approximation options
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoola
e
ge
util
.
c:
P
aram_Poly
h
edron_Print:
a
ctually use outp
u
t
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven
Verdo
o
laege
fix m
e
rge of check_poly from verif_ehrhart
.
c a
n
d lexmin
.
c
c
commit
|
commitdiff
|
tree
2007-03-18
Sven Verdoola
e
g
e
do
c
: upda
t
e
Koeppe-Verdoolaege
r
eference
commit
|
commitdiff
|
tree
2007-03-17
Sven Ve
r
doolaege
barv
i
nok_maximize: s
u
pport verification
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
merge check_p
o
ly from verif_ehrhart
.
c an
d
lexmin
.
cc
commit
|
commitdiff
|
tree
2007-03-17
Sven
V
e
rdoolaege
evalue
.
c: make so
m
e
evalue
a
r
g
uments
c
o
nst
commit
|
commitdiff
|
tree
2007-03-17
Sv
e
n Verdoolaege
evalue_frac2
f
loor2
:
also convert no
n
-partition if no
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
S
ven Verdoolaege
v
e
rify
.
c: change ve
r
i
fy_op
t
ions_set_range prototype
commit
|
commitdiff
|
tree
2007-03-17
S
v
e
n Verdoolaege
bernst
e
in
:
p
i
e
cew
i
se_l
s
t
::ev
a
luate: support differ
e
nt
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaeg
e
verify
.
c: turn off c
o
ntinue_on_erro
r
by default
commit
|
commitdiff
|
tree
2007-03-17
Sve
n
Verdoola
e
ge
bernstein: export nume
r
ic2
v
alue
commit
|
commitdiff
|
tree
2007-03-15
S
v
en Verd
o
olaeg
e
d
o
c: proof of existence of suitable
y
for primal deco
m
positi
.
.
.
commit
|
commitdiff
|
tree
2007-03-15
S
v
en Verdoolaege
do
c
: fix proof o
f
existen
c
e of s
u
itable y for
p
rimal
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaege
b
e
rnstein
.
cc: b
e
rnstein_coef
f
icients: create signed
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolae
g
e
barvi
n
ok_ma
x
i
mize: optionally
use
r
ecursive berns
t
ein_coeffi
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
S
v
en Verdoo
l
ae
g
e
bern
s
tei
n
.
cc: b
e
rnstein_coeffici
e
nts: suppo
r
t
general
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
S
ven Verd
o
ola
e
ge
bernst
e
i
n
.
cc: refactor bernstein_c
o
eff
i
cient
s
_pr
o
duct
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaege
bernstein:
p
iecewise_lst: a
d
d sign and rem
o
ve
r
edundant
.
.
.
commit
|
commitdiff
|
tree
next