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
V
erdo
o
laege
add
a
n e
h
rhart example wi
t
h interestin
g
chambers
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
test_a
p
prox
:
test chamber based scaling
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdool
a
ege
scale
.
c: opt
i
onally perfor
m
scaling on individual chambers
commit
|
commitdiff
|
tree
2007-04-12
Sven V
e
rdoolaege
ba
r
vinok_enumerate: use "variable co
m
press
i
on"
to remove
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n Verdoolaege
util
.
c:
l
ef
t
_inverse
:
handle constant map
commit
|
commitdiff
|
tree
2007-04-12
Sven Verd
o
o
l
aege
evalue
.
c: eval
u
e_substitute: mo
v
e
from edomain
.
cc
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
Ver
d
oolaeg
e
evalue
.
c: aff
i
ne2ev
a
lue:
e
xtracted from volume
.
c
commit
|
commitdiff
|
tree
2007-04-12
Sven Ve
r
do
o
laege
r
e
duce_
d
omain: partiti
o
n cha
m
ber
c
o
m
ple
x
b
ased on inner
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven V
e
rdoola
e
g
e
re
d
u
ce_do
m
ain
.
c: extract inner_point a
n
d is_inte
r
nal
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdoolaege
reduce_domain: che
c
k fo
r
adjacent c
h
ambe
r
s in si
m
p
lified
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven
V
erd
o
o
l
aege
FORALL_
R
E
D
UC
E
D_DO
M
A
I
N
:
extract common
han
d
li
n
g
o
f
reduce
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
barvinok_enum
e
rate: move recursive call during sca
l
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
S
ven Verdoolaege
b
a
rvinok
.
cc
:
P
a
r
am_Po
l
yhed
r
o
n
_Enumerate: ext
r
acted
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
S
ven Verdoo
l
aege
add some intere
s
ting test cases f
o
r
volume computation
commit
|
commitdiff
|
tree
2007-04-09
Sv
e
n Verdoolaege
perfor
m
v
ery b
a
s
i
c
polynomial approximation t
e
s
t
commit
|
commitdiff
|
tree
2007-04-09
S
v
e
n Verdool
a
ege
test_approx: compare different
p
o
l
ynom
i
a
l
a
p
proximations
commit
|
commitdiff
|
tree
2007-04-08
S
v
en V
e
rdoolae
g
e
evalue_convert
.
cc: partial support for printin
g
in
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sve
n
Verd
o
o
l
aege
Param_Polyhedron_Volume: perform lifting triangulation
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
volu
m
e
.
c
:
i
ntroduce pa
r
ameter_point
a
bstra
c
tion
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
scale
.
c
: export Para
m
_Vertex_Common_
D
enominato
r
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
v
olume
.
c: drop redundant
a
rgum
e
nts
t
o
vo
l
ume
_
si
m
plex
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
options
.
c: separ
a
te pol
y
no
m
ial approxi
m
ation related
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Ve
r
dool
a
ege
barvinok_options_new
_
wi
t
h_defaults: initi
a
l
ize scale_
f
lags
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolaege
triangulate_cone: sk
i
p Del
a
unay tri
a
ngulati
o
n by defau
l
t
commit
|
commitdiff
|
tree
2007-04-07
Sve
n
Verdoolaege
evalue_convert: print l
a
ttice when
pri
n
t
i
ng
as l
i
st
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdool
a
ege
evalue_conver
t
: add verbose argument
a
nd
r
eturn 1 if
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Verdo
o
laeg
e
Polyhedron_Flate
:
in
t
ersect i
n
fla
t
ed p
o
lytope with
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
S
ven Verdoolaege
doc: bib
:
fi
x
up name in ti
t
le of
A
lgorithmica paper
commit
|
commitdiff
|
tree
2007-04-05
Sven Verd
o
olaege
a
d
d m
i
ssing volume
.
h file
commit
|
commitdiff
|
tree
2007-04-04
Sv
e
n Verd
o
ol
a
e
g
e
volume
.
c: delay computation of point where
v
ol
u
me
i
s
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
Sv
e
n
V
erd
o
olaege
Param_Polyhedron_Volume: set polynomial_app
r
oximation
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoo
l
aege
v
ol
u
me
.
c: allow computation of lower and upper bo
u
n
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolae
g
e
scale: expor
t
Poly
h
edron_Flate
commit
|
commitdiff
|
tree
2007-04-03
Sven V
e
r
doolaege
ba
r
vinok_enumerate: op
t
ionally compute
"volume" polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sve
n
Verdool
a
ege
p
olytope_volume: compute volume of pa
r
ametric polytope
commit
|
commitdiff
|
tree
2007-04-03
Sven Ve
r
doolae
g
e
reduce_domain
.
c: plug memory leak
commit
|
commitdiff
|
tree
2007-03-31
Sven
V
erdoo
l
ae
g
e
verify
.
c
:
move co
m
putation of
t
r
u
e context into check_poly_c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verd
o
o
l
aege
s
cale
.
c: add simp
l
ified me
t
hod
of comp
u
ting tig
h
t
er
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoo
l
aege
barvinok_enu
m
era
t
e: o
p
tionally comp
u
te tighter polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
V
e
rdoola
e
g
e
p
o
ly
h
edro
n
_
s
am
p
l
e
.
c: remove red
u
nd
a
nt MAXRAYS define
commit
|
commitdiff
|
tree
2007-03-31
Sven Ve
r
do
o
laege
evalue
.
c: evalue_
e
val: sup
p
ort relat
i
ons
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
eval
u
e
.
c
: evalu
e
_frac
2
polyno
m
i
al: prope
r
ly handle r
e
lat
i
ons
commit
|
commitdiff
|
tree
2007-03-31
Sven Ve
r
d
oolaege
b
arv
i
nok_enumera
t
e: support approxi
m
ation by me
a
ns
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
Verdoolaege
scale
.
c: avoid sim
p
lifica
t
ion of constraints
a
fter
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
ve
n
Verdoolaege
barvinok/u
t
il
.
h: add POL
_
UNS
E
T
macr
o
for unsetting
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
v
en
V
e
r
dool
a
ege
scale
.
c: Param_Polyhedr
o
n_Scale_
I
nteger_Fast: ignore
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n
V
erdoolaege
move Param_Po
l
yhedr
o
n_Scale_Integer to scale
.
c and
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
V
erdoolaege
use
s
eparate
f
lags op
t
ion
f
or sca
l
e
approximation
m
ethod
commit
|
commitdiff
|
tree
2007-03-31
Sven
V
e
rdool
a
ege
barvinok
.
cc: move scaling to s
c
ale
.
c
commit
|
commitdiff
|
tree
2007-03-30
Sven
Verdoolaege
sc
a
le
.
c:
c
o
r
rect extra
c
t_lattice in case of redun
d
a
n
t
.
.
.
commit
|
commitdiff
|
tree
2007-03-30
S
ven Verd
o
o
l
ae
g
e
doc: update C
C
200
5
reference
commit
|
commitdiff
|
tree
2007-03-26
Sve
n
V
e
r
doola
e
ge
ver
i
f_ehrhart
.
c: round inexact
evaluation up or down
.
.
.
commit
|
commitdiff
|
tree
2007-03-26
Sven
V
erdo
o
laege
verif_ehrhart
.
c: opti
o
n
a
lly use e
x
act
ev
a
luation for
.
.
.
commit
|
commitdiff
|
tree
2007-03-25
Sven
Verdoolaeg
e
evalue
.
c: add eval
u
e_e
v
al f
o
r
e
xact eva
l
uat
i
on of
e
value
commit
|
commitdiff
|
tree
2007-03-25
Sven
V
erdoolaege
evalu
e
.
c: fix evalue_frac2
p
olynomial for negative values
.
.
.
commit
|
commitdiff
|
tree
2007-03-20
Sv
e
n Verdoolae
g
e
barvino
k
_enum
e
rate: perfo
r
m slow scaling
approximation
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven V
e
rdo
o
laege
fix Param_Pol
y
hed
r
o
n
_Scale_Integer
commit
|
commitdiff
|
tree
2007-03-19
Sve
n
V
e
rdoolaege
b
a
rvinok
_
e
n
umer
a
te: more
accur
a
te
p
oly
n
omial approx
i
mati
o
n
commit
|
commitdiff
|
tree
2007-03-19
Sve
n
V
erd
o
olaege
reorga
n
ize polynomial approxim
a
tion options
commit
|
commitdiff
|
tree
2007-03-19
Sven
V
erdoolaege
uti
l
.
c: Param_Polyhedron_
P
rint: ac
t
ually use out
p
ut
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoolaege
fix merge of c
h
eck_poly from v
e
ri
f
_
eh
r
hart
.
c a
n
d lexmin
.
cc
commit
|
commitdiff
|
tree
2007-03-18
Sven Verdoola
e
ge
doc: u
p
date Koeppe-Verdo
o
l
a
ege re
f
erence
commit
|
commitdiff
|
tree
2007-03-17
S
ven
V
erdoola
e
ge
b
a
rvinok_maximi
z
e
:
supp
o
r
t verification
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaeg
e
me
r
g
e check_poly from verif_ehrh
a
rt
.
c and lexmin
.
cc
commit
|
commitdiff
|
tree
2007-03-17
Sven V
e
r
doolaege
evalue
.
c: make some evalue arguments co
n
s
t
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdool
a
ege
evalue_frac2fl
o
or2: also co
n
vert non-par
t
ition if no
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven Ve
r
do
o
la
e
ge
v
erify
.
c: chang
e
v
er
i
fy_
o
ptions_s
e
t_range
prot
o
ty
p
e
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoola
e
g
e
bernst
e
in: piecewise
_
ls
t
::evaluate: support d
i
ffer
e
nt
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoola
e
ge
verify
.
c:
turn off continue_on_er
r
o
r
b
y
d
e
fault
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
b
e
rns
t
ein: export numeric2value
commit
|
commitdiff
|
tree
2007-03-15
Sve
n
V
erdoolaege
doc: proof of existence of
suita
b
le y
f
or pr
i
mal decompositi
.
.
.
commit
|
commitdiff
|
tree
2007-03-15
S
ven Verdoolaeg
e
doc: fix proof of ex
i
stence
o
f suitable y for primal
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sv
e
n
Verdoolae
g
e
bernstein
.
cc:
bernstein_coeffici
e
nts: create
s
i
g
n
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven V
e
r
doolaege
barvinok_maximize:
o
pt
i
onal
l
y use
r
ec
u
rsive bernstein_coe
f
f
i
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaege
ber
n
stein
.
c
c
:
bernstein_coefficients: support ge
n
eral
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven
V
erdoo
l
aege
b
ernstein
.
cc: refactor
bernstein_coefficients_p
r
oduct
commit
|
commitdiff
|
tree
2007-03-14
S
ven Ver
d
oolaege
berns
t
e
i
n: piecew
i
se_lst:
a
dd sign and remove r
e
dundant
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaege
b
e
rnstein
:
a
d
d remov
e
_redunda
n
ts method
commit
|
commitdiff
|
tree
2007-03-14
Sven Ver
d
oo
l
a
e
ge
doc: primal d
e
com
p
osit
i
on: typo fixes + clarifi
c
a
tio
n
s
commit
|
commitdiff
|
tree
2007-03-11
Sv
e
n Ver
d
oolaege
doc
:
f
i
x primal decompositi
o
n exam
p
le + clean-ups
commit
|
commitdiff
|
tree
2007-03-11
Sve
n
Verdoolaege
Docum
e
nt pri
m
al deco
m
position
commit
|
commitdiff
|
tree
2007-03-11
Sven Verd
o
olaeg
e
barv
i
nok
.
cc:
b
arvinok_enum
e
r
a
te: f
i
x
lowe
r
bound approxim
a
ti
o
n
commit
|
commitdiff
|
tree
2007-03-07
S
ven Verdo
o
l
a
ege
ev
a
lue_split_periods: gracefully
handle
zer
o
ev
a
lues
.
.
.
commit
|
commitdiff
|
tree
2007-03-07
S
v
en Verdoolaege
barvino
k
_m
a
ximize:
h
andle zero input
commit
|
commitdiff
|
tree
2007-03-07
Sven Verdoolaege
barvinok_enumera
t
e_e: clean
up
a
llocation
o
f options
commit
|
commitdiff
|
tree
2007-03-07
Sven Verdoolae
g
e
barvinok
.
cc: han
d
le
c
a
se
where noth
i
ng is left a
f
ter
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sven Verdoolaeg
e
evalue_conv
e
rt: suppo
r
t printing
a
quasi
-
po
l
yn
o
mialas
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sve
n
V
erdoolaege
lattice_poin
t
.
h:
make self-contai
n
ed
commit
|
commitdiff
|
tree
2007-03-02
Sven Verdoolae
g
e
evalue
.
c: e
x
tract e
v
a
l
u
e
_extract_
a
ffine from bernstein
.
cc
commit
|
commitdiff
|
tree
2007-03-02
Sve
n
V
erdoolaege
bern
s
tein
.
cc: berns
t
ein_co
e
fficients_product: no need
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdo
o
l
aege
b
e
r
nstein
_
c
oefficients:
optionally opti
m
ize during
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdoolaege
bernste
i
n
_coefficients:
f
actori
z
e
d
om
a
in if
possible
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdoolae
g
e
Polyhedron_Fa
c
tor: opti
o
nally return relation between
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdoo
l
ae
g
e
bernstein: export replaceV
a
riablesInP
o
lynomial
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdoolae
g
e
b
e
rnst
e
in
.
cc: evalue2ex
:
r
epresent frac
t
i
ona
l
by
scaled
.
.
.
commit
|
commitdiff
|
tree
2007-02-28
Sv
e
n Verdoolaege
barv
i
nok_maxi
m
ize: fix handling of
UNIONs in domains
.
commit
|
commitdiff
|
tree
2007-02-28
Sven Ve
r
dool
a
e
ge
bernstein_coefficients: ski
p
empty subdomains
commit
|
commitdiff
|
tree
2007-02-28
Sven
Verdoolaege
barvinok_maximize: fix detect
i
on o
f
end of domain speci
f
ication
commit
|
commitdiff
|
tree
2007-02-27
Sven Verdo
o
laeg
e
barvinok_maximi
z
e: add
i
nput conversion
commit
|
commitdiff
|
tree
2007-02-27
Sv
e
n Verdoo
l
aege
evalue_convert:
extra
c
ted from barvinok
_
en
u
merate
an
d
.
.
.
commit
|
commitdiff
|
tree
next