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
test_approx: test volume computation variations
2007-04-13
Sven Ver
d
oolaege
test_approx: te
s
t
volume computation variati
o
n
s
commit
|
commitdiff
|
tree
2007-04-13
Sven V
e
rdoolaege
volume
.
c: volum
e
_triangulate: use vertex
i
nstead
of
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
volume
.
c: face_vertic
e
s: use Param_
I
nner_Product
commit
|
commitdiff
|
tree
2007-04-12
Sven Ver
d
o
o
l
aege
C
all set_program_name before
callin
g
argp_p
a
rse
.
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
Ver
d
oolaege
reduce_
d
omain: exploit that no ca
l
le
r
uses P
o
lyhedron2Param_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
lexm
i
n:
s
top
u
sing Polyhedron2P
a
ram_
S
i
m
plifie
d
Domai
n
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n
V
erdoolaege
b
arvino
k
.
cc: sto
p
using Po
l
yh
e
dro
n
2Param_SimplifiedDomain
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
Verdoolaege
Require a versi
o
n
of Poly
L
ib that computes correct
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven V
e
r
doola
e
ge
volum
e
.
c: non
_
empty_po
i
nt: si
m
ply use internal point
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdo
o
laege
add an ehrhart example wi
t
h interesti
n
g cham
b
ers
commit
|
commitdiff
|
tree
2007-04-12
S
ven Verdoo
l
a
e
ge
te
s
t_
a
pprox:
t
est chamber based scaling
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolae
g
e
scale
.
c:
o
p
t
iona
l
ly perform scaling on indi
v
idual chambers
commit
|
commitdiff
|
tree
2007-04-12
Sven V
e
rdoolaege
barvin
o
k_enu
m
er
a
te: use "variable compression" to remove
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Ver
d
ool
a
ege
util
.
c: left_inver
s
e
:
handle
co
n
stant m
a
p
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdool
a
eg
e
eva
l
ue
.
c: evalue_substitute: mo
v
e f
r
o
m edomain
.
cc
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
V
e
r
dool
a
ege
eva
l
ue
.
c: affine2evalue: extr
a
c
t
ed
f
r
o
m
vol
u
m
e
.
c
commit
|
commitdiff
|
tree
2007-04-12
S
ven Verdoolae
g
e
red
u
ce_domain
:
partition chamber
c
omp
l
ex based on inner
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
S
v
en Verdo
o
l
a
ege
red
u
ce_doma
i
n
.
c: extract
inn
e
r_point
a
n
d
is_internal
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
S
v
en Verdoolaege
r
educe_domain:
c
he
c
k
for ad
j
acent chambers in si
m
p
lified
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdoolae
g
e
F
O
RA
L
L_REDUCED_DOMAIN: extract common
handling of
r
e
duced
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
S
v
e
n Verdool
a
ege
bar
v
inok_enumerate: m
o
ve recursive call d
u
ring scaling
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
b
arvin
o
k
.
c
c
: Param_Po
l
yhedron_
E
numerate:
extr
a
c
ted
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Ve
r
doola
e
ge
add some
interesting test cases f
o
r volu
m
e comput
a
tion
commit
|
commitdiff
|
tree
2007-04-09
Sve
n
Verdoolaege
perfo
r
m v
e
ry basic poly
n
omial appro
x
imation test
commit
|
commitdiff
|
tree
2007-04-09
Sve
n
Ver
d
oolaege
test
_
a
p
p
rox
:
com
p
are di
f
f
erent po
l
ynomial approximations
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoola
e
ge
evalue_convert
.
c
c
: partial
s
u
p
por
t
fo
r
printing
in
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdool
a
ege
Param
_
Pol
y
h
e
dron_
V
olu
m
e: per
f
orm
lifting triangulatio
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
volume
.
c: introduce paramet
e
r_point ab
s
traction
commit
|
commitdiff
|
tree
2007-04-08
Sven Ver
d
oolaege
s
c
ale
.
c: export Param_Ver
t
ex
_
Common_Deno
m
inator
commit
|
commitdiff
|
tree
2007-04-08
S
ven
Verdoolaege
volume
.
c: drop redundant arguments to
volu
m
e
_
simpl
e
x
commit
|
commitdiff
|
tree
2007-04-08
Sve
n
Verdoolaege
options
.
c
:
separate polynomial approximation related
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
S
v
en Verdoo
l
aege
b
a
rvinok_o
p
tions_new_with_defaults: i
n
itialize scale_flags
commit
|
commitdiff
|
tree
2007-04-07
Sven Verd
o
ola
e
ge
t
riangulate_con
e
: skip Dela
u
n
a
y
t
riangu
l
atio
n
by default
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolaege
evalue_convert: pri
n
t lat
t
ice when printing
a
s list
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoola
e
ge
evalue_convert: ad
d
verbose argume
n
t and return 1 if
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven
V
e
rdoolaege
Polyhe
d
ron_Flate:
i
nters
e
c
t inflate
d
po
l
ytope w
i
th
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
S
ven Verdoolaege
doc: bib: f
i
x
up n
a
me in title of Algorithmica pape
r
commit
|
commitdiff
|
tree
2007-04-05
Sven Ve
r
doolae
g
e
add missing volume
.
h
f
il
e
commit
|
commitdiff
|
tree
2007-04-04
Sven Verdoolaeg
e
volu
m
e
.
c: delay computation of po
i
nt wh
e
r
e
volume is
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
Sven Verdoolaege
Param_Pol
y
hed
r
o
n
_
V
o
lume: set pol
y
nomi
a
l_approximation
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdo
o
laege
vo
l
ume
.
c: allow com
p
utati
o
n
of lower
a
n
d upper
b
ou
n
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Ve
r
doolaege
scale:
e
x
p
ort Polyhedron_Flate
commit
|
commitdiff
|
tree
2007-04-03
Sven Ve
r
dool
a
ege
b
ar
v
inok_enumerat
e
: option
a
lly co
m
put
e
"
volume"
p
o
l
ynomial
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Ve
r
doola
e
g
e
p
o
lytope_volu
m
e: compute vol
u
me of parametri
c
polytope
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
reduc
e
_domain
.
c: plug memory leak
commit
|
commitdiff
|
tree
2007-03-31
S
v
en
V
erdoolaeg
e
verify
.
c: move com
p
u
ta
t
ion of true context into check_poly_c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
scale
.
c: add s
i
mplif
i
ed
me
t
hod of co
m
pu
t
in
g
tighter
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaeg
e
barvinok_enumerate:
o
ptionally comput
e
tight
e
r
p
o
lynomial
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
p
olyhedr
o
n_sampl
e
.
c
: remove r
e
d
u
ndant MAXRAYS define
commit
|
commitdiff
|
tree
2007-03-31
Sve
n
Verd
o
olaege
evalue
.
c
: evalu
e
_
eva
l
: support relation
s
commit
|
commitdiff
|
tree
2007-03-31
S
ven Ve
r
doolaege
evalue
.
c: evalue_fr
a
c
2
polyn
o
mi
a
l
: properly handle rel
a
tions
commit
|
commitdiff
|
tree
2007-03-31
Sven
Verdoolaege
barvinok_enume
r
ate:
s
u
pport
ap
p
roximation by
m
ea
n
s
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven V
e
rdoolaege
s
cale
.
c
:
a
void
simp
l
ification of
c
onstraints aft
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolae
g
e
b
a
r
vinok/ut
i
l
.
h: add
P
OL_
U
NSET mac
r
o for uns
e
t
t
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
Verdo
o
laege
s
cale
.
c: Para
m
_
Polyhedron_Sc
a
le_Inte
g
er_F
a
st: ignor
e
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
V
e
rdoolaege
move Param_Pol
y
hedron_Scale_
I
nteg
e
r to
sca
l
e
.
c
and
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
use
s
epar
a
te flags option for scale ap
p
rox
i
mat
i
on
method
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n
Verdool
a
ege
barvinok
.
c
c
: move scaling to scale
.
c
commit
|
commitdiff
|
tree
2007-03-30
Sven Verdoolaege
scale
.
c: corr
e
ct ex
t
ract_lattice i
n
c
ase o
f
redundant
.
.
.
commit
|
commitdiff
|
tree
2007-03-30
Sven
Verdoola
e
ge
doc
:
update CC2005 refer
e
nce
commit
|
commitdiff
|
tree
2007-03-26
Sven Ver
d
oolaege
v
erif_ehrhart
.
c: roun
d
inexac
t
e
v
alu
a
tion up or
d
own
.
.
.
commit
|
commitdiff
|
tree
2007-03-26
Sven Verdoolaege
verif_
e
hrhart
.
c: optiona
l
ly use exact ev
a
l
uation
for
.
.
.
commit
|
commitdiff
|
tree
2007-03-25
Sven Verdool
a
e
g
e
eva
l
u
e
.
c: add evalue
_
e
va
l
for exa
c
t eval
u
ati
o
n of evalue
commit
|
commitdiff
|
tree
2007-03-25
Sven Verdoolaege
evalue
.
c: fix ev
a
lue_frac2polynomial for negative values
.
.
.
commit
|
commitdiff
|
tree
2007-03-20
Sven Verdool
a
ege
barvinok_en
u
merate: perform slow
s
c
aling approxi
m
a
t
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven
V
erdoolaeg
e
fix Param_Polyh
e
dron_Scale_
I
nteger
commit
|
commitdiff
|
tree
2007-03-19
Sven V
e
rdool
a
e
g
e
barvinok_enumerate: more accurat
e
polynomial
approximatio
n
commit
|
commitdiff
|
tree
2007-03-19
Sve
n
Verdoolaeg
e
r
eo
r
gan
i
ze pol
y
nomial app
r
oximation opt
i
ons
commit
|
commitdiff
|
tree
2007-03-19
S
v
en Verdool
a
ege
util
.
c: P
a
ram_Polyhe
d
ron_Print: act
u
ally use ou
t
put
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven
V
e
r
d
o
olaege
fix merge of check_po
l
y f
r
om verif
_
ehrhart
.
c a
n
d
lex
m
in
.
cc
commit
|
commitdiff
|
tree
2007-03-18
Sven Verdoolaeg
e
d
oc: update K
o
ep
p
e
-Verdoolae
g
e re
f
erence
commit
|
commitdiff
|
tree
2007-03-17
Sv
e
n Verdoolaege
barvinok_maximize: s
u
ppo
r
t veri
f
ication
commit
|
commitdiff
|
tree
2007-03-17
Sve
n
Verdoo
l
a
e
g
e
m
erge check
_
poly from
verif_ehrhar
t
.
c and
l
exmin
.
cc
commit
|
commitdiff
|
tree
2007-03-17
S
ven Verdoola
e
ge
eva
l
ue
.
c
:
make some evalue arguments const
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
evalue_frac
2
f
l
oo
r
2: also convert non-
p
artition if
no
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
verify
.
c
:
change verify_opt
i
on
s
_set_range proto
t
y
p
e
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoola
e
ge
bernstein: piecew
i
se_ls
t
::evaluate: su
p
port differe
n
t
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolae
g
e
verify
.
c: tu
r
n
of
f
continue_on_error by def
a
ult
commit
|
commitdiff
|
tree
2007-03-17
Sven Verd
o
olaeg
e
be
r
nste
i
n: expo
r
t num
e
ric2value
commit
|
commitdiff
|
tree
2007-03-15
S
v
en Ver
d
o
olaege
doc: p
r
oof of existenc
e
of sui
t
a
b
le y
f
or
p
rimal decom
p
o
siti
.
.
.
commit
|
commitdiff
|
tree
2007-03-15
Sven Verdoolaege
d
o
c: fix pr
o
o
f
of existence of su
i
t
a
ble y for
p
r
i
mal
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
S
v
e
n Verdoo
l
aege
ber
n
stein
.
cc: bernstein_coefficie
n
ts
:
create si
g
n
ed
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
S
ven Verdoo
l
aege
barvinok_maximiz
e
: optionally use recursive bernstein_coef
f
i
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaeg
e
bernstein
.
cc: ber
n
stein_coefficients: support gene
r
al
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
S
v
en Verdoolaege
bernstein
.
cc:
r
efac
t
or b
e
r
n
stein_co
e
ffi
c
ients_prod
u
ct
commit
|
commitdiff
|
tree
2007-03-14
Sven
V
erdo
o
laege
bernstein: p
i
ec
e
wise_lst: ad
d
s
ign and remove
r
e
d
undant
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven V
e
rdoolaege
bernste
i
n: add rem
o
ve_redundant
s
method
commit
|
commitdiff
|
tree
2007-03-14
Sven Ve
r
doo
l
aege
doc: primal
deco
m
position:
t
y
po fix
e
s + clarifications
commit
|
commitdiff
|
tree
2007-03-11
Sven
Verdoolaege
doc: fix primal de
c
omposi
t
ion examp
l
e
+ clean-ups
commit
|
commitdiff
|
tree
2007-03-11
Sven Verdoolaege
D
ocu
m
ent prim
a
l decompositi
o
n
commit
|
commitdiff
|
tree
2007-03-11
Sv
e
n Ve
r
dool
a
e
ge
barvinok
.
cc: barvino
k
_enumerate: fix l
o
wer bound approximatio
n
commit
|
commitdiff
|
tree
2007-03-07
Sven
Ve
r
dool
a
e
ge
evalue
_
s
plit_periods: gracefully handle zer
o
evalues
.
.
.
commit
|
commitdiff
|
tree
2007-03-07
S
v
en Ver
d
oolaege
barvinok_maxi
m
ize: ha
n
d
l
e zer
o
input
commit
|
commitdiff
|
tree
2007-03-07
Sven Verd
o
olaege
barv
i
nok_e
n
umerat
e
_e:
c
lean u
p
allocation
o
f options
commit
|
commitdiff
|
tree
2007-03-07
Sven
Ver
d
oolaege
ba
r
vinok
.
c
c
: handle
c
ase wh
e
re noth
i
ng is
l
eft after
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sven Ve
r
doolaeg
e
evalue_convert:
support printing a quasi-polynomialas
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sven V
e
rdoolae
g
e
lattice_po
i
nt
.
h
: make self-contained
commit
|
commitdiff
|
tree
2007-03-02
Sven
Ver
d
oolaeg
e
evalue
.
c: e
x
t
ract evalue_
e
xtract_affine f
r
om bernstein
.
cc
commit
|
commitdiff
|
tree
2007-03-02
Sve
n
Ver
d
oolaege
bernstein
.
cc: bernstei
n
_
c
oefficients_
p
roduct: no need
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
S
ven Verdool
a
ege
bernste
i
n
_
coe
f
ficients
:
optionall
y
optimize during
.
.
.
commit
|
commitdiff
|
tree
next