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
declare variable at start of code block.
2007-04-19
S
v
en Verdo
o
laege
dec
l
are variable at start of code
b
lock
.
commit
|
commitdiff
|
tree
2007-04-18
S
v
en Verdoolaege
Mak
e
file
.
am: rebuild libraries in subdirs
i
f
missing
commit
|
commitdiff
|
tree
2007-04-18
Sven
Ver
d
oolae
g
e
b
arvi
n
ok_enumerate: recheck for equ
a
lities after "variable
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdool
a
e
ge
d
oc:
a
voting theory
r
eport that refers to th
e
libra
r
y
commit
|
commitdiff
|
tree
2007-04-15
Sven Verd
o
o
l
aege
doc: update primal Barvi
n
ok
refer
e
nce
commit
|
commitdiff
|
tree
2007-04-15
Sve
n
Ver
d
oolaege
doc: add
jour
n
al version of
improved
d
eriva
t
ion paper
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdoolaege
volume
.
c
: k
e
ep t
r
ack o
f
numbe
r
o
f simplices in volume
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
Sve
n
Verdool
a
ege
test_approx: test volume computation variations
commit
|
commitdiff
|
tree
2007-04-13
S
v
e
n
Verdoolaege
volume
.
c: volume_triangu
l
ate:
us
e
vertex instead of
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
v
en Verdoolaege
v
o
lume
.
c: face_ve
r
t
i
ces: use Param_
I
nner_Produ
c
t
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdool
a
ege
C
all
s
et_pro
g
r
am_n
a
m
e
b
e
fore c
a
lling
a
r
g
p_parse
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
reduce_domain: exploit that
n
o caller uses Polyhedron2Param_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven
Verd
o
olaege
lexmin: sto
p
using Polyhedr
o
n2Param_SimplifiedDomain
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdool
a
ege
barv
i
n
o
k
.
cc
:
stop using Polyhed
r
on
2
Param
_
S
i
mplifiedDom
a
in
commit
|
commitdiff
|
tree
2007-04-12
Sven V
e
rdool
a
e
ge
Requir
e
a ve
r
sion
o
f PolyLib
t
hat computes
correct
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
v
en Ve
r
d
o
olaege
v
olume
.
c: non_e
m
pty_point:
s
imp
l
y
use internal point
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
add an ehrhart
e
xa
m
p
le with interesting
c
ham
b
ers
commit
|
commitdiff
|
tree
2007-04-12
Sven Ve
r
doolaege
te
s
t_approx: te
s
t
ch
a
mber ba
s
ed s
c
aling
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
er
d
o
o
laege
s
c
al
e
.
c: optionally p
e
r
form scaling on indi
v
id
u
al c
h
ambe
r
s
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
ba
r
vinok_enumerate: u
s
e "v
a
riabl
e
compression" t
o
remove
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Ve
r
doolaeg
e
u
til
.
c:
left_i
n
ver
s
e
: han
d
le
c
onstan
t
map
commit
|
commitdiff
|
tree
2007-04-12
Sven Ver
d
oola
e
ge
e
va
l
u
e
.
c: evalue_subst
i
tute: move from edo
m
a
i
n
.
cc
commit
|
commitdiff
|
tree
2007-04-12
Sven Ver
d
oolaege
evalue
.
c: a
f
f
in
e
2evalue:
e
xtrac
t
ed
f
r
o
m volume
.
c
commit
|
commitdiff
|
tree
2007-04-12
Sven Ve
r
doo
l
aege
reduce_domain: partition chambe
r
com
p
lex base
d
on inn
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
S
ven Verdoolaege
reduc
e
_domain
.
c: extract in
n
e
r
_
point and is_internal
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sv
e
n Verdoolaege
r
e
d
u
ce_do
m
ai
n
: c
h
eck for adjace
n
t c
h
ambers in sim
p
lified
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdoola
e
ge
FORA
L
L_REDUCED
_
DOMAIN: extract
c
ommon ha
n
dling of
reduced
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
barvinok_enumerate: move
recur
s
ive
c
all d
u
ring sc
a
ling
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Ve
r
doolaege
bar
v
ino
k
.
cc: Param_Po
l
y
hed
r
on_En
u
merate:
extracted
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdool
a
ege
add
some interesting
t
est
c
ases
f
or volume comput
a
tion
commit
|
commitdiff
|
tree
2007-04-09
Sven
V
erdool
a
ege
perform very basic polyn
o
m
ia
l
approximation test
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoo
l
a
e
g
e
test_approx: compa
r
e different
p
olynomial approxima
t
i
o
ns
commit
|
commitdiff
|
tree
2007-04-08
Sven
V
e
rdoolaege
e
v
alue_convert
.
cc:
p
ar
t
i
al support
f
or
p
rinting
in
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
Pa
r
am
_
Po
l
yhedron_Vo
l
ume: perform li
f
ting triangulation
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
volume
.
c: introd
u
ce parameter_point abstraction
commit
|
commitdiff
|
tree
2007-04-08
Sve
n
Verdoola
e
ge
scale
.
c:
exp
o
rt Param
_
V
e
r
tex_Common_Deno
m
inator
commit
|
commitdiff
|
tree
2007-04-08
Sven
V
erdoolaege
volume
.
c
: dr
o
p redundan
t
arguments to
v
olume_si
m
plex
commit
|
commitdiff
|
tree
2007-04-08
Sven
Verdoolaege
options
.
c: separate pol
y
nomial approximation related
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
S
ven
V
erdoolaege
barv
i
n
o
k
_
options_new_with_defau
l
ts: i
n
itialize scale_
f
l
ags
commit
|
commitdiff
|
tree
2007-04-07
S
v
e
n Verdo
o
laege
tri
a
n
gulate
_
c
one: skip Delaunay trian
g
ul
a
tion
by de
f
au
l
t
commit
|
commitdiff
|
tree
2007-04-07
S
ven Verdoolae
g
e
e
value_c
o
nver
t
: print lattice when pr
i
nting as l
i
st
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolaege
evalue_convert:
add verb
o
se argument and return 1 if
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
S
v
en Verdoolaege
Polyhedron_Flate: intersect i
n
flate
d
poly
t
ope with
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Verdoolaege
doc: bib: fix
u
p
name
in title of Algorithmica p
a
per
commit
|
commitdiff
|
tree
2007-04-05
Sven Verdoolaege
add m
i
s
s
i
ng volume
.
h file
commit
|
commitdiff
|
tree
2007-04-04
Sven Ve
r
doolaege
volume
.
c: del
a
y computation of point wh
e
re vo
l
ume is
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
Sven Verd
o
olaege
Param_Polyhedron_Volume
:
set pol
y
nomial_ap
p
roximation
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sve
n
Verdoola
e
ge
v
olu
m
e
.
c: allow
c
omputation of lower and upper
b
ou
n
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
S
v
en
V
erdoolaege
s
cale: e
x
port Poly
h
edron_
F
late
commit
|
commitdiff
|
tree
2007-04-03
Sven
Verd
o
ol
a
ege
b
arv
i
nok_
e
num
e
rate: optionally compute "vo
l
um
e
" po
l
ynomial
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
pol
y
t
o
p
e_volume: compute
v
olu
m
e of parametr
i
c polytope
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
reduce_domain
.
c: plug
m
em
o
ry leak
commit
|
commitdiff
|
tree
2007-03-31
Sven Verd
o
olaege
verify
.
c
:
m
o
ve c
o
mput
a
t
i
o
n of
tr
u
e con
t
ext into check_poly_c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven V
e
rdool
a
ege
scale
.
c: add
s
implified method of computing ti
g
hter
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verd
o
o
l
aege
barvinok_e
n
um
e
rate: optionally comput
e
ti
g
hter polyno
m
ial
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sve
n
V
er
d
o
o
laege
po
l
yhedron_sample
.
c
:
remove red
u
ndant MAXR
A
YS de
f
ine
commit
|
commitdiff
|
tree
2007-03-31
S
ven Verdoolaege
e
v
al
u
e
.
c: e
v
alue_eval:
s
u
p
port re
l
at
i
o
ns
commit
|
commitdiff
|
tree
2007-03-31
S
v
e
n
Ver
d
oolaege
evalue
.
c: ev
a
l
ue_frac2poly
n
o
mial
:
properly handle relation
s
commit
|
commitdiff
|
tree
2007-03-31
Sven Ve
r
doolaege
barvinok_enumera
t
e
:
s
upport appr
o
ximation by means
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven V
e
rdoolaege
scale
.
c
:
avoid simp
l
ific
a
tion of constrai
n
ts a
f
t
er
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
Verdoolaege
barvinok/util
.
h:
add
P
OL_UNSET
m
a
cro for unse
t
ti
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoola
e
ge
scale
.
c:
P
a
r
a
m
_Polyhedron_Scale
_
Integer_Fa
s
t:
ignore
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Ver
d
o
olaege
move Param_Polyhedron
_
Scale_Integer to
s
c
ale
.
c and
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
V
erdoolaege
use
s
eparat
e
fl
a
gs option for scale approximation method
commit
|
commitdiff
|
tree
2007-03-31
Sven V
e
rdoo
l
aege
b
arvino
k
.
cc: move
scaling to
s
cale
.
c
commit
|
commitdiff
|
tree
2007-03-30
Sven Verdoolaeg
e
scale
.
c: correct e
x
tract_lattic
e
in case of redundant
.
.
.
commit
|
commitdiff
|
tree
2007-03-30
Sven Ver
d
oolaege
doc: u
p
date CC2005 re
f
e
ren
c
e
commit
|
commitdiff
|
tree
2007-03-26
S
v
en Ve
r
doolaege
verif_ehrh
a
r
t
.
c
:
rou
n
d i
n
exact
e
v
aluation up or
down
.
.
.
commit
|
commitdiff
|
tree
2007-03-26
Sv
e
n
V
er
d
oolaege
verif_ehrh
a
r
t
.
c:
optionally
u
s
e exact evaluat
i
on
f
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-03-25
Sven V
e
r
doolaege
eva
l
ue
.
c
: add evalue_eval for exac
t
evaluation of evalu
e
commit
|
commitdiff
|
tree
2007-03-25
S
v
e
n Ver
d
oo
l
aege
evalue
.
c:
fix e
v
alue_f
r
ac2po
l
yn
o
mial f
o
r
negativ
e
values
.
.
.
commit
|
commitdiff
|
tree
2007-03-20
Sven Verdoo
l
a
ege
barvino
k
_
e
numerat
e
: perform s
l
o
w
scali
n
g
a
pproxi
m
ation
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven
V
erdoolaege
fix Pa
r
am_Pol
y
hed
r
o
n_Scale_In
t
e
ger
commit
|
commitdiff
|
tree
2007-03-19
Sve
n
V
e
rd
o
ol
a
ege
barvinok_enumerate: more accurate polynomial approximation
commit
|
commitdiff
|
tree
2007-03-19
Sv
e
n Verdoolaege
reorganize polynomi
a
l approximati
o
n options
commit
|
commitdiff
|
tree
2007-03-19
S
v
e
n V
e
rdoolaege
util
.
c
:
Pa
r
am_Pol
y
hedron_Print: actually us
e
output
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoo
l
a
e
ge
f
i
x merge of c
h
eck_poly fro
m
verif_ehrhart
.
c
a
n
d
lexmin
.
c
c
commit
|
commitdiff
|
tree
2007-03-18
Sven Verdoolaege
doc: updat
e
Koeppe-Verdoolae
g
e r
e
ference
commit
|
commitdiff
|
tree
2007-03-17
Sv
e
n Ver
d
ool
a
ege
b
a
rvinok_ma
x
imize: support verific
a
tion
commit
|
commitdiff
|
tree
2007-03-17
Sv
e
n
Verdo
o
la
e
g
e
m
er
g
e
c
h
ec
k
_poly
f
rom
verif_ehrhart
.
c and lexmin
.
cc
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoola
e
g
e
ev
a
lue
.
c: ma
k
e
so
m
e
evalue arguments const
commit
|
commitdiff
|
tree
2007-03-17
S
ven Verdoolaege
e
v
alue_frac2fl
o
o
r
2: al
s
o convert non-
p
artition if no
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sve
n
Verdoolaege
verify
.
c: change
v
erify_options_set_
r
ange pro
t
o
type
commit
|
commitdiff
|
tree
2007-03-17
S
ven Verd
o
olaege
bernstein: piec
e
wise_lst::evaluate: supp
o
rt
d
iff
e
r
ent
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven Ve
r
do
o
laeg
e
ver
i
f
y
.
c
:
t
urn of
f
continue_on_erro
r
by default
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
b
ernst
e
in: export num
e
ric2v
a
lue
commit
|
commitdiff
|
tree
2007-03-15
Sven
V
erdoolaege
doc: proof of
e
xistence of s
u
itable y f
o
r prima
l
decompositi
.
.
.
commit
|
commitdiff
|
tree
2007-03-15
Sv
e
n Verdoo
l
aege
doc: fix proo
f
of existen
c
e of
s
uita
b
le
y for primal
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
S
ven Verdoolaege
bernstein
.
cc
:
bernstein
_
coef
f
i
c
ients: cr
e
a
te signe
d
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdo
o
lae
g
e
barv
i
nok
_
ma
x
i
m
i
ze: opti
o
nall
y
use r
e
cursive bernstei
n
_coeffi
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaege
berns
t
e
i
n
.
cc: bern
s
tein_coeffic
i
ents: support g
e
ne
r
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
S
v
e
n Verdoolaege
b
e
rnste
i
n
.
cc: ref
a
cto
r
bernstein
_
coe
f
ficients_produ
c
t
commit
|
commitdiff
|
tree
2007-03-14
Sven
V
erdool
a
ege
be
r
nstein: pi
e
cewise_l
s
t:
add sign and re
m
ove r
e
d
u
ndant
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sv
e
n Ve
r
doo
l
aege
b
er
n
stein:
ad
d
remove_r
e
dunda
n
ts
m
ethod
commit
|
commitdiff
|
tree
2007-03-14
Sven
Verdoolaege
doc: primal decomposi
t
ion: t
y
p
o fi
x
es + clarifications
commit
|
commitdiff
|
tree
2007-03-11
Sven
Verdoolae
g
e
doc: fix primal decomposition ex
a
mple
+ clean-ups
commit
|
commitdiff
|
tree
2007-03-11
Sven Verdoolaege
Do
c
ume
n
t
primal
d
ecom
p
osition
commit
|
commitdiff
|
tree
2007-03-11
Sven
V
e
rdoolaeg
e
barvinok
.
cc: barvinok_enume
r
a
t
e: fix lower b
o
und a
p
proximation
commit
|
commitdiff
|
tree
2007-03-07
Sven Verdoolaege
e
v
alue
_
sp
l
it_perio
d
s
: gracefully handle
zero
e
values
.
.
.
commit
|
commitdiff
|
tree
2007-03-07
Sven V
e
r
d
oolaege
barvinok_maximiz
e
: ha
n
dle z
e
ro input
commit
|
commitdiff
|
tree
next