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
Sven
V
erdoolaege
vol
u
m
e
.
c: non_
e
mpt
y
_point: simply use interna
l
point
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
v
en Ver
d
oolaege
only
compile barv
i
nok_maxim
i
ze if GiNaC (and
b
e
rnstein
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
Verdoolaege
add an ehrhar
t
example with
i
nteresting ch
a
mb
e
rs
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdool
a
ege
t
e
st_
a
ppro
x
:
test chamber based sc
a
ling
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoola
e
ge
scale
.
c
:
option
a
l
ly
perform sca
l
ing on individual c
h
a
m
bers
commit
|
commitdiff
|
tree
2007-04-12
Sven Verd
o
olaege
b
arvinok_en
u
merate: use "vari
a
ble
c
o
mpression" to remo
v
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Ve
r
doolaege
ut
i
l
.
c: left_inverse: handle consta
n
t m
a
p
commit
|
commitdiff
|
tree
2007-04-12
Sven Ve
r
dool
a
ege
evalue
.
c: ev
a
lue_subs
t
itute: move from e
d
omain
.
cc
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
Verdoolaege
evalue
.
c: affin
e
2eva
l
ue: extrac
t
ed from volume
.
c
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n
V
e
rdoolaege
re
d
uce_domain:
p
a
rtition cham
b
er com
p
le
x
based on inner
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdoolaeg
e
reduce_domain
.
c: extract
inner_poin
t
and is_inter
n
al
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdoola
e
ge
r
educe
_
domain: chec
k
for a
d
jacent ch
a
m
bers in
simplified
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdoola
e
ge
FORALL
_
REDUCED_DOMAIN: extract
common
handlin
g
of reduc
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Ve
r
do
o
laege
ba
r
v
inok_enumer
a
te: move recursive call during
s
caling
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
barvinok
.
cc: Pa
r
a
m
_P
o
lyhed
r
on
_
Enumerate:
e
xtracted
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sve
n
Verdoolaege
a
d
d some in
t
eresting
t
est cases for volume
computation
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolae
g
e
perform ve
r
y b
a
s
i
c polynomial a
p
pro
x
imation test
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdo
o
laege
test_approx: compare
different
p
oly
n
omial app
r
oximations
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolae
g
e
evalue_conve
r
t
.
cc
:
p
a
rtial su
p
p
ort for printi
n
g i
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Ver
d
oolaege
Pa
r
a
m_Po
l
yhed
r
on_Volume: perfor
m
lif
t
in
g
triangulati
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven
V
e
r
doola
e
ge
volume
.
c
:
introdu
c
e parameter_point abstraction
commit
|
commitdiff
|
tree
2007-04-08
Sven Ver
d
o
ol
a
ege
s
c
ale
.
c: export Param_Vertex_Comm
o
n
_
Denomin
a
tor
commit
|
commitdiff
|
tree
2007-04-08
S
ven V
e
rdo
o
laege
volume
.
c: drop
redundant arguments
to volume_sim
p
lex
commit
|
commitdiff
|
tree
2007-04-08
Sven Verd
o
o
laege
opti
o
ns
.
c: separate
p
olynomia
l
a
p
proximation r
e
late
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolaeg
e
barvin
o
k_op
t
ions_new_w
i
t
h
_de
f
aul
t
s: initialize
s
cale_flags
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolaege
triangulate_cone:
s
kip Delaunay triangula
t
ion b
y
default
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolaege
evalue_convert: print l
a
ttice
when print
i
ng as list
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven V
e
rdool
a
eg
e
evalu
e
_convert: add verbose argument and
r
eturn 1 if
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven V
e
r
d
oolaege
Polyhedron_
F
l
ate: intersect inflated
polyto
p
e with
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sve
n
V
e
rdoo
l
a
ege
doc: bib: fix u
p
name in title of
A
lgorithmica
paper
commit
|
commitdiff
|
tree
2007-04-05
Sven Verdoolaege
add miss
i
ng volume
.
h file
commit
|
commitdiff
|
tree
2007-04-04
S
v
en
Verdoo
l
a
ege
vol
u
me
.
c
:
delay compu
t
ation of point w
h
ere
volume is
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
Sven Verdoolaeg
e
Param_Polyhed
r
on_Vo
l
u
me: s
e
t polynomial_app
r
oxima
t
ion
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoola
e
g
e
vo
l
ume
.
c: allow computati
o
n of
l
ower and
u
ppe
r
bou
n
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoo
l
aege
scale: e
x
port Polyhed
r
on_F
l
a
t
e
commit
|
commitdiff
|
tree
2007-04-03
S
ven V
e
r
d
oolaege
barvinok_enumerate: opt
i
onally compute "
v
olume" polynomia
l
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
S
v
en Verdoolaege
polytope_vo
l
u
m
e:
compute
volum
e
of pa
r
ametric polytope
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
redu
c
e_dom
a
in
.
c
:
plug memory leak
commit
|
commitdiff
|
tree
2007-03-31
Sven Ve
r
d
oola
e
ge
verify
.
c:
m
ove
c
omputation of tru
e
con
t
ex
t
into check_poly_c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verd
o
ola
e
ge
scale
.
c
:
ad
d
sim
p
lified meth
o
d of computing tighter
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
V
erdoo
l
aege
b
arvinok_enumerate: op
t
ionally
compute tighter poly
n
omi
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven V
e
r
doola
e
g
e
poly
h
e
dro
n
_sample
.
c: remove redunda
n
t MAXRA
Y
S d
e
fine
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
eva
l
ue
.
c: ev
a
lue_eval: sup
p
o
r
t relatio
n
s
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
evalue
.
c: ev
a
l
u
e
_
frac2po
l
ynomial: properly ha
n
dle relations
commit
|
commitdiff
|
tree
2007-03-31
S
v
e
n
Verdoolaege
barvinok
_
enumerate: su
p
p
o
r
t
a
pp
r
oxima
t
i
on by means
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
sc
a
le
.
c
: av
o
id sim
p
lification of constraints after
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sve
n
Ve
r
doolaege
barvinok/util
.
h: add POL_
U
NS
E
T macro for unsett
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
scale
.
c: Param_Poly
h
edron_Scale_Integer_Fast: igno
r
e
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
v
en Verdoolae
g
e
mov
e
P
a
ram
_
Pol
y
h
e
dr
o
n_Scale_Inte
g
er to scale
.
c
and
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
Verd
o
ol
a
ege
use s
e
parate f
l
ags option fo
r
scale approximation method
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n Verd
o
ola
e
ge
b
arvinok
.
c
c
: move
s
caling to scal
e
.
c
commit
|
commitdiff
|
tree
2007-03-30
Sven Verdoolaeg
e
scale
.
c: correct extrac
t
_l
a
t
tice in
c
as
e
of redundant
.
.
.
commit
|
commitdiff
|
tree
2007-03-30
Sven Ver
d
oolaege
d
o
c: upd
a
te CC2005 refe
r
ence
commit
|
commitdiff
|
tree
2007-03-26
Sven V
e
r
d
oola
e
g
e
v
e
r
i
f_ehrhart
.
c
: ro
u
nd inex
a
c
t
ev
a
luation up or down
.
.
.
commit
|
commitdiff
|
tree
2007-03-26
Sv
e
n
Verdoolaege
verif_e
h
rhart
.
c: o
p
tionally use exac
t
eva
l
uation for
.
.
.
commit
|
commitdiff
|
tree
2007-03-25
Sven Verdoolaege
evalu
e
.
c: add
e
value_eval for exac
t
evaluation
of evalue
commit
|
commitdiff
|
tree
2007-03-25
Sven Verdoo
l
a
ege
eval
u
e
.
c: fix e
v
alue_frac2p
o
lynomial for ne
g
a
t
ive valu
e
s
.
.
.
commit
|
commitdiff
|
tree
2007-03-20
Sven
Ve
r
dool
a
ege
barvin
o
k_
e
numer
a
te:
perform slow
s
caling approximation
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven Verd
o
ola
e
ge
fix Param_
P
olyhedron_Scal
e
_Integer
commit
|
commitdiff
|
tree
2007-03-19
Sven Verd
o
olaege
barvinok_e
n
um
e
r
a
te:
m
ore
accurate po
l
ynomial a
p
pr
o
xima
t
ion
commit
|
commitdiff
|
tree
2007-03-19
S
v
en
V
erdo
o
la
e
ge
reorganize po
l
ynomial ap
p
roximation
o
ption
s
commit
|
commitdiff
|
tree
2007-03-19
S
v
en Verdoolaege
util
.
c: Param_Po
l
yh
e
dron
_
Print
:
a
ctually use output
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdool
a
ege
fix merge of check_poly from
v
e
r
i
f_ehrhart
.
c and lexmin
.
cc
commit
|
commitdiff
|
tree
2007-03-18
S
ven V
e
rd
o
o
l
aege
do
c
:
update Koeppe-Verdoolaege reference
commit
|
commitdiff
|
tree
2007-03-17
Sven
V
e
rdoolaege
ba
r
vinok_ma
x
imiz
e
: s
u
pport ver
i
ficat
i
o
n
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
merge check_
p
ol
y
fr
o
m
v
erif_eh
r
hart
.
c and
l
exmin
.
cc
commit
|
commitdiff
|
tree
2007-03-17
S
v
e
n Verdoo
l
a
e
ge
evalue
.
c: make some evalue
arguments
const
commit
|
commitdiff
|
tree
2007-03-17
S
ven Verdoolaege
eva
l
ue_frac2floor2: also conv
e
r
t non-pa
r
titio
n
if
n
o
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sv
e
n
V
erd
o
olaege
verify
.
c
: ch
a
nge
v
e
rify_options_set_ran
g
e
pro
t
o
t
ype
commit
|
commitdiff
|
tree
2007-03-17
Sven
V
e
r
doolaege
bernstein: piec
e
wise_lst::eva
l
uate: su
p
port d
i
fferent
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
S
v
en Ver
d
o
o
l
a
ege
verify
.
c: turn off
c
o
n
tinue_o
n
_
e
r
ror by defaul
t
commit
|
commitdiff
|
tree
2007-03-17
Sven
V
e
r
doolaeg
e
berns
t
ein
:
exp
o
rt num
e
ric2val
u
e
commit
|
commitdiff
|
tree
2007-03-15
S
v
en Ve
r
do
o
laege
d
o
c:
p
roof of ex
i
stence of
s
uitabl
e
y fo
r
primal dec
o
mpo
s
iti
.
.
.
commit
|
commitdiff
|
tree
2007-03-15
Sven
Verdoolaege
doc: fix proof of existence of suitable y fo
r
pr
i
m
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sv
e
n
Verdoolaege
berns
t
ein
.
cc: bern
s
tein_coe
f
ficient
s
:
c
reate
signed
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaege
bar
v
inok_m
a
xim
i
ze: optionally
u
se re
c
urs
i
ve bernstein_coeffi
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Ve
r
do
o
laege
bernstein
.
cc: bernstein_coeffi
c
ients
:
support
general
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
S
v
en V
e
rdoolaege
bernstein
.
cc: refact
o
r bern
s
te
i
n_coeff
i
cients_product
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdo
o
laege
bernstein
:
piecew
i
se_ls
t
: add sign and remove redundant
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
S
ve
n
Ver
d
oolae
g
e
be
r
nste
i
n: add
r
e
mo
v
e_redu
n
da
n
ts method
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdo
o
laege
doc: primal
d
ecomposition: typ
o
f
ixe
s
+ c
l
arific
a
tions
commit
|
commitdiff
|
tree
2007-03-11
S
ven Verdoo
l
aege
doc: f
i
x p
r
imal decomposition exam
p
le + clean-ups
commit
|
commitdiff
|
tree
2007-03-11
Sven Verdoola
e
ge
Document
primal decom
p
osi
t
ion
commit
|
commitdiff
|
tree
2007-03-11
Sven Verdoolaege
barvinok
.
cc: barvino
k
_enumerate: fix lower bound appr
o
ximation
commit
|
commitdiff
|
tree
2007-03-07
Sven Verdoo
l
aege
ev
a
lue_spl
i
t
_period
s
:
g
racefully
ha
n
dle zero evalues
.
.
.
commit
|
commitdiff
|
tree
2007-03-07
Sven
V
erdoolaeg
e
bar
v
i
nok
_
m
ax
i
mize: handle zero in
p
ut
commit
|
commitdiff
|
tree
2007-03-07
Sven Verdoolae
g
e
barvinok
_
e
numera
t
e_e:
clean up
a
llocatio
n
of op
t
ions
commit
|
commitdiff
|
tree
2007-03-07
Sve
n
V
er
d
oolaeg
e
bar
v
inok
.
cc: handle c
a
se where nothing is l
e
ft after
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sven Verd
o
olaege
evalue_co
n
v
e
r
t
:
su
p
port p
r
inting a quasi-pol
y
nomialas
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sven
V
er
d
oolaege
lat
t
ice
_
p
o
int
.
h
:
m
ake self-contained
commit
|
commitdiff
|
tree
2007-03-02
Sven Verdool
a
ege
evalue
.
c: e
x
tract eval
u
e_extract_affi
n
e from bern
s
t
e
in
.
c
c
commit
|
commitdiff
|
tree
2007-03-02
Sven Verdoolaege
bernstein
.
cc: bernstein_coeffic
i
e
n
ts_produ
c
t: no
n
e
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdoolaege
ber
n
stein_c
o
efficients: optionally optimize during
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdoolaege
bernstein_co
e
f
f
icients:
factorize domain if po
s
s
ible
commit
|
commitdiff
|
tree
2007-03-01
Sv
e
n
Verdoolaege
Polyhedron_F
a
cto
r
: op
t
ionall
y
return
r
ela
t
ion between
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
S
v
en Ve
r
doolaege
ber
n
stein: expor
t
rep
l
aceVariabl
e
sInPol
y
n
omial
commit
|
commitdiff
|
tree
2007-03-01
Sven
V
erdo
o
laege
be
r
nstein
.
cc: ev
a
lue2ex: represent fracti
o
n
al by scaled
.
.
.
commit
|
commitdiff
|
tree
2007-02-28
Sven Verdo
o
l
aege
ba
r
vinok_maximize: fix h
a
ndling of UNIO
N
s
in doma
i
ns
.
commit
|
commitdiff
|
tree
2007-02-28
S
v
en V
e
r
doolaege
bernstein_co
e
f
ficien
t
s: skip empty subdomains
commit
|
commitdiff
|
tree
2007-02-28
S
ven Verdoolaege
barvi
n
ok_max
i
m
iz
e
: fix
det
e
c
t
i
o
n of end
of
domain specification
commit
|
commitdiff
|
tree
next