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
only compile barvinok_maximize if GiNaC (and bernstein) is available
2007-04-12
Sven Verdo
o
laege
on
l
y compil
e
bar
v
ino
k
_maximiz
e
i
f
Gi
N
aC (and bernstein
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
add an eh
r
h
art example wit
h
int
e
resting ch
a
mbers
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
test_approx: test ch
a
mber based
scalin
g
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
Verdoolaege
s
cale
.
c: optio
n
ally perf
o
rm
scaling on indi
v
idual ch
a
mbers
commit
|
commitdiff
|
tree
2007-04-12
S
v
en Verdoolaege
barvin
o
k_enumerate:
use "var
i
able compressio
n
" to
remove
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
e
r
doolaege
util
.
c
:
l
eft_inverse:
ha
n
dle
consta
n
t map
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdool
a
ege
eva
l
ue
.
c: evalu
e
_substitute: move from
e
do
m
a
i
n
.
cc
commit
|
commitdiff
|
tree
2007-04-12
Sven
Ve
r
do
o
laege
ev
a
lue
.
c: affi
n
e2evalue: extracted from volume
.
c
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
Verdoolaeg
e
reduce_domain: partition c
h
amber complex ba
s
ed on inner
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sv
e
n Verdoolaege
r
e
duce_doma
i
n
.
c
:
extract inner_p
o
int a
n
d is_internal
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
S
v
en Verdoolaege
redu
c
e
_
d
omain: check
for adjacent chambers in simplif
i
ed
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven V
e
rdoolaege
FO
R
A
LL_REDUC
E
D_DOMAIN: extract common handling of reduc
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sve
n
V
e
rdool
a
eg
e
barvinok_enume
r
ate: move recursiv
e
call during sca
l
ing
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdool
a
ege
b
arvinok
.
cc: Param_Polyhedron
_
Enu
m
erate: extracted
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdo
o
laeg
e
a
dd some
inte
r
estin
g
test case
s
fo
r
v
o
lume co
m
p
utati
o
n
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
p
e
rform very
b
a
s
ic
p
o
l
ynomial appro
x
imatio
n
test
commit
|
commitdiff
|
tree
2007-04-09
Sv
e
n Verdoolae
g
e
test_app
r
ox: compare differen
t
polynomial a
p
pro
x
im
a
ti
o
ns
commit
|
commitdiff
|
tree
2007-04-08
Sven
V
erdool
a
eg
e
e
v
alue
_
convert
.
cc: partial
s
upport for
p
rintin
g
in
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Ver
d
oolaege
Param_Polyhedron_Volum
e
:
perform li
f
ti
n
g tria
n
gulation
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
S
v
en Verd
o
o
l
a
ege
volum
e
.
c: introduce parameter_point abstraction
commit
|
commitdiff
|
tree
2007-04-08
S
ven
V
e
rdool
a
ege
scale
.
c: exp
o
r
t
Param_Ver
t
e
x_Common_Den
o
mina
t
or
commit
|
commitdiff
|
tree
2007-04-08
Sven
Verdoolaege
v
o
lume
.
c: drop
r
edundant arguments
to
volume_s
i
mplex
commit
|
commitdiff
|
tree
2007-04-08
Sven Ve
r
doolaege
opti
o
ns
.
c: se
p
arate poly
n
omial
approxima
t
ion
r
elated
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdool
a
ege
b
a
rvin
o
k_opti
o
ns_ne
w
_wit
h
_d
e
fa
u
lts: i
n
it
i
alize scal
e
_fl
a
gs
commit
|
commitdiff
|
tree
2007-04-07
S
ven Ve
r
d
oolaege
t
ri
a
ngulate_c
o
ne: skip Delaunay triangulation by default
commit
|
commitdiff
|
tree
2007-04-07
Sven Ve
r
doolaege
evalue_conv
e
rt: pr
i
nt lattice
w
hen printing a
s
list
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoola
e
ge
evalue_
c
onv
e
rt:
a
d
d
v
erbose argument and return 1
i
f
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Verdoolaege
Polyhedron_
F
late: interse
c
t inflated polyt
o
pe with
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sve
n
Ve
r
doola
e
ge
doc:
b
ib: fix
u
p name in title of Algorithmica paper
commit
|
commitdiff
|
tree
2007-04-05
Sven Verdoolaege
a
d
d missing volume
.
h file
commit
|
commitdiff
|
tree
2007-04-04
S
v
en Verd
o
olaege
volume
.
c: d
e
lay computation of po
i
nt where vo
l
u
m
e is
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
Sven
V
erdoolae
g
e
Param_Polyhedron_Volume: set p
o
lyno
m
ial_ap
p
r
o
ximati
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven
Verdool
a
ege
v
ol
u
me
.
c: al
l
ow c
o
mpu
t
ation of
l
ower and upper bound
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
S
v
en Verdoolaege
s
cale: ex
p
o
rt Polyhedron_
F
late
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
b
arvinok_en
u
mer
a
te: opti
o
nal
l
y
com
p
ute
"
volume" polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven V
e
r
doo
l
aege
p
o
lytope_v
o
lume: compute volume of parametric
p
oly
t
ope
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
reduce_do
m
ain
.
c:
plug memory leak
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n Verdoolaege
veri
f
y
.
c
: move computation of true co
n
text into check_po
l
y
_
c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
v
e
n
Verdoolaege
scale
.
c
:
a
d
d
s
i
mplified method of computing
t
ighter
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolae
g
e
ba
r
vinok_
e
numer
a
te: optionall
y
compute tighter polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Ver
d
o
o
laege
polyh
e
dron_sample
.
c:
r
em
o
ve red
u
n
dant MAXRAYS d
e
fi
n
e
commit
|
commitdiff
|
tree
2007-03-31
Sven
V
e
rdoolaege
evalue
.
c: evalue_eva
l
: support relation
s
commit
|
commitdiff
|
tree
2007-03-31
S
v
e
n
Verdoolaege
evalue
.
c: e
v
alue_frac
2
polynomial: prope
r
ly ha
n
d
le relations
commit
|
commitdiff
|
tree
2007-03-31
Sven
V
erdoola
e
ge
barvinok_
e
numerate: support approximation by means
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
V
erdoo
l
a
ege
sc
a
le
.
c:
avoid simplificat
i
on of
c
o
n
straints a
f
t
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n Verdoolaege
barvinok/ut
i
l
.
h:
a
dd POL_UNSET macro for unsetting
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
V
erdoo
l
aege
sca
l
e
.
c:
Para
m
_P
o
lyhedro
n
_Scale_In
t
eger_Fast: i
g
n
o
re
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
v
e
n Verdoo
l
aege
move
Param_Polyhedron_Scale
_
Integer to scale
.
c and
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
ven V
e
rdoolaege
u
s
e
separate flags option
for s
c
ale approxim
a
tion me
t
hod
commit
|
commitdiff
|
tree
2007-03-31
Sven
Verdoolaege
barv
i
nok
.
cc
:
move scalin
g
to scale
.
c
commit
|
commitdiff
|
tree
2007-03-30
S
v
en
Verdoolaege
scale
.
c:
cor
r
e
ct extrac
t
_latt
i
ce
i
n case of redundant
.
.
.
commit
|
commitdiff
|
tree
2007-03-30
Sven Verdoolaege
doc: u
p
d
ate CC2005
r
efere
n
ce
commit
|
commitdiff
|
tree
2007-03-26
Sven Ver
d
o
o
laege
ve
r
if_eh
r
h
a
rt
.
c
:
r
o
u
nd inexact evaluation up or down
.
.
.
commit
|
commitdiff
|
tree
2007-03-26
Sven Verdoolaege
verif_ehrha
r
t
.
c
:
op
t
i
on
a
lly use exact eva
l
uation for
.
.
.
commit
|
commitdiff
|
tree
2007-03-25
Sv
e
n
Verdoolaege
evalue
.
c: add
evalue_eva
l
for exact
e
valuation
of e
v
alue
commit
|
commitdiff
|
tree
2007-03-25
Sven Verdool
a
eg
e
e
value
.
c: fix
e
value_frac2polyn
o
mial for ne
g
ative
v
al
u
es
.
.
.
commit
|
commitdiff
|
tree
2007-03-20
Sve
n
Ve
r
doolae
g
e
barvinok
_
enumerate:
p
erform slow scaling a
p
proxim
a
tion
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoolaege
fi
x
Param_Po
l
yhedro
n
_S
c
ale_Integ
e
r
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoolaege
barvinok_enu
m
era
t
e: more ac
c
u
rate polynom
i
al
a
pproximatio
n
commit
|
commitdiff
|
tree
2007-03-19
Sven Verd
o
olaege
reorg
a
nize polynomial a
p
pro
x
im
a
tion op
t
ions
commit
|
commitdiff
|
tree
2007-03-19
S
v
en V
e
r
d
oo
l
aege
u
t
il
.
c: Param_Polyh
e
dron
_
Print: ac
t
ually use
output
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven V
e
rdoo
l
aege
fix me
r
ge
of
c
he
c
k_p
o
ly from veri
f
_ehrhart
.
c and
l
exmin
.
cc
commit
|
commitdiff
|
tree
2007-03-18
Sven
Verdoo
l
a
e
g
e
do
c
:
u
pdate K
o
e
p
pe-
V
erdoolaege re
f
erence
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
b
arvinok_maximize: supp
o
rt verification
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
merge che
c
k
_poly from
v
erif
_
ehrhart
.
c and lexmin
.
cc
commit
|
commitdiff
|
tree
2007-03-17
Sve
n
Verdoolaege
e
v
a
lue
.
c
:
make
s
om
e
evalue
a
rguments cons
t
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolae
g
e
evalue_frac2floor2:
a
l
so convert n
o
n-p
a
rtition i
f
no
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven Ver
d
oolaege
verify
.
c
:
change verify_options_set_range pr
o
t
o
type
commit
|
commitdiff
|
tree
2007-03-17
Sve
n
Ve
r
doolaege
bern
s
tein
:
piecewise_lst::eva
l
u
a
te: support different
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven Ver
d
oola
e
ge
ver
i
fy
.
c: turn off continue_on_er
r
or
b
y
de
f
ault
commit
|
commitdiff
|
tree
2007-03-17
Sven
V
er
d
oolaege
bernstein:
e
xport nume
r
i
c
2value
commit
|
commitdiff
|
tree
2007-03-15
Sven V
e
rdoolaege
doc: proof
of
existence of suitable y for primal deco
m
positi
.
.
.
commit
|
commitdiff
|
tree
2007-03-15
S
v
en V
e
rdoolaege
doc: fix proof
o
f
ex
i
stence
o
f su
i
table y
f
or primal
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
S
v
e
n
Verdoolaege
bernstein
.
cc:
bernst
e
in_coefficients: create
signed
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
S
v
en
V
e
r
doolaege
barv
i
no
k
_maximize:
o
ptionally use
recursive
ber
n
stein_coeffi
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sv
e
n Verdoolaege
bernstein
.
cc: berns
t
ein_coefficients:
support genera
l
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Ver
d
oolaege
ber
n
s
t
ein
.
c
c
:
refactor be
r
ns
t
ein_c
o
efficients_product
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaege
ber
n
stein: piecewise_
l
st: a
d
d
sign and remo
v
e
r
ed
u
ndant
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven
V
erdoola
e
ge
b
ern
s
tein:
a
dd
remove_redund
a
nts method
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaege
doc: prima
l
deco
m
position:
t
ypo fixes + clarifications
commit
|
commitdiff
|
tree
2007-03-11
Sven
Verd
o
ol
a
ege
doc: fi
x
p
r
imal decom
p
osit
i
on ex
a
mple +
clea
n
-ups
commit
|
commitdiff
|
tree
2007-03-11
Sve
n
V
e
r
doolaege
Document p
r
imal de
c
omposit
i
on
commit
|
commitdiff
|
tree
2007-03-11
Sve
n
Verdoolaege
bar
v
inok
.
c
c
: barvinok_enume
r
a
t
e:
f
ix l
o
wer bound approxima
t
io
n
commit
|
commitdiff
|
tree
2007-03-07
Sven Ver
d
oolaege
evalue_
s
pl
i
t_per
i
od
s
:
g
racef
u
l
l
y handle zero e
v
alues
.
.
.
commit
|
commitdiff
|
tree
2007-03-07
Sven Ver
d
oola
e
ge
barvinok_maximize: handle zer
o
input
commit
|
commitdiff
|
tree
2007-03-07
Sven Verdoolae
g
e
barvinok_enumerate
_
e: clean up all
o
cation of options
commit
|
commitdiff
|
tree
2007-03-07
Sven
Verdoolaege
bar
v
inok
.
c
c
: handle cas
e
wher
e
nothin
g
i
s
left after
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sven
V
erdoolaege
e
v
alue_con
v
ert: sup
p
ort print
i
ng
a quas
i
-
p
olynomialas
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sven Verdo
o
laege
lattice_
p
oint
.
h: make se
l
f-contained
commit
|
commitdiff
|
tree
2007-03-02
Sv
e
n
Verdoolaege
ev
a
lue
.
c:
extract eval
u
e_extrac
t
_affi
n
e from bernstein
.
cc
commit
|
commitdiff
|
tree
2007-03-02
Sven Verdoolaege
berns
t
ein
.
cc: bern
s
t
ein_coefficients_product: no need
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven V
e
r
d
oola
e
ge
b
e
r
n
s
tein_coefficients: op
t
ionally optimize
during
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdoolaege
bernstein_coe
f
fi
c
ients:
f
actorize doma
i
n if possible
commit
|
commitdiff
|
tree
2007-03-01
S
ven Verdoolaege
Polyhedron_Fact
o
r: opti
o
n
a
l
ly r
e
turn
re
l
ation between
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Ve
r
do
o
laege
bernstein: export replac
e
VariablesInPo
l
yn
o
mial
commit
|
commitdiff
|
tree
2007-03-01
S
v
en Verdoolaege
be
r
nstein
.
cc: eva
l
ue2ex: r
e
p
r
esent fract
i
on
a
l by sca
l
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-02-28
Sven Verdoolae
g
e
b
arvinok_ma
x
imize: fix handling of UNIONs
i
n
doma
i
ns
.
commit
|
commitdiff
|
tree
2007-02-28
Sven Verd
o
olaege
bernstein
_
coeffici
e
nts: ski
p
em
p
ty
subdom
a
ins
commit
|
commitdiff
|
tree
2007-02-28
S
v
e
n Verdoolaege
b
a
rvino
k
_maximiz
e
: fix
d
ete
c
ti
o
n of end of doma
i
n specification
commit
|
commitdiff
|
tree
2007-02-27
Sven Verd
o
ol
a
ege
ba
r
vino
k
_maximize: add inpu
t
co
n
version
commit
|
commitdiff
|
tree
next