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
add an ehrhart example with interesting chambers
2007-04-12
Sven Verdo
o
la
e
ge
a
d
d
an ehrhart exam
p
le with interesting chambers
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
erdoolae
g
e
test_app
r
ox: test c
h
amber
b
ased scaling
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdool
a
ege
sca
l
e
.
c: op
t
ionally perfor
m
scali
n
g on
indivi
d
u
a
l chambers
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n Verdoola
e
ge
barvino
k
_enumerate: use "variable
c
o
mpre
s
sion"
to
remove
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
v
e
n
Ve
r
doola
e
ge
util
.
c: left_inverse: handle con
s
t
ant
map
commit
|
commitdiff
|
tree
2007-04-12
Sven Ve
r
doolaege
ev
a
l
u
e
.
c: e
v
alu
e
_substitute: move from
e
domain
.
cc
commit
|
commitdiff
|
tree
2007-04-12
Sven
Verdoo
l
ae
g
e
e
v
alue
.
c
: affine2evalue
:
extracted
from
v
olume
.
c
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdool
a
ege
reduce_dom
a
in:
partition cham
b
er compl
e
x based
on inner
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdoolaege
reduce_do
m
ain
.
c: extra
c
t inner_point an
d
i
s
_
i
nterna
l
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdoolae
g
e
r
edu
c
e_d
o
main: check for adjacent c
h
amber
s
in s
i
mpl
i
fied
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdoolaege
FOR
A
LL_REDUCED_DOMAIN: extract
common handlin
g
of reduced
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
barvin
o
k_
e
numerate: m
o
v
e recursive c
a
ll dur
i
ng scaling
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
S
v
e
n Verdoolaege
barvin
o
k
.
cc: Param_Po
l
yhedron_Enumerate: e
x
tracted
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoola
e
ge
ad
d
some in
t
eresting test cases fo
r
vol
u
me
c
omputa
t
ion
commit
|
commitdiff
|
tree
2007-04-09
S
ven Verdoola
e
ge
p
erf
o
rm
very basic polynomi
a
l approximation
te
s
t
commit
|
commitdiff
|
tree
2007-04-09
Sve
n
Verdoolaege
test_approx: compare different
p
o
lynomial approximati
o
ns
commit
|
commitdiff
|
tree
2007-04-08
Sv
e
n Verdoolae
g
e
eval
u
e_convert
.
cc: parti
a
l s
u
p
p
ort for printing i
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sve
n
Verd
o
olaege
P
aram_Polyhedron_Volu
m
e
:
perform li
f
ting triangulation
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven
V
e
rdoolaege
v
ol
u
m
e
.
c: int
r
oduce
parameter
_
point abstracti
o
n
commit
|
commitdiff
|
tree
2007-04-08
Sven Verd
o
olaege
s
c
a
le
.
c
: export Param_Vert
e
x_Common_Denomin
a
tor
commit
|
commitdiff
|
tree
2007-04-08
Sven Ver
d
oolaege
vol
u
m
e
.
c: drop redundant arguments t
o
volume_simple
x
commit
|
commitdiff
|
tree
2007-04-08
Sven V
e
r
dool
a
ege
options
.
c: separat
e
pol
y
nomi
a
l approximation related
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolaege
ba
r
vi
n
ok_options_ne
w
_with
_
defaults: ini
t
ialize scale_fla
g
s
commit
|
commitdiff
|
tree
2007-04-07
S
v
en V
e
rdoolaege
triangula
t
e_cone: skip Delaunay triangulatio
n
by
d
efault
commit
|
commitdiff
|
tree
2007-04-07
Sve
n
Verd
o
olaege
evalue_convert: print latti
c
e when
p
rinting
as
l
ist
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Ver
d
oolaeg
e
evalue_convert: ad
d
verbos
e
ar
g
um
e
nt and return
1
if
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Verdoolae
g
e
Po
l
yhedro
n
_Flat
e
:
inte
r
sect
infl
a
ted polytope wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
S
v
en Ver
d
o
olaege
doc: bib: fi
x
u
p
name
i
n title of Al
g
orith
m
ica paper
commit
|
commitdiff
|
tree
2007-04-05
Sven Verdo
o
laege
add
missing
v
o
lume
.
h file
commit
|
commitdiff
|
tree
2007-04-04
Sven
V
erdoo
l
a
ege
vo
l
ume
.
c: delay com
p
u
t
ation of point
where volu
m
e
i
s
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
S
ven Verdoolae
g
e
Param_Po
l
yhed
r
on_Volu
m
e
: set po
l
yno
m
i
al_approximati
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Ve
r
d
o
olaege
vo
l
ume
.
c:
a
l
lo
w
com
p
utation of lower and upper bou
n
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
S
v
e
n V
e
rdoolaege
scale:
e
x
p
ort Pol
y
he
d
ron_Flat
e
commit
|
commitdiff
|
tree
2007-04-03
S
v
en
V
erd
o
olaege
b
a
rvinok_enumerate: optionally com
p
u
te "volume" pol
y
nomial
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolae
g
e
pol
y
tope_volume: compute volume of para
m
etric polytope
commit
|
commitdiff
|
tree
2007-04-03
Sven Ve
r
doo
l
aege
reduce_d
o
m
a
in
.
c: plug memory
leak
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
ve
r
ify
.
c
: move compu
t
ation of true
contex
t
into check_poly
_
c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sve
n
Verdoo
l
aege
scale
.
c: add simpl
i
fied
m
ethod of computing tighter
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Ver
d
oolaege
barvino
k
_e
n
umer
a
te: op
t
ion
a
lly c
o
mpute tighter po
l
ynomial
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
p
o
lyh
e
dron_sa
m
ple
.
c:
r
e
move redundan
t
MAXRAYS defi
n
e
commit
|
commitdiff
|
tree
2007-03-31
S
v
en
V
e
rdoola
e
ge
evalue
.
c: evalue_
e
val: support relations
commit
|
commitdiff
|
tree
2007-03-31
S
ven Ve
r
doolaege
evalue
.
c:
evalu
e
_frac2polynomial: pro
p
er
l
y h
a
ndle relations
commit
|
commitdiff
|
tree
2007-03-31
S
ven
Verdoolaeg
e
barvi
n
ok_enu
m
erate: support appro
x
imation by m
e
ans
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
scal
e
.
c: avoid simp
l
ific
a
tion of constrai
n
ts
aft
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
ven
Verdoolaege
barvinok/u
t
il
.
h: add POL_UNSET macro for unsett
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
ven Verdool
a
ege
sca
l
e
.
c
: Param_Poly
h
e
dron_Sca
l
e_Int
e
g
e
r
_Fast: ign
o
re
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
move Par
a
m_Polyhedro
n
_Scale_Integer to scale
.
c and
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sve
n
Ver
d
o
o
l
a
ege
u
s
e
separa
t
e
flags
option
f
or scale ap
p
roxim
a
ti
o
n me
t
hod
commit
|
commitdiff
|
tree
2007-03-31
Sven Ve
r
d
oolaege
barvinok
.
c
c: m
o
ve sca
l
i
n
g
t
o scale
.
c
commit
|
commitdiff
|
tree
2007-03-30
Sven Verd
o
olae
g
e
scale
.
c:
c
orrect extract_l
a
ttice in case of redund
a
nt
.
.
.
commit
|
commitdiff
|
tree
2007-03-30
S
v
en
Ver
d
oolaege
doc: update C
C
2005 reference
commit
|
commitdiff
|
tree
2007-03-26
Sven Verdoo
l
aege
verif_ehrha
r
t
.
c:
r
o
un
d
inexact evaluat
i
on up or down
.
.
.
commit
|
commitdiff
|
tree
2007-03-26
Sven Ver
d
o
ola
e
ge
verif_ehrhar
t
.
c
:
o
p
tionall
y
us
e
exact evalu
a
t
i
on f
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-03-25
Sven
Verdoolaege
evalue
.
c:
ad
d
evalue_eval for
exact evaluation
o
f evalue
commit
|
commitdiff
|
tree
2007-03-25
Sven Verdoolaege
evalue
.
c: fix evalue
_
frac2pol
y
no
m
ial for nega
t
i
v
e valu
e
s
.
.
.
commit
|
commitdiff
|
tree
2007-03-20
Sven V
e
rdoolae
g
e
barvinok_enum
e
ra
t
e:
per
f
orm
slow scali
n
g app
r
oximati
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sve
n
Verdoolaege
fix P
a
ram
_
P
olyhedron_Sca
l
e_Integer
commit
|
commitdiff
|
tree
2007-03-19
Sv
e
n Verdoolaege
barvinok_enumerate: more ac
c
urate pol
y
nomial app
r
oximation
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoolaege
r
eo
r
ganize polynomial appro
x
imat
i
on opt
i
ons
commit
|
commitdiff
|
tree
2007-03-19
S
ven Ver
d
oolaeg
e
util
.
c:
Param_Polyhedron
_
Print: ac
t
uall
y
use output
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoola
e
ge
fix m
e
r
ge of check_poly from verif_e
h
rhart
.
c and l
e
xmi
n
.
cc
commit
|
commitdiff
|
tree
2007-03-18
Sven Verdoolaege
doc:
updat
e
Koep
p
e-Verd
o
o
laege reference
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdool
a
e
g
e
barvinok_m
a
ximize:
s
up
p
ort
v
erificat
i
on
commit
|
commitdiff
|
tree
2007-03-17
S
v
e
n Verdoolaeg
e
merge check_p
o
ly fro
m
verif_ehrhar
t
.
c and lexmin
.
cc
commit
|
commitdiff
|
tree
2007-03-17
S
v
e
n Verdoolaege
e
value
.
c: make some evalu
e
argume
n
ts
c
o
nst
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
evalue_frac2floor2
:
also c
o
nvert non-partit
i
on
i
f no
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
veri
f
y
.
c: c
h
an
g
e verify_optio
n
s_s
e
t_ra
n
ge pr
o
totype
commit
|
commitdiff
|
tree
2007-03-17
S
v
en Verdoolaege
bernst
e
in: piecewise_
l
s
t
::evaluate:
s
upp
o
rt dif
f
e
rent
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sve
n
Verdool
a
e
g
e
verify
.
c: tu
r
n
o
f
f co
n
t
in
u
e_on_error
by defaul
t
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdool
a
eg
e
berns
t
ein: ex
p
ort
numeric2value
commit
|
commitdiff
|
tree
2007-03-15
Sven
Verdoolaege
doc: pro
o
f
of existen
c
e of suitable y for primal decompositi
.
.
.
commit
|
commitdiff
|
tree
2007-03-15
Sven
V
erdoolaege
do
c
:
fix
pro
o
f of
exis
t
ence of s
u
itable y for pri
m
al
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoo
l
ae
g
e
bernste
i
n
.
cc: bernstein_c
o
efficients:
c
rea
t
e si
g
ned
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
S
ven Ver
d
o
olaege
barvinok_maximiz
e
: opt
i
onally use re
c
ursive bernstein_coeff
i
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaege
b
e
rnstein
.
cc:
bernstein_coefficients
:
sup
p
o
rt general
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven
V
e
r
dool
a
ege
bernstei
n
.
cc: refactor bernstein
_
co
e
fficien
t
s_
p
roduct
commit
|
commitdiff
|
tree
2007-03-14
S
v
e
n
Verdoo
l
aege
b
e
r
n
s
tein: piecewise_lst: add si
g
n and remove redundant
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaege
bernstein:
a
d
d remo
v
e_r
e
d
undants method
commit
|
commitdiff
|
tree
2007-03-14
Sven
V
e
r
doolae
g
e
doc: primal decomposition:
t
ypo fixes + clar
i
fi
c
ations
commit
|
commitdiff
|
tree
2007-03-11
Sven
V
erdoolaeg
e
doc:
f
ix primal deco
m
position exa
m
ple +
clean-ups
commit
|
commitdiff
|
tree
2007-03-11
S
v
en Verdoolaege
Document
p
rimal d
e
compo
s
ition
commit
|
commitdiff
|
tree
2007-03-11
Sven Verdoolaege
barvino
k
.
cc: barvinok_enume
r
ate: f
i
x lower bound approxima
t
ion
commit
|
commitdiff
|
tree
2007-03-07
Sve
n
Verdoo
l
aege
evalue_split_peri
o
d
s
: grac
e
fully handle z
e
ro evalues
.
.
.
commit
|
commitdiff
|
tree
2007-03-07
Sv
e
n
Verd
o
o
la
e
ge
bar
v
i
n
ok_
m
a
ximize: handle zero inp
u
t
commit
|
commitdiff
|
tree
2007-03-07
Sven
V
erdoolaege
bar
v
inok_
e
numerate_e: c
l
e
a
n
up allocatio
n
of options
commit
|
commitdiff
|
tree
2007-03-07
Sven
V
erdoolaege
barvinok
.
cc: handle
case where nothing is left
a
fte
r
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sven Verdo
o
laege
e
v
alue_conv
e
rt:
support
p
rintin
g
a
q
uasi-polynomialas
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sven V
e
rdoolaege
la
t
tice_point
.
h
:
make
s
elf-contained
commit
|
commitdiff
|
tree
2007-03-02
S
ven Verdoola
e
ge
evalue
.
c: extract eval
u
e_ext
r
act_affine from bernstein
.
cc
commit
|
commitdiff
|
tree
2007-03-02
Sven Verdoolaege
b
e
rnstei
n
.
c
c
:
berns
t
ein_coeffi
c
ients_product: no
n
eed
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
S
v
en Verdo
o
laege
be
r
n
stein_c
o
e
fficients: optionall
y
opt
i
m
ize dur
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven
Verdoolaege
bernstein_coeff
i
cients: fact
o
rize domain if possib
l
e
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdoolaege
P
o
ly
h
edron_Fac
t
or:
o
p
ti
o
nally return r
e
lation be
t
ween
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Verd
o
olaege
bernstein: ex
p
ort
re
p
laceVariablesI
n
Polyn
o
mi
a
l
commit
|
commitdiff
|
tree
2007-03-01
Sven V
e
rdoolaege
bernstein
.
cc
:
ev
a
lue2ex: r
e
pr
e
s
e
n
t f
r
actional
by scaled
.
.
.
commit
|
commitdiff
|
tree
2007-02-28
Sven Verdoolaege
barvinok_max
i
mize:
f
ix
h
andling of UNIONs in doma
i
ns
.
commit
|
commitdiff
|
tree
2007-02-28
Sv
e
n
Verdool
a
ege
b
e
r
n
ste
i
n_c
o
effi
c
i
e
nts: s
k
i
p emp
t
y subdomains
commit
|
commitdiff
|
tree
2007-02-28
S
ven
Verdoolaege
barvi
n
ok_m
a
ximize: fix detection of
e
nd of domain
speci
f
ication
commit
|
commitdiff
|
tree
2007-02-27
Sve
n
V
e
rdoolaege
ba
r
vinok_ma
x
i
m
i
ze: add input co
n
version
commit
|
commitdiff
|
tree
2007-02-27
Sven Verdoo
l
aege
evalue_conver
t
: extracted from b
a
rv
i
n
o
k
_enumerate and
.
.
.
commit
|
commitdiff
|
tree
next