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: add journal version of improved derivation paper
2007-04-15
S
v
en Verdoolaeg
e
doc: a
d
d journal version
of
improved d
e
rivation
paper
commit
|
commitdiff
|
tree
2007-04-13
Sven V
e
rdoolaege
volum
e
.
c: keep track of num
b
er of
s
im
p
lic
e
s in
vol
u
me
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
S
v
en
V
erdool
a
ege
test
_
ap
p
rox: test
vo
l
ume
com
p
utation v
a
riations
commit
|
commitdiff
|
tree
2007-04-13
Sven Ver
d
o
o
laege
volume
.
c
:
volume_triangula
t
e: use vertex instead of
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
volume
.
c: fa
c
e_vert
i
ces: use Param_Inner_Product
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n Verd
o
olaege
Call set_progr
a
m_name
b
efore calling
a
r
gp_parse
.
commit
|
commitdiff
|
tree
2007-04-12
S
ven Ver
d
oola
e
g
e
reduce_domain: exploit that no caller uses Polyh
e
dron2
P
aram_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n Verdo
o
l
a
ege
le
x
min: stop u
s
ing Po
l
yhedron
2
Pa
r
am_SimplifiedDomain
commit
|
commitdiff
|
tree
2007-04-12
Sven Verd
o
olaege
ba
r
v
i
nok
.
cc:
stop
u
si
n
g Polyhed
r
on2Param_S
i
mplif
i
edDoma
i
n
commit
|
commitdiff
|
tree
2007-04-12
Sven Ve
r
d
oolaege
Re
q
uire
a
versi
o
n of
PolyLib that
co
m
putes correct
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
v
en Verd
o
olaege
vol
u
me
.
c: non
_
e
mpty_point: s
i
m
ply use int
e
rnal p
o
int
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
add
a
n ehrhar
t
example wit
h
in
t
eresting c
h
ambers
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
erdo
o
laege
test_ap
p
rox: test chambe
r
based scaling
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoola
e
ge
sc
a
le
.
c: option
a
l
ly
perform s
c
a
l
ing on indi
v
id
u
al c
h
ambers
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
barv
i
nok_enumerate:
u
s
e "variable compress
i
on" to re
m
ove
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdo
o
laeg
e
ut
i
l
.
c: left
_
inverse: handle constant m
a
p
commit
|
commitdiff
|
tree
2007-04-12
Sven Ve
r
dool
a
ege
evalue
.
c:
eva
l
ue_
s
ubstitute: move
from edomai
n
.
cc
commit
|
commitdiff
|
tree
2007-04-12
S
ven Verd
o
olaege
evalue
.
c: affine2evalue:
e
x
trac
t
e
d f
r
om vo
l
ume
.
c
commit
|
commitdiff
|
tree
2007-04-12
Sven
Verdo
o
laege
reduce_domain:
pa
r
t
i
t
ion c
h
amber c
o
mplex b
a
s
e
d on
i
nner
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdoola
e
ge
reduce_do
m
a
i
n
.
c
: extract inner_po
i
n
t and is_internal
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven V
e
rdoolaege
r
educe_dom
a
in: check for adj
a
cent chambers in simplified
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven
Verdoolaeg
e
FORALL_REDU
C
E
D_DOMAIN: extract common
h
andlin
g
o
f
reduced
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
barvi
n
ok
_
enumerate: move recur
s
ive call dur
i
ng s
c
aling
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
S
v
e
n
Ver
d
oola
e
ge
barvinok
.
cc: Param_
P
olyhedron_Enumerate: extracted
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sve
n
Verdoolaege
add
s
o
me
i
nteresting
t
e
s
t cases for volume com
p
u
t
ation
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdool
a
ege
p
e
rf
o
r
m very ba
s
ic polyno
m
ia
l
app
r
ox
i
mat
i
on t
e
st
commit
|
commitdiff
|
tree
2007-04-09
Sven Ve
r
doolaege
test_approx: compar
e
differe
n
t polynomial a
p
proximations
commit
|
commitdiff
|
tree
2007-04-08
S
v
en Verdoolae
g
e
evalue
_
c
onvert
.
cc
:
parti
a
l support for printi
n
g
in
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdool
a
ege
Param_Polyhedron_V
o
lu
m
e
:
pe
r
form lifti
n
g triangulatio
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Ve
r
doolaege
volume
.
c: introduce
p
arameter_poi
n
t abs
t
raction
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
scale
.
c: export Para
m
_Vertex_Co
m
mon_Denomin
a
t
or
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
volu
m
e
.
c: drop r
e
dundant argu
m
ents to
v
olume_simplex
commit
|
commitdiff
|
tree
2007-04-08
Sven Ve
r
d
o
olaege
optio
n
s
.
c: separate
p
o
l
y
nomi
a
l approximation related
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolaege
b
a
rvinok_options
_
new_with_defa
u
lts: i
n
itializ
e
s
c
ale_
f
lags
commit
|
commitdiff
|
tree
2007-04-07
S
v
e
n V
e
rdoolaege
triangula
t
e_c
o
n
e
:
ski
p
Delaunay triangula
t
ion by default
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolae
g
e
eval
u
e_
c
onve
r
t: print
la
t
tice when printing as
l
ist
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdool
a
e
ge
evalue_convert: add ve
r
bose argument and return 1 if
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
S
ven Verdoolaege
Polyh
e
dron_Flate: i
n
tersect
i
n
f
l
ated
p
ol
y
t
o
pe with
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
S
v
en Verdoolaege
doc
:
b
i
b
:
fix up na
m
e
in t
i
tle of Algorithmica paper
commit
|
commitdiff
|
tree
2007-04-05
S
ven Verdoola
e
ge
add
missing volume
.
h fi
l
e
commit
|
commitdiff
|
tree
2007-04-04
Sven Verdoolaeg
e
volum
e
.
c: dela
y
computati
o
n of
p
oint where volume is
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
Sven
V
erdoolaeg
e
Param_P
o
lyhe
d
ron_Volume
:
set
polynomial_appr
o
x
i
mation
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven
Verdo
o
laeg
e
volume
.
c: all
o
w comp
u
tation of l
o
wer and upper bo
u
nd
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
sca
l
e: export Polyhedron_Flate
commit
|
commitdiff
|
tree
2007-04-03
Sven Ve
r
d
oolaege
bar
v
inok_enu
m
erate: optionally compute "
v
olume
"
polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
S
v
en Verdool
a
ege
polyt
o
p
e_volume: compute volume of p
a
rametr
i
c polytope
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
reduce_dom
a
in
.
c: plug
me
m
ory leak
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
ver
i
fy
.
c: move computation o
f
true
c
ontext into ch
e
ck_poly_c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdo
o
lae
g
e
sc
a
le
.
c: add simpl
i
fied
method of computing tighter
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
V
erdool
a
ege
barvino
k
_enumer
a
te: optionally compute ti
g
hter polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
polyhedron_s
a
m
p
l
e
.
c: remove
redundant MAXRAYS define
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
e
v
a
lue
.
c: evalue_eval: support relat
i
o
ns
commit
|
commitdiff
|
tree
2007-03-31
S
v
en
Verdool
a
e
g
e
e
va
l
u
e
.
c
: evalue_frac
2
polyn
o
m
i
al: properly h
a
ndle
r
elations
commit
|
commitdiff
|
tree
2007-03-31
Sve
n
Verdoolaege
b
a
rvi
n
ok_enumerate: support approxi
m
ation by me
a
ns
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdo
o
laege
sc
a
l
e
.
c: a
v
o
id
simplification of c
o
ns
t
r
a
ints
a
fte
r
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
Ver
d
oolaege
barvinok/ut
i
l
.
h: add POL_UNS
E
T
macro f
o
r
unsetting
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
ven
Verdoolae
g
e
s
c
ale
.
c
: Pa
r
a
m_Polyhedron_Scale_Integer
_
F
as
t
: ignore
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
move
Param_Polyh
e
dron
_
Scal
e
_I
n
teger to sc
a
l
e
.
c
a
nd
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
ven Verdoolaege
use se
p
a
r
ate
f
l
a
gs option for scale
a
ppr
o
ximation metho
d
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n Verd
o
ol
a
ege
barvinok
.
cc: move sc
a
ling to scale
.
c
commit
|
commitdiff
|
tree
2007-03-30
Sven Verdoolaege
scal
e
.
c:
c
o
r
r
ect extr
a
ct_lattice in
case o
f
redundant
.
.
.
commit
|
commitdiff
|
tree
2007-03-30
Sven Verdoola
e
g
e
doc:
updat
e
CC20
0
5 reference
commit
|
commitdiff
|
tree
2007-03-26
Sv
e
n Verdoo
l
aege
v
e
r
i
f_ehrhart
.
c:
r
ound inexact evaluation up
o
r down
.
.
.
commit
|
commitdiff
|
tree
2007-03-26
S
v
en
V
erdoolaege
v
erif_ehrhart
.
c:
o
ptionall
y
u
se exact evaluation
f
or
.
.
.
commit
|
commitdiff
|
tree
2007-03-25
Sven Verdoolaege
evalue
.
c:
add evalue_e
v
al
for
exact evaluation
of eval
u
e
commit
|
commitdiff
|
tree
2007-03-25
Sven Verdoolaege
evalue
.
c
: fix evalue_frac2polynomial
f
or
n
e
gative valu
e
s
.
.
.
commit
|
commitdiff
|
tree
2007-03-20
Sven Verdoolaege
barvinok_
e
n
u
merate: perf
o
r
m
slow sca
l
ing appro
x
imation
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoolaeg
e
fix Param_
P
o
lyhed
r
on_Scal
e
_Integer
commit
|
commitdiff
|
tree
2007-03-19
Sven
V
erdoolaege
b
a
rvinok_enumerate: more accu
r
at
e
polynom
i
a
l
approxima
t
i
on
commit
|
commitdiff
|
tree
2007-03-19
Sven V
e
rdoolaege
r
e
organize p
o
lynomial appr
o
ximation options
commit
|
commitdiff
|
tree
2007-03-19
S
v
en Verdoolae
g
e
util
.
c: Param_Polyhedron_Print:
actually use output
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoolaege
fix merge of chec
k
_
p
oly fr
o
m v
e
r
i
f
_ehrhart
.
c and
l
exmin
.
cc
commit
|
commitdiff
|
tree
2007-03-18
Sven Verdoolaege
doc: upda
t
e Koeppe-Verdo
o
laege refe
r
ence
commit
|
commitdiff
|
tree
2007-03-17
Sven
Verdo
o
laege
barvinok_maximize: support ver
i
fication
commit
|
commitdiff
|
tree
2007-03-17
Sven Ve
r
doolaege
merge check_poly from verif_ehrhart
.
c
a
nd lexmin
.
cc
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
e
value
.
c: make
s
o
me eva
l
ue argu
m
ents cons
t
commit
|
commitdiff
|
tree
2007-03-17
Sven Ver
d
oolaege
eva
l
ue
_
frac2floor2: als
o
c
onve
r
t no
n
-
p
artit
i
on if
no
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven Ver
d
oolaege
verify
.
c
: change verify_options_set_range prototype
commit
|
commitdiff
|
tree
2007-03-17
Sv
e
n Verdoolaege
bernstei
n
: piecewis
e
_lst
:
:evalua
t
e:
s
upport
d
ifferent
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sv
e
n Verdoola
e
ge
verify
.
c: tu
r
n
o
ff continue_on_error by default
commit
|
commitdiff
|
tree
2007-03-17
S
v
en Verdo
o
laege
bernst
e
in: expo
r
t
num
e
ric2value
commit
|
commitdiff
|
tree
2007-03-15
Sven Verd
o
olaeg
e
d
o
c: proof o
f
e
x
istence
of suita
b
le y for
p
r
ima
l
decompositi
.
.
.
commit
|
commitdiff
|
tree
2007-03-15
Sven
V
e
r
dool
a
ege
doc: f
i
x
proof of
e
xisten
c
e of suitable y for
primal
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
S
v
e
n Ver
d
o
o
laege
berns
t
ein
.
cc: bernstein_coeff
i
c
i
e
nts: create sig
n
ed
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
S
v
en V
e
r
d
oolaege
barvi
n
o
k
_
maximize: opti
o
nally use
recursive bernstein_coeffi
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
S
ven Verdoolaege
b
er
n
stei
n
.
cc: bernste
i
n_coeff
i
ci
e
nts: supp
o
rt general
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Ver
d
oo
l
aege
bernste
i
n
.
cc: refactor
b
ernstein_c
o
e
f
f
icients_product
commit
|
commitdiff
|
tree
2007-03-14
Sven Ver
d
o
o
laege
ber
n
ste
i
n
: piecewise_lst: add
s
i
gn and r
e
move redundant
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Ve
r
doolaege
ber
n
stein: add rem
o
ve_
r
e
d
undants
m
et
h
od
commit
|
commitdiff
|
tree
2007-03-14
S
ven Verdool
a
ege
doc: primal d
e
composition: typo fixe
s
+ clarifications
commit
|
commitdiff
|
tree
2007-03-11
Sven V
e
rdoolaege
doc: fix pri
m
a
l
decompositio
n
example +
c
lean-u
p
s
commit
|
commitdiff
|
tree
2007-03-11
Sven Ver
d
oola
e
ge
D
o
c
u
ment p
r
imal
d
e
comp
o
sition
commit
|
commitdiff
|
tree
2007-03-11
Sven Verdoolaeg
e
barvinok
.
c
c
:
ba
r
vinok_e
n
umerate: fix lower
b
ound approximation
commit
|
commitdiff
|
tree
2007-03-07
S
v
e
n Verdoolaege
evalue_split_p
e
riods: gracefu
l
l
y
hand
l
e zero evalues
.
.
.
commit
|
commitdiff
|
tree
2007-03-07
S
v
en Verdoolaege
barvino
k
_maxi
m
ize: hand
l
e zero input
commit
|
commitdiff
|
tree
2007-03-07
S
v
en Verdoolaeg
e
barvinok_enume
r
ate_
e
: clean u
p
al
l
ocation of options
commit
|
commitdiff
|
tree
2007-03-07
Sv
e
n V
e
r
do
o
lae
g
e
barvi
n
ok
.
cc: handle
case whe
r
e noth
i
ng i
s
left after
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sven Verdoolaege
evalue_con
v
ert: sup
p
o
rt printing a quasi-pol
y
nomia
l
a
s
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sven Verdool
a
eg
e
lat
t
ice_point
.
h: m
a
ke self-contained
commit
|
commitdiff
|
tree
2007-03-02
Sven Verdoolaege
evalue
.
c: ex
t
ract evalue_extr
a
ct
_
affi
n
e from b
e
rnstein
.
c
c
commit
|
commitdiff
|
tree
next