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
document barvinok_summate and barvinok_maximize
2007-04-12
S
v
en
Ver
d
oolaege
volum
e
.
c
: face_vertices: us
e
Param_Inner_Product
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
Verdoolaege
Call set_pro
g
ram_
n
a
m
e be
f
o
r
e
calling argp_parse
.
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
V
e
r
dool
a
e
ge
reduce_
d
omain:
e
xploit that no
caller uses
Polyhedron2P
a
r
a
m_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Ve
r
doolaege
lexmin: stop using Po
l
yhedr
o
n2P
a
r
am_Sim
p
lifiedDomain
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdo
o
l
a
ege
b
arvinok
.
cc: s
t
op
u
sing P
o
lyhedron2P
a
ram_SimplifiedDoma
i
n
commit
|
commitdiff
|
tree
2007-04-12
Sven Ve
r
doolaege
Require a version of PolyLi
b
that
c
om
p
utes co
r
rect
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoola
e
ge
v
o
lume
.
c:
non_empt
y
_point: simply use internal point
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
Verdoolaege
add an eh
r
hart example wi
t
h intere
s
tin
g
c
hambers
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n Ver
d
oolaege
t
e
s
t
_
approx: t
e
st chamb
e
r based scaling
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
scale
.
c: optionally perform sc
a
l
i
ng
o
n
i
n
div
i
dual chambers
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n Verdo
o
laege
barv
i
nok_enume
r
ate: u
s
e "vari
a
ble c
o
mpres
s
i
on" to remove
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
util
.
c: le
f
t_inverse:
h
andle constant ma
p
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdool
a
ege
evalue
.
c: e
v
alue
_
s
u
b
stitute: m
o
ve
f
rom e
d
o
m
ain
.
cc
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoo
l
aege
evalue
.
c: af
f
ine2evalue:
e
xtract
e
d f
r
o
m
volume
.
c
commit
|
commitdiff
|
tree
2007-04-12
S
ven Ver
d
oolae
g
e
reduce_domai
n
: partition chamber c
o
mp
l
ex
b
a
sed on inner
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdoola
e
ge
reduce_domain
.
c: extract inn
e
r_poi
n
t and is_internal
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdoolaege
reduce_dom
a
in: che
c
k for adjacent cham
b
e
r
s
in
simplified
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
S
v
en Verdool
a
ege
FOR
A
LL_RED
U
CED_DOMAIN: extract common handling of
r
educed
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven V
e
rd
o
olaege
barvi
n
ok_enumerate: move re
c
u
rsive call du
r
ing scaling
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verd
o
olaege
barvinok
.
cc: Param_
P
olyhed
r
o
n
_Enumerate: e
x
tracted
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdool
a
ege
add some interesting te
s
t case
s
for vol
u
m
e computat
i
on
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
perf
o
rm
v
ery bas
i
c polynomial a
p
proximation test
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdool
a
ege
test_app
r
ox: compare different polynomial approximations
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
ev
a
lue_con
v
ert
.
cc: p
a
rti
a
l
s
upport for prin
t
in
g
in
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
Param
_
P
olyhedron_Volu
m
e
:
perform l
i
fting triangulation
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven V
e
rdoolaege
volume
.
c: introd
u
ce parameter
_
point abs
t
raction
commit
|
commitdiff
|
tree
2007-04-08
Sven
V
erdoo
l
aege
scale
.
c:
expo
r
t Param_Ver
t
ex_
C
ommon_Denominator
commit
|
commitdiff
|
tree
2007-04-08
Sven Ver
d
ool
a
ege
vol
u
me
.
c: drop
redu
n
d
ant arguments to vol
u
me_simplex
commit
|
commitdiff
|
tree
2007-04-08
Sven
V
e
rdoolaeg
e
options
.
c
: sepa
r
ate polynomial approximation
rela
t
ed
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoo
l
a
eg
e
b
arvino
k
_optio
n
s_new_with_defaults: init
i
al
i
z
e scale_flags
commit
|
commitdiff
|
tree
2007-04-07
S
ven V
e
rdoolaege
t
ria
n
gulate_cone: skip Delaunay tr
i
angul
a
tion b
y
default
commit
|
commitdiff
|
tree
2007-04-07
Sve
n
Verdoolaege
evalu
e
_convert: pri
n
t
lattice when printin
g
a
s
list
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
S
ven Ve
r
doolaege
e
val
u
e
_
convert: add ver
b
os
e
argum
e
nt and r
e
tur
n
1
if
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
S
v
e
n
Verd
o
olae
g
e
Polyhedron_Flate
:
intersect inflated polytope wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Verdoolaege
doc
:
bib: fix
u
p
name
in
t
i
tle of Algorithmica paper
commit
|
commitdiff
|
tree
2007-04-05
Sve
n
V
e
rd
o
olaeg
e
add missi
n
g volume
.
h
file
commit
|
commitdiff
|
tree
2007-04-04
S
ven Verdoo
l
aege
volu
m
e
.
c
:
d
e
lay computation
of point where volu
m
e is
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
S
ven Verdoolaege
Para
m
_Polyhedro
n
_
V
olume: set polynomial_approx
i
mati
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
S
ven Verdo
o
laege
v
o
l
u
me
.
c: allo
w
computation o
f
lower
a
n
d uppe
r
b
o
und
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
s
c
ale: export Polyhedron_F
l
ate
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoo
l
aege
barvinok_enumerate:
o
p
t
i
o
nally compute "volu
m
e" p
o
lynomia
l
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
pol
y
tope_volume: c
o
mpute vol
u
me of par
a
metri
c
p
ol
y
tope
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoola
e
g
e
reduce_doma
i
n
.
c: plug memory
l
eak
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n
V
erdoo
l
aege
veri
f
y
.
c: move
c
om
p
u
t
a
t
i
on of
true con
t
ext i
n
to check_poly_c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
scale
.
c: add simplifi
e
d method of computing t
i
ghter
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verd
o
ola
e
g
e
bar
v
inok_en
u
mer
a
te:
o
ptional
l
y compute
t
i
g
hter polynomi
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdo
o
laege
polyhedron_samp
l
e
.
c: remove r
e
d
undant M
A
XRAYS defi
n
e
commit
|
commitdiff
|
tree
2007-03-31
Sve
n
Verdoolaege
evalue
.
c: evalue_eval:
s
upport rel
a
t
i
ons
commit
|
commitdiff
|
tree
2007-03-31
Sven
Verdo
o
l
a
eg
e
evalue
.
c: evalue_frac
2
polynomial: properly ha
n
dle relations
commit
|
commitdiff
|
tree
2007-03-31
Sve
n
Verdoolaege
barvino
k
_enum
e
r
a
te: sup
p
ort approxim
a
tion by mea
n
s
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sve
n
Ver
d
oo
l
aege
scale
.
c
: avoid simp
l
if
i
c
ation of c
o
nstraints after
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
ven
Verdoolae
g
e
b
arvin
o
k/util
.
h
: add POL_UNSET macro f
o
r unset
t
ing
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sve
n
Verdo
o
laege
s
c
ale
.
c: Param_Polyh
e
d
r
on_
S
ca
l
e
_
Integer_Fast: ig
n
ore
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sve
n
V
erdoola
e
ge
move Param_Polyhedron
_
Sc
a
le_Integer to
s
cale
.
c
a
nd
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Ver
d
oolaege
use s
e
parat
e
flags option
f
or scale approximation
m
ethod
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolae
g
e
bar
v
inok
.
cc:
m
ove scali
n
g to s
c
ale
.
c
commit
|
commitdiff
|
tree
2007-03-30
Sven Ver
d
oolae
g
e
scale
.
c
:
c
o
rre
c
t extract_lattice in case of redu
n
dan
t
.
.
.
commit
|
commitdiff
|
tree
2007-03-30
S
ven Verdoolaege
doc: update CC20
0
5 re
f
erenc
e
commit
|
commitdiff
|
tree
2007-03-26
Sven
V
erd
o
olaege
verif_ehrhart
.
c
:
r
o
und inex
a
ct
evalu
a
tion up or down
.
.
.
commit
|
commitdiff
|
tree
2007-03-26
Sven
V
erdool
a
ege
verif_e
h
rhar
t
.
c:
o
p
t
ionally use e
x
a
ct evalua
t
i
on for
.
.
.
commit
|
commitdiff
|
tree
2007-03-25
S
ven V
e
rdoolaege
evalue
.
c:
a
d
d
eval
u
e_eval
f
or ex
a
ct evaluation of evalue
commit
|
commitdiff
|
tree
2007-03-25
Sven
V
erdoolaege
ev
a
lue
.
c:
f
ix ev
a
lue_frac2polynom
i
al for negative values
.
.
.
commit
|
commitdiff
|
tree
2007-03-20
Sven Verdoolaege
barv
i
nok_e
n
umerate
:
perfo
r
m slow s
c
ali
n
g ap
p
roximation
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven
V
erdoolaege
f
i
x
P
a
ram_
P
oly
h
edro
n
_Scale_Integer
commit
|
commitdiff
|
tree
2007-03-19
Sven Ve
r
doolaege
ba
r
vinok
_
enu
m
erate:
more accurate polyno
m
i
al approx
i
mation
commit
|
commitdiff
|
tree
2007-03-19
Sven V
e
rdoolaege
r
e
organiz
e
p
oly
n
o
m
ial
a
pproximation options
commit
|
commitdiff
|
tree
2007-03-19
S
v
en Verdoolaege
util
.
c
: Pa
r
am
_
Polyhedron_Pr
i
nt:
a
ctually
use output
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven Ve
r
d
o
olaege
fi
x
merge of c
h
eck_poly from verif_ehrhart
.
c
and
l
exmin
.
c
c
commit
|
commitdiff
|
tree
2007-03-18
Sv
e
n Verdoolaege
do
c
: update Koeppe-Verdoolaege
r
eference
commit
|
commitdiff
|
tree
2007-03-17
Sven Verd
o
olaege
barvinok_maximize: support veri
f
icat
i
on
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaeg
e
merge check
_
poly from verif_ehrhar
t
.
c and lexmin
.
cc
commit
|
commitdiff
|
tree
2007-03-17
Sven V
e
rdoolaeg
e
e
val
u
e
.
c:
make some evalue
a
rguments
c
onst
commit
|
commitdiff
|
tree
2007-03-17
S
v
e
n Verdoola
e
ge
e
val
u
e
_f
r
ac2f
l
oor2: also conver
t
non-partition
i
f
no
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven
Verdool
a
ege
verify
.
c
: change verify_options
_
set_range prototype
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolae
g
e
berns
t
ei
n
:
p
iecewis
e
_lst::evalua
t
e
:
support different
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
verify
.
c: turn off contin
u
e_
o
n_error by de
f
ault
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolae
g
e
bern
s
te
i
n: e
x
port numeric2value
commit
|
commitdiff
|
tree
2007-03-15
S
ven Ver
d
oolaege
do
c
: proof of existenc
e
of suitable y for
primal decompositi
.
.
.
commit
|
commitdiff
|
tree
2007-03-15
Sven V
e
rdoola
e
ge
d
o
c: fix proo
f
o
f
existence of suitable y f
o
r primal
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaege
b
e
r
nstein
.
cc: bernstein_coefficie
n
ts:
c
r
e
ate signed
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sv
e
n Verdoolaege
bar
v
inok_maximi
z
e
: opti
o
nally use recursive bern
s
tein_coeffi
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaege
b
ernstein
.
cc
:
b
ernste
i
n_coeffic
i
ents: supp
o
rt general
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaege
bernstein
.
cc: refactor bernstein_coeffic
i
ents_product
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoo
l
aege
bern
s
tein: piec
e
wise_lst: add sign
and r
e
move redundant
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verd
o
olaege
b
e
rns
t
ein: add remove_r
e
dundants me
t
h
od
commit
|
commitdiff
|
tree
2007-03-14
S
ven Verdoolaege
do
c
: p
r
imal decomposition: ty
p
o fixes + clarification
s
commit
|
commitdiff
|
tree
2007-03-11
Sven Ve
r
doolaege
d
o
c:
f
ix primal decomposi
t
ion example + c
l
ean-ups
commit
|
commitdiff
|
tree
2007-03-11
Sven Verdoolaeg
e
Document primal decompositi
o
n
commit
|
commitdiff
|
tree
2007-03-11
S
v
en Verdoolaege
barvinok
.
cc:
b
arvinok_enumerate: fix lower bound appr
o
x
i
matio
n
commit
|
commitdiff
|
tree
2007-03-07
Sven Ver
d
o
o
laege
eva
l
ue_split_p
e
ri
o
ds: g
r
acefully handl
e
zer
o
evalues
.
.
.
commit
|
commitdiff
|
tree
2007-03-07
Sv
e
n
Ve
r
doolaege
barvinok_maximize
:
handle zero i
n
p
u
t
commit
|
commitdiff
|
tree
2007-03-07
Sven
Verdool
a
eg
e
barvin
o
k_enumerate_e: clea
n
up allocation of
o
ptions
commit
|
commitdiff
|
tree
2007-03-07
Sv
e
n Verdo
o
l
aege
barv
i
nok
.
cc:
handle case w
h
e
r
e
n
o
thing is left after
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
S
v
en Verdoolaege
evalue_con
v
er
t
: sup
p
ort
p
ri
n
ting a quasi-polynomial
a
s
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sven V
e
rdool
a
ege
latt
i
ce_point
.
h: m
a
ke sel
f
-containe
d
commit
|
commitdiff
|
tree
2007-03-02
S
ven
Verdo
o
l
a
e
ge
evalue
.
c
:
ext
r
act
e
v
a
lue_ex
t
ra
c
t
_
a
f
fine from bernstein
.
cc
commit
|
commitdiff
|
tree
2007-03-02
Sven Ver
d
oolaege
bernste
i
n
.
cc: bern
s
tein_coefficie
n
t
s_
p
roduct
:
n
o need
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Ver
d
oolaege
bernstein
_
coeff
i
cie
n
ts: opt
i
ona
l
ly optimize during
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven
V
e
rd
o
olaege
bernste
i
n_
c
oefficients: fact
o
rize domain if possible
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdo
o
la
e
ge
Polyhedron
_
Factor: o
p
tio
n
ally re
t
urn relation betw
e
e
n
.
.
.
commit
|
commitdiff
|
tree
next