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 Verdoolaege
on
l
y
compile bar
v
i
n
o
k
_maximize i
f
GiNaC (and bernst
e
in
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
ad
d
an ehrhart
e
xample w
i
th intere
s
ting chamber
s
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
Verdoolaege
t
e
st_approx: test ch
a
mber
based scaling
commit
|
commitdiff
|
tree
2007-04-12
Sven V
e
rdoo
l
aeg
e
s
c
ale
.
c: optionally perfor
m
scaling on indivi
d
u
a
l
c
ham
b
ers
commit
|
commitdiff
|
tree
2007-04-12
S
v
e
n Verdoolaege
barvinok_
e
nu
m
erate: use
"
v
a
riable compres
s
ion"
t
o remove
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
ven Ver
d
oolaege
ut
i
l
.
c: left
_
inverse:
handle c
o
ns
t
ant map
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
evalue
.
c
:
e
v
alue_substitute: move from edomain
.
cc
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n Ve
r
dool
a
ege
evalue
.
c: affine2evalue: extracted fr
o
m volume
.
c
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
reduce_domain: partition chamber complex
based on inner
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdoolaege
re
d
uce_domain
.
c: extra
c
t inner_point and is_internal
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
S
v
e
n Verdoolaege
reduce_domain: c
h
eck fo
r
adj
a
cent chambe
r
s
i
n simplified
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdool
a
ege
FORALL_R
E
DU
C
ED
_
DOM
A
IN: extract
c
ommo
n
handling
o
f r
e
duced
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven
V
erd
o
olaege
ba
r
vi
n
ok_enu
m
erate: move rec
u
rsive ca
l
l
dur
i
ng sca
l
ing
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Ver
d
o
o
l
a
e
ge
b
a
rvinok
.
c
c: Par
a
m
_Polyh
e
d
ron_E
n
umerate: extracted
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
add some int
e
resting tes
t
cases for volum
e
c
o
m
p
u
t
ation
commit
|
commitdiff
|
tree
2007-04-09
S
ven Verdoola
e
ge
pe
r
for
m
very
basic
pol
y
nomial appro
x
imation
t
e
s
t
commit
|
commitdiff
|
tree
2007-04-09
S
v
en Verdool
a
ege
test_approx: compar
e
diff
e
rent p
o
lyn
o
mi
a
l approximations
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
evalue_convert
.
cc: parti
a
l s
u
p
p
o
r
t for
printing in
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdo
o
laege
Par
a
m_Polyhedron_Vo
l
u
m
e: perform lifting triangula
t
ion
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
S
ven Verdoolaege
vol
u
me
.
c: introduce
p
ara
m
e
t
er_point abstr
a
ctio
n
commit
|
commitdiff
|
tree
2007-04-08
Sven V
e
rdoolaege
scale
.
c
: export Par
a
m
_
Vertex_Common_Deno
m
inator
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
volume
.
c: dro
p
redun
d
a
n
t
argument
s
t
o
volum
e
_sim
p
lex
commit
|
commitdiff
|
tree
2007-04-08
S
ven
V
e
rdoolaege
o
ptions
.
c: sepa
r
a
t
e polynomi
a
l
app
r
ox
i
mati
o
n rel
a
ted
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolae
g
e
b
arvinok_opti
o
ns_new
_
w
i
th_de
f
aults: initialize scale_flags
commit
|
commitdiff
|
tree
2007-04-07
Sven V
e
rdool
a
ege
t
r
i
a
ngulat
e
_cone: sk
i
p Delaunay triangu
l
a
t
ion by default
commit
|
commitdiff
|
tree
2007-04-07
Sv
e
n Ve
r
doolaege
evalue_conver
t
:
print la
t
tice when printing a
s
list
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven V
e
rdoolae
g
e
eva
l
ue_conv
e
rt: add verbose ar
g
ument
and r
e
turn 1
i
f
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Verdoolaeg
e
P
o
lyhedron
_
Flate
:
i
n
t
ersect inflated polyt
o
pe
w
ith
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Ver
d
oo
l
aege
doc: bib: fi
x
up name in title of
A
l
g
orithmica paper
commit
|
commitdiff
|
tree
2007-04-05
S
v
en Verdool
a
e
g
e
add missing vo
l
ume
.
h
file
commit
|
commitdiff
|
tree
2007-04-04
Sv
e
n Verdoolaege
volume
.
c: delay computat
i
on of
point where volu
m
e is
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
Sven Ver
d
oolaege
Param_Polyhedr
o
n_V
o
lume
:
set polynom
i
a
l
_
appr
o
ximati
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Ver
d
oolaege
volume
.
c:
a
llow comput
a
t
ion of lower and
u
p
p
er bound
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
scale: export Polyhedron_Fl
a
te
commit
|
commitdiff
|
tree
2007-04-03
Sven V
e
rdoolae
g
e
barvinok
_
e
n
umerat
e
:
o
pt
i
onally compute "volume" polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven
V
erdoolaege
polyto
p
e_vol
u
me
:
compute volume of parame
t
r
i
c
po
l
ytope
commit
|
commitdiff
|
tree
2007-04-03
S
v
en Verd
o
ola
e
ge
re
d
uce_domain
.
c: p
l
u
g
mem
o
r
y
l
e
ak
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoo
l
aege
verify
.
c: move computation
of true context into check_poly
_
c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
ve
n
Verdoolaege
scale
.
c
:
a
d
d simpli
f
i
e
d method of
computing
tighter
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolae
g
e
barv
i
n
ok_enumerate: opt
i
o
nally comput
e
t
i
ghter po
l
ynomial
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
v
en
V
er
d
o
olaeg
e
polyhed
r
o
n
_sampl
e
.
c: rem
o
v
e
redundant MAXR
A
YS def
i
ne
commit
|
commitdiff
|
tree
2007-03-31
Sven Verd
o
olaege
evalue
.
c: eval
u
e
_
e
v
al
:
support relations
commit
|
commitdiff
|
tree
2007-03-31
Sven Verd
o
olaege
evalu
e
.
c: evalue_
f
rac2polynomial: properly hand
l
e relations
commit
|
commitdiff
|
tree
2007-03-31
Sven Ve
r
dool
a
eg
e
ba
r
vinok_enum
e
r
ate:
su
p
port
app
r
ox
i
mation by m
e
ans
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven V
e
rdoolaege
scal
e
.
c: a
v
o
id simpl
i
fication of con
s
tra
i
nts af
t
er
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
barvinok/uti
l
.
h: add POL_UNSET macro fo
r
u
nse
t
ting
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Ve
r
doolaege
sc
a
le
.
c: Param_Polyhedr
o
n_
S
cale_
I
nteger_Fast
:
ign
o
re
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoola
e
ge
move Param_Po
l
yh
e
dron_Scale_Integer to scal
e
.
c and
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
Verdoolaege
use s
e
par
a
te flags o
p
t
i
o
n for scale
a
pproxim
a
tion method
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n
V
e
r
doolaege
ba
r
vinok
.
cc: move scali
n
g to
s
c
a
le
.
c
commit
|
commitdiff
|
tree
2007-03-30
Sv
e
n Verdoolaege
scale
.
c: correct extract_latt
i
ce in case of redundant
.
.
.
commit
|
commitdiff
|
tree
2007-03-30
Sven Verd
o
olae
g
e
doc: up
d
ate CC20
0
5 reference
commit
|
commitdiff
|
tree
2007-03-26
S
ven Verdoolaege
verif_ehrhart
.
c
:
roun
d
inexac
t
evalu
a
t
ion up or down
.
.
.
commit
|
commitdiff
|
tree
2007-03-26
Sve
n
Verdoolaege
verif_e
h
rha
r
t
.
c: optionally
u
se
ex
a
ct
evalu
a
tion
fo
r
.
.
.
commit
|
commitdiff
|
tree
2007-03-25
Sven Verdoolaege
e
v
alue
.
c: add evalue_e
v
al for e
x
a
ct
e
valu
a
ti
o
n of
ev
a
lue
commit
|
commitdiff
|
tree
2007-03-25
Sv
e
n Ver
d
oolaege
e
v
a
lue
.
c: fi
x
e
value_frac2polynomia
l
for ne
g
ative val
u
es
.
.
.
commit
|
commitdiff
|
tree
2007-03-20
Sven Verdoolae
g
e
barvinok_enume
r
ate: per
f
o
r
m slow scaling appro
x
imati
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
S
v
en Verd
o
olaege
fix Pa
r
am_Po
l
yh
e
dron_Scale_Integer
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoolaege
barvinok_en
u
m
e
rate: mo
r
e accurate polynomial a
p
proximation
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoolae
g
e
reorganize
p
o
lynom
i
al approx
i
mat
i
on options
commit
|
commitdiff
|
tree
2007-03-19
S
v
e
n
Verdoo
l
aeg
e
util
.
c:
Param_Polyhedron_Print: a
c
t
ually
u
se outp
u
t
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven Ver
d
oolaege
fix
m
er
g
e of check_pol
y
from
verif_ehrhart
.
c
a
nd l
e
xmin
.
cc
commit
|
commitdiff
|
tree
2007-03-18
Sven Ve
r
doolaege
doc: update
K
oeppe
-
Verdoolaege reference
commit
|
commitdiff
|
tree
2007-03-17
Sven Ve
r
doolaege
barvinok_m
a
ximize: support verification
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
merge ch
e
ck_poly fro
m
verif_eh
r
hart
.
c
and lex
m
i
n
.
cc
commit
|
commitdiff
|
tree
2007-03-17
S
v
en
Verdoo
l
a
e
g
e
evalue
.
c: m
a
ke
some eva
l
ue ar
g
uments const
commit
|
commitdiff
|
tree
2007-03-17
S
ven Verdool
a
ege
e
value_frac2floor2: also c
o
nvert non-partiti
o
n if no
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sve
n
Verdoolaege
verify
.
c: c
h
ang
e
v
e
ri
f
y_
o
p
t
ions_set
_
range pr
o
to
t
ype
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoola
e
ge
bernstein: pi
e
cewi
s
e_lst::e
v
a
l
uate: support diffe
r
ent
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven Ver
d
oolaege
ver
i
fy
.
c: turn off conti
n
ue_o
n
_
e
rror by default
commit
|
commitdiff
|
tree
2007-03-17
Sven Ve
r
doolaege
bernstein: expo
r
t num
e
ri
c
2value
commit
|
commitdiff
|
tree
2007-03-15
S
v
e
n V
e
rdoola
e
ge
doc
:
p
roof of existence of su
i
table y
for primal decompositi
.
.
.
commit
|
commitdiff
|
tree
2007-03-15
Sv
e
n Verdoolaege
doc: fix
p
roof of exis
t
ence
of s
u
ita
b
le
y for
primal
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sve
n
Verdoolaeg
e
bernstein
.
cc: bernstei
n
_coe
f
fic
i
ents: cr
e
ate signed
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaege
barvin
o
k_max
i
m
i
z
e
: optionally
u
s
e
r
ecursi
v
e berns
t
ein_coe
f
fi
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaege
bernstein
.
cc: bernstein_coeff
i
cie
n
ts: sup
p
o
r
t general
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven
V
erdoolaeg
e
be
r
nstein
.
cc: refac
t
or be
r
nstein_coeff
i
cients_produc
t
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaege
be
r
nstein:
p
iecewise_l
s
t: add
s
ign a
n
d
r
emove redundant
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven V
e
r
doolaege
bernstein:
ad
d
remove_red
u
ndants method
commit
|
commitdiff
|
tree
2007-03-14
S
v
en Verdoolaeg
e
doc: pr
i
mal decomposition: typo fixes
+
clarifications
commit
|
commitdiff
|
tree
2007-03-11
S
ven Verd
o
ol
a
e
g
e
doc
:
fix prim
a
l
d
ec
o
mpositio
n
exam
p
le + clean-ups
commit
|
commitdiff
|
tree
2007-03-11
S
ven Ve
r
doolaege
Document
p
rimal
d
e
c
omposition
commit
|
commitdiff
|
tree
2007-03-11
S
v
en Verdoolaege
barvinok
.
cc: barvinok
_
enume
r
ate:
f
ix
lower bound appro
x
imation
commit
|
commitdiff
|
tree
2007-03-07
Sven Verdo
o
l
a
e
g
e
evalue_split_periods:
gracefully handle zero eva
l
ues
.
.
.
commit
|
commitdiff
|
tree
2007-03-07
S
ven Verdoolae
g
e
barvinok_maximize: ha
n
dle
z
ero input
commit
|
commitdiff
|
tree
2007-03-07
Sven V
e
rdoolaege
barvinok
_
e
n
umerate_
e
:
c
lean
u
p all
o
cation of options
commit
|
commitdiff
|
tree
2007-03-07
Sven Verdoolaeg
e
barvinok
.
cc: handl
e
c
a
s
e
w
here nothi
n
g is left after
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sven Verdoolaeg
e
evalue_conve
r
t: support pr
i
nting a quasi-p
o
l
yno
m
ialas
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
S
ven Ve
r
doo
l
aege
lattice_point
.
h: make self-con
t
ained
commit
|
commitdiff
|
tree
2007-03-02
Sven Verdoola
e
ge
evalue
.
c: ex
t
ract
evalu
e
_extrac
t
_affine from bernstein
.
cc
commit
|
commitdiff
|
tree
2007-03-02
Sven Verdoolaege
ber
n
s
tein
.
cc: bernstein
_
coefficients_product:
n
o need
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Ver
d
o
o
laege
bernstein_coeffi
c
ients: opt
i
onally optimize during
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Ver
d
oolaege
be
r
n
st
e
in_coeffi
c
ients
:
f
actori
z
e
do
m
ain if
p
ossibl
e
commit
|
commitdiff
|
tree
2007-03-01
Sven Ver
d
oolaeg
e
P
o
lyhedron_Factor: o
p
t
i
onally return relation betwee
n
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sve
n
Verd
o
o
l
a
e
ge
b
e
rnstein:
expor
t
r
eplaceVa
r
iablesIn
P
o
l
ynomial
commit
|
commitdiff
|
tree
2007-03-01
Sven
V
e
rd
o
olaege
ber
n
stein
.
cc: evalue2e
x
: r
e
pres
e
n
t
fractio
n
al by
scaled
.
.
.
commit
|
commitdiff
|
tree
2007-02-28
S
v
en Verdool
a
ege
barvinok_
m
aximiz
e
: fix
handling of UNIONs in domai
n
s
.
commit
|
commitdiff
|
tree
2007-02-28
S
ven Verdoolaeg
e
bernstein_coefficients: skip empt
y
subdomains
commit
|
commitdiff
|
tree
2007-02-28
Sve
n
Ver
d
oolaege
barvino
k
_
m
axim
i
z
e: fix
detection of end of domain sp
e
cifi
c
at
i
on
commit
|
commitdiff
|
tree
2007-02-27
Sven Verd
o
o
l
a
ege
barvinok_maxi
m
iz
e
: add
i
n
put conver
s
ion
commit
|
commitdiff
|
tree
next