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
volume.c: non_empty_point: simply use internal point of chamber
2007-04-12
S
v
en V
e
rdoolaege
volume
.
c:
n
o
n
_empty_point: s
i
mply
u
se internal point
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolae
g
e
a
d
d an eh
r
hart
e
xample with interesting chambers
commit
|
commitdiff
|
tree
2007-04-12
Sven Verd
o
olaege
test_approx:
test
c
hamber based
s
ca
l
i
n
g
commit
|
commitdiff
|
tree
2007-04-12
Sven Ve
r
dool
a
ege
scale
.
c: optiona
l
ly perform
scaling on
indivi
d
ual chambe
r
s
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoola
e
ge
barvinok_enum
e
rate: use
"var
i
ab
l
e compres
s
ion" to rem
o
ve
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
u
til
.
c:
l
e
ft_inverse: handle co
n
s
t
ant m
a
p
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n Verdoolaege
ev
a
lue
.
c: e
v
alue_
s
ubstitute:
mov
e
f
rom edomai
n
.
cc
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdo
o
lae
g
e
evalu
e
.
c:
affine2evalue: extracte
d
f
r
o
m volume
.
c
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
reduce_domain: partition chamber complex bas
e
d
on inner
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven
V
e
r
dool
a
ege
r
educe_domain
.
c: extract inner_p
o
int and is
_
internal
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sv
e
n Verdoolaege
reduce_domain
:
c
h
eck for adj
a
cent chambers
i
n simplif
i
ed
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdoolaege
FOR
A
LL
_
R
E
DUCED_DOMAI
N
: extract
common handlin
g
o
f reduced
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven
Verdoolaege
barvinok_enumerate:
mov
e
r
e
cursive call during
s
ca
l
ing
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
barvinok
.
cc: Param_Polyhed
r
on_Enumera
t
e: extracted
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Ver
d
ool
a
e
ge
add
s
ome interesting test case
s
for v
o
lume computation
commit
|
commitdiff
|
tree
2007-04-09
Sven
Verdoolaege
perform ver
y
ba
s
ic polynomial
a
ppr
o
ximation test
commit
|
commitdiff
|
tree
2007-04-09
Sven Verd
o
olaeg
e
t
est_
a
pprox: com
p
are
d
i
f
fe
r
e
nt polynomial
a
pproximations
commit
|
commitdiff
|
tree
2007-04-08
Sven
V
e
r
doolaeg
e
eva
l
ue_
c
onvert
.
cc: partial sup
p
o
rt
f
or printing in
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven
V
erdoolae
g
e
Param_Polyhed
r
on_Volume:
perfor
m
l
i
fting
t
r
iangulation
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sve
n
V
erdoolaeg
e
v
o
l
ume
.
c
:
intro
d
uce parameter_point
abstraction
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdool
a
ege
s
c
ale
.
c: export Param_Vertex_Comm
o
n_Deno
m
i
n
a
t
o
r
commit
|
commitdiff
|
tree
2007-04-08
Sven
V
er
d
oolaege
volume
.
c
:
d
ro
p
r
e
d
u
nda
n
t
ar
g
uments to volum
e
_
s
imp
l
e
x
commit
|
commitdiff
|
tree
2007-04-08
Sve
n
Verdool
a
e
ge
opt
i
ons
.
c:
sep
a
rate polyn
o
mial approximation related
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolaege
b
a
rvinok_options_new_with_defaults: initia
l
ize scale_flag
s
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolaege
t
r
iangulate_cone: s
k
ip Delaun
a
y trian
g
ulatio
n
b
y
default
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolaeg
e
eval
u
e
_
conver
t
: print lat
t
i
ce when
prin
t
ing as
l
i
st
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolaege
eva
l
ue_convert: add verbose argument and ret
u
rn 1 if
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Ve
r
d
o
o
laege
Polyhedron_Flate:
intersec
t
inflated polytope with
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
S
v
en Verdoola
e
ge
d
o
c
: bib: fix up name in ti
t
l
e of Algorithmica pa
p
er
commit
|
commitdiff
|
tree
2007-04-05
Sven
V
e
r
doolae
g
e
ad
d
missing volume
.
h fi
l
e
commit
|
commitdiff
|
tree
2007-04-04
Sve
n
Ve
r
doolaeg
e
volume
.
c: d
e
la
y
co
m
putation o
f
poi
n
t where vol
u
m
e i
s
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
Sven Verdoolaeg
e
Pa
r
am_P
o
l
y
hedron_Volume: set
p
o
lyn
o
mial
_
approximation
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
volume
.
c: allow
c
omputati
o
n
of lowe
r
a
nd upper bo
u
nd
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sve
n
Verd
o
ol
a
ege
sc
a
le:
e
xport Polyhedron_Flate
commit
|
commitdiff
|
tree
2007-04-03
S
v
en Verdool
a
eg
e
b
a
r
v
i
n
ok_enumerate: optiona
l
ly compute "
v
o
lume" polyn
o
mial
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verd
o
ol
a
e
g
e
polytope_
v
o
lume: c
o
mpu
t
e vo
l
ume of parametric p
o
ly
t
o
pe
commit
|
commitdiff
|
tree
2007-04-03
Sven Ve
r
dool
a
ege
reduce_
d
o
m
ain
.
c: plug mem
o
ry l
e
ak
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaeg
e
verify
.
c
: move computation
of true c
o
n
t
e
x
t into check
_
poly_c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoo
l
aege
scale
.
c: add simplifi
e
d
method o
f
computing
tight
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
v
en Verdoolaege
b
arvinok_enumerate: optionall
y
compute tighte
r
p
olyno
m
ia
l
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
polyh
e
dron_samp
l
e
.
c: rem
o
ve redun
d
ant MAX
R
AYS define
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
evalue
.
c
:
evalue_eval: support rela
t
i
o
ns
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdo
o
laege
evalue
.
c: evalue_fra
c
2
polynomial: pr
o
p
e
rly
hand
l
e
relat
i
ons
commit
|
commitdiff
|
tree
2007-03-31
Sve
n
Verdoola
e
ge
barvino
k
_enu
m
erate
:
s
upport approxim
a
tion by mean
s
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n Verdoolaege
scale
.
c:
a
void simplific
a
ti
o
n of constraints a
f
t
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Ver
d
oolaeg
e
b
arvinok/
u
t
i
l
.
h: a
d
d POL_UNSET m
a
c
ro for unse
t
ting
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
scale
.
c: Param_Po
l
yhedron_Sca
l
e
_
Int
e
g
e
r_Fast: ignore
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n
Verdoola
e
ge
move Param
_
P
o
l
yhedron_Scale_Int
e
ge
r
to scale
.
c
a
n
d
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
Verdoolaege
use s
e
parate flags option for scale approximation met
h
od
commit
|
commitdiff
|
tree
2007-03-31
Sven Ve
r
doolaege
barvinok
.
cc: move scaling to scale
.
c
commit
|
commitdiff
|
tree
2007-03-30
Sven Verdoolaege
sca
l
e
.
c
: cor
r
ect
extrac
t
_lattice in ca
s
e of redundant
.
.
.
commit
|
commitdiff
|
tree
2007-03-30
Sven V
e
r
d
ool
a
ege
doc:
u
pdate CC2
0
05
r
e
fer
e
nce
commit
|
commitdiff
|
tree
2007-03-26
Sv
e
n Verdoo
l
aege
verif_e
h
rhart
.
c:
round inexact eva
l
u
a
tion u
p
or down
.
.
.
commit
|
commitdiff
|
tree
2007-03-26
Sven
Verdoolaege
verif_ehrhart
.
c: optionally use exact evaluation for
.
.
.
commit
|
commitdiff
|
tree
2007-03-25
Sven Verdoolae
g
e
evalue
.
c: ad
d
eva
l
ue_eval for exact e
v
aluation of
e
v
a
l
ue
commit
|
commitdiff
|
tree
2007-03-25
Sv
e
n
V
erdoolae
g
e
evalue
.
c: fix e
v
alue_frac2polynomi
a
l for
negative
v
alues
.
.
.
commit
|
commitdiff
|
tree
2007-03-20
Sven V
e
rdoolaeg
e
b
arvinok_enu
m
e
r
a
te:
p
erform s
l
ow scaling approximation
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
S
ven
Verdool
a
ege
fix Para
m
_
Polyh
e
dron
_
Sca
l
e_Integer
commit
|
commitdiff
|
tree
2007-03-19
Sven
V
e
r
do
o
laeg
e
b
a
rvinok_enumerate: m
o
re
a
ccurate p
o
lyno
m
ial a
p
prox
i
mation
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoolae
g
e
reorganize polynomi
a
l a
p
proximation
o
pt
i
ons
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoolaege
util
.
c
:
Param_Polyhedron_Print: actually use output
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
S
ven Ver
d
oolaege
fix merge
o
f
c
heck_poly from verif_ehrhart
.
c and
lexm
i
n
.
cc
commit
|
commitdiff
|
tree
2007-03-18
Sven Ver
d
oolaeg
e
doc: up
d
ate Koeppe-V
e
r
d
oola
e
ge reference
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdool
a
ege
bar
v
i
n
o
k
_maximiz
e
: support
v
er
i
fication
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolae
g
e
merge
c
h
e
ck
_
poly from ver
i
f_ehrhart
.
c and lexmin
.
cc
commit
|
commitdiff
|
tree
2007-03-17
Sven Ve
r
d
oola
e
ge
evalu
e
.
c: make s
o
me evalu
e
arg
u
ments
const
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
evalue_fr
a
c2floor
2
: also convert non-partition i
f
no
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven Ver
d
oolaege
verify
.
c: ch
a
n
g
e verify_options_set_r
a
nge prot
o
type
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdo
o
laege
b
e
rn
s
tein:
piece
w
ise_
l
st::evaluate
:
support
d
ifferent
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
ver
i
fy
.
c
:
turn off
c
ontinue_on_e
r
ror
b
y default
commit
|
commitdiff
|
tree
2007-03-17
S
ven Verdoolaege
b
ernstein: expo
r
t numeric2value
commit
|
commitdiff
|
tree
2007-03-15
Sven Verdoolaege
doc: proof of ex
i
stenc
e
of s
u
itable y
f
or pri
m
al decom
p
ositi
.
.
.
commit
|
commitdiff
|
tree
2007-03-15
Sven Verdoolaege
doc:
fix pro
o
f of
ex
i
sten
c
e
of suitable y for
primal
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven
V
erdo
o
laege
bernste
i
n
.
cc
:
bernstein
_
coef
f
i
c
ients: create signed
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoo
l
a
ege
barv
i
nok_maximize: optionally use
r
e
cursive bernstein_coeffi
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
S
v
e
n Verdoolaege
bernstei
n
.
cc: b
e
rnstei
n
_
coefficients: supp
o
r
t
genera
l
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
S
v
e
n Ve
r
d
oolaege
ber
n
s
t
ein
.
cc: re
f
actor bernstein
_
coeffi
c
ients_prod
u
ct
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdool
a
ege
bernstein: piecewise_lst: add
si
g
n and remove red
u
ndant
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Ver
d
oolaege
b
e
rnstein:
a
dd remove_redu
n
dants metho
d
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdool
a
ege
do
c
: primal d
e
composition: typo fixes
+
clarifi
c
a
t
ions
commit
|
commitdiff
|
tree
2007-03-11
Sven Verdoolaege
doc: fix primal d
e
c
o
mpo
s
ition example + clean
-
up
s
commit
|
commitdiff
|
tree
2007-03-11
Sven Verdoolaege
D
ocument primal d
e
comp
o
sit
i
on
commit
|
commitdiff
|
tree
2007-03-11
Sve
n
Verdoolaege
ba
r
vinok
.
c
c:
b
arvi
n
ok_enumerate:
f
i
x l
o
wer bound approximation
commit
|
commitdiff
|
tree
2007-03-07
Sve
n
Verdo
o
laege
e
val
u
e
_spl
i
t
_pe
r
iods: gracefull
y
handle zero evalu
e
s
.
.
.
commit
|
commitdiff
|
tree
2007-03-07
S
v
e
n Verdoolaeg
e
barvinok_ma
x
i
mize:
handle
z
ero
i
n
put
commit
|
commitdiff
|
tree
2007-03-07
Sven Ve
r
doolaege
barvi
n
ok_enumer
a
te_e: c
l
ean up allocation
o
f o
p
tions
commit
|
commitdiff
|
tree
2007-03-07
Sven Ve
r
doolae
g
e
barv
i
nok
.
cc: h
a
ndle case wher
e
nothing is left a
f
ter
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sven
Verdoolaege
e
v
a
lue_
c
onvert: s
u
pport
pri
n
ting
a quasi-pol
y
nomi
a
las
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sven Ve
r
doolaege
lattic
e
_point
.
h: make
s
e
lf-conta
i
ned
commit
|
commitdiff
|
tree
2007-03-02
Sven Verdoolaege
e
v
alu
e
.
c: e
x
tra
c
t evalue_extract_
a
ff
i
ne fro
m
bernstein
.
cc
commit
|
commitdiff
|
tree
2007-03-02
Sve
n
Verdo
o
l
aege
bernstei
n
.
cc: bernstein_coe
f
f
icients_product: no nee
d
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Ver
d
oolaege
b
ernstein_coefficients: optionally optimi
z
e
d
urin
g
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven
Verd
o
olaege
bernstein_coefficie
n
ts
:
factorize domain
i
f po
s
sible
commit
|
commitdiff
|
tree
2007-03-01
S
ven Verdoo
l
aege
Polyhedron_Factor: op
t
ionally
r
e
turn relation betwe
e
n
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
S
v
en Verdoolaege
bernstein: export r
e
pl
a
ceVariablesIn
P
ol
y
nom
i
al
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdoolaege
be
r
nstein
.
cc: ev
a
lue
2
ex: rep
r
e
s
en
t
fr
a
ctional by scaled
.
.
.
commit
|
commitdiff
|
tree
2007-02-28
S
ven Verdoola
e
ge
barvinok_m
a
x
i
mize
:
f
i
x handling of UN
I
ONs
in
d
oma
i
n
s
.
commit
|
commitdiff
|
tree
2007-02-28
S
ve
n
V
erdoola
e
ge
ber
n
ste
i
n_c
o
efficients: skip empty s
u
bdomains
commit
|
commitdiff
|
tree
2007-02-28
Sven Verdoolaege
b
arvinok_maximize: fix
detection
of end of domain specificat
i
on
commit
|
commitdiff
|
tree
2007-02-27
Sven Verdo
o
lae
g
e
barvi
n
ok_max
i
m
ize:
a
dd in
p
ut conver
s
ion
commit
|
commitdiff
|
tree
next