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
only compile barvinok_maximize if GiNaC (and bernstein) is available
2007-04-12
Sven Verdoolaege
on
l
y compil
e
barvin
o
k_maximize
i
f GiNaC (and b
e
rn
s
te
i
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n Verdool
a
ege
add
a
n ehrhart
example with
i
n
terestin
g
ch
a
mbe
r
s
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoo
l
ae
g
e
t
e
st_approx: test chamber b
a
sed s
c
al
i
ng
commit
|
commitdiff
|
tree
2007-04-12
S
ven Ve
r
do
o
laege
scale
.
c
: option
a
lly perform scaling on
individual chambers
commit
|
commitdiff
|
tree
2007-04-12
S
ven Verdool
a
ege
barvinok_enumerate: use "v
a
riable c
o
mpression" to remov
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoola
e
ge
util
.
c: left_i
n
verse: hand
l
e constant map
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n Verdoola
e
ge
ev
a
l
ue
.
c
:
evalue_substitute: move from edomain
.
cc
commit
|
commitdiff
|
tree
2007-04-12
S
ven V
e
rdoolaege
evalue
.
c: affine2evalue: extracte
d
f
rom volume
.
c
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoo
l
aege
reduce_domain: partition chamb
e
r comple
x
based on
in
n
er
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdoolaege
redu
c
e_do
m
ain
.
c: ex
t
r
act inner_
p
o
int and i
s
_inter
n
al
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven
V
er
d
oo
l
a
ege
reduce_domain: check for adjacent cham
b
ers in si
m
plified
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdoolaeg
e
FORALL_RED
U
C
E
D_DOMAIN: e
x
tract c
o
mmon
h
andling of r
e
duc
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sve
n
Verdoo
l
a
e
ge
barv
i
nok_enumer
a
t
e
:
m
ove r
e
cursi
v
e call during scaling
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
barvinok
.
cc: Param_Polyhedr
o
n_En
u
mer
a
te: extrac
t
ed
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
S
v
en Verdool
a
ege
add some in
t
eresting
test cases for v
o
l
u
me
c
omput
a
ti
o
n
commit
|
commitdiff
|
tree
2007-04-09
Sven V
e
rdoolaege
perform
v
ery basic polynomial approximation test
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaeg
e
te
s
t_approx:
compare differen
t
polynomial
approximations
commit
|
commitdiff
|
tree
2007-04-08
Sven
Verdoolaeg
e
evalue_co
n
v
e
rt
.
cc: part
i
al
s
u
p
port for printing
in
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sv
e
n Verdoolaeg
e
Pa
r
am_Polyhedron_Vol
u
me: per
f
orm lifti
n
g
t
riangulat
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
S
v
e
n V
e
rdoolaege
volume
.
c: introd
u
ce para
m
e
ter_
p
oint abstra
c
tion
commit
|
commitdiff
|
tree
2007-04-08
Sven
V
e
r
doolaege
scale
.
c: ex
p
ort Param_Vert
e
x_Co
m
mon_Denominator
commit
|
commitdiff
|
tree
2007-04-08
Sv
e
n V
e
rdoolaege
volume
.
c
: dr
o
p redundant arg
u
ments to volume_simplex
commit
|
commitdiff
|
tree
2007-04-08
Sv
e
n Verdoolaege
options
.
c: separ
a
t
e po
l
ynomial approximation rela
t
ed
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdo
o
laege
b
a
rvinok_
o
ptions_new_w
i
th_defaul
t
s
:
initialize scale_flags
commit
|
commitdiff
|
tree
2007-04-07
S
v
en Verdoola
e
ge
triang
u
lat
e
_cone: skip Delaunay trian
g
ulation
b
y default
commit
|
commitdiff
|
tree
2007-04-07
S
ven Verdoolaege
e
value_con
v
ert: print
l
a
ttice when printing as list
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolae
g
e
evalue_con
v
er
t
:
a
dd verb
o
s
e
argument and return 1
if
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven
Verdoola
e
ge
Polyhed
r
on_Fl
a
t
e
:
intersect inflated p
o
lytope with
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven
V
erd
o
olaege
d
o
c: bib: fix up name in
tit
l
e
o
f Algorithmica pa
p
er
commit
|
commitdiff
|
tree
2007-04-05
S
ven
Verdoolaege
add
m
issing volume
.
h
f
i
le
commit
|
commitdiff
|
tree
2007-04-04
Sven Verdoolaege
volume
.
c: d
e
l
ay computation
of point
where volume
i
s
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
Sven Verdoolaege
Param_
P
o
lyhedron_Volume: set po
l
ynom
i
al_approximatio
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven
V
erdool
a
ege
volume
.
c: allow computation of
l
ower and upper b
o
und
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
scale: export Poly
h
edron_Flate
commit
|
commitdiff
|
tree
2007-04-03
S
ven Verdoola
e
ge
bar
v
inok_enumera
t
e: o
p
tionally comput
e
"volume" polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
polyt
o
pe_
v
olume: compute volu
m
e of par
a
me
t
ric
p
olytope
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
reduc
e
_domain
.
c: plug m
e
m
ory leak
commit
|
commitdiff
|
tree
2007-03-31
S
ven Ver
d
oolaege
verify
.
c: move co
m
putation o
f
tr
u
e cont
e
x
t
int
o
check_poly_c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
scal
e
.
c: add simplified m
e
t
hod of computing
t
i
g
hter
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
v
e
n Verdoolaege
b
a
r
vinok_
e
numerate: optionall
y
compu
t
e tighter polynom
i
al
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoola
e
ge
polyhedron
_
sa
m
p
l
e
.
c: remove r
e
dundant MAXRAYS define
commit
|
commitdiff
|
tree
2007-03-31
Sven V
e
rd
o
olaege
evalue
.
c: e
v
alue_eva
l
: s
u
ppor
t
r
e
lat
i
o
ns
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
evalue
.
c: evalue_frac2polynomial: properly hand
l
e relations
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoo
l
aege
barvi
n
ok_enum
e
rate:
s
upport
a
ppro
x
i
mation by means
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
scal
e
.
c:
a
void simplif
i
c
ation of constra
i
n
ts after
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Ve
r
d
o
olaege
ba
r
vinok/util
.
h
: add POL_UN
S
ET
macro for un
s
etting
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
ven Verdoolae
g
e
scal
e
.
c:
P
aram_Po
l
yhedron_Scale_Int
e
ger_Fast: ignore
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
move
P
aram_Polyhedr
o
n_Sc
a
le_Integer to scale
.
c
a
nd
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
v
en
V
erd
o
olaege
use
s
epa
r
a
te flags option for scale
a
p
proximati
o
n
method
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
barvinok
.
cc: mov
e
scaling to scale
.
c
commit
|
commitdiff
|
tree
2007-03-30
Sven
V
erdoola
e
g
e
scale
.
c: co
r
rect extract_lattice in case of re
d
undant
.
.
.
commit
|
commitdiff
|
tree
2007-03-30
S
v
en Ver
d
oolaege
doc: u
p
da
t
e C
C
2005 refer
e
nce
commit
|
commitdiff
|
tree
2007-03-26
Sven
V
erdoolaeg
e
verif_
e
hrha
r
t
.
c: round in
e
xact evaluation up
o
r dow
n
.
.
.
commit
|
commitdiff
|
tree
2007-03-26
Sven Verdoolaeg
e
ve
r
if_ehrhar
t
.
c: optiona
l
ly us
e
exact evaluati
o
n for
.
.
.
commit
|
commitdiff
|
tree
2007-03-25
S
v
en Ver
d
oolae
g
e
evalue
.
c: a
d
d eva
l
ue_eval for exa
c
t eva
l
uation of evalue
commit
|
commitdiff
|
tree
2007-03-25
Sven Verdoolaege
eva
l
ue
.
c: fix evalue_frac
2
p
o
lynomial for neg
a
tive values
.
.
.
commit
|
commitdiff
|
tree
2007-03-20
Sven Verdoolaege
barvinok_en
u
merate: perform slow scaling approximati
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sv
e
n
V
e
rdoo
l
ae
g
e
fix Pa
r
am_Polyhedron_Scal
e
_Integer
commit
|
commitdiff
|
tree
2007-03-19
Sven Verd
o
olaeg
e
b
a
rvinok_e
n
ume
r
ate: more accura
t
e
polynomial appro
x
imation
commit
|
commitdiff
|
tree
2007-03-19
Sven Verd
o
olaege
reorganiz
e
pol
y
n
o
mial approximation opt
i
o
n
s
commit
|
commitdiff
|
tree
2007-03-19
S
v
en V
e
r
d
oolaege
uti
l
.
c: Param_P
o
lyhedron_Print: actually use ou
t
pu
t
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoolaege
fix
merge of che
c
k_poly fro
m
v
erif_ehrhart
.
c
a
n
d lexmin
.
cc
commit
|
commitdiff
|
tree
2007-03-18
S
ven Verdo
o
lae
g
e
d
o
c: update Koeppe-Verdoolaege r
e
feren
c
e
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
b
a
rvinok_maxi
m
ize: suppor
t
verificatio
n
commit
|
commitdiff
|
tree
2007-03-17
S
v
en Verdoolaege
merge che
c
k_p
o
l
y
f
rom verif_eh
r
h
art
.
c
a
nd le
x
min
.
c
c
commit
|
commitdiff
|
tree
2007-03-17
Sve
n
Verdoolaege
eval
u
e
.
c
: make s
o
me evalue argume
n
ts const
commit
|
commitdiff
|
tree
2007-03-17
Sve
n
Verdoolaege
evalue_frac
2
floor2: al
s
o co
n
vert non-partition if no
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
ve
r
ify
.
c
:
chan
g
e verify_op
t
io
n
s
_
se
t
_
r
ange prototype
commit
|
commitdiff
|
tree
2007-03-17
Sven
V
erdoolaege
bernstein: piecewise_lst
:
:evaluate
:
su
p
p
o
r
t different
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven V
e
rdoolaeg
e
verify
.
c: turn off co
n
tinue_on_error by default
commit
|
commitdiff
|
tree
2007-03-17
S
v
en Verdoo
l
aege
bernstein
:
export
n
u
m
eric2value
commit
|
commitdiff
|
tree
2007-03-15
S
v
en Verd
o
olaege
doc:
p
ro
o
f of
e
xis
t
ence of suit
a
ble
y
for primal dec
o
mpositi
.
.
.
commit
|
commitdiff
|
tree
2007-03-15
Sven
V
erdoolaege
doc: fix
proof of existen
c
e
of s
u
itable
y for prim
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sv
e
n
Verdoolaege
ber
n
s
tein
.
cc:
b
erns
t
ein
_
coefficie
n
ts: create
s
i
gned
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaege
barv
i
nok_maximize: o
p
tionally use rec
u
rsive bernste
i
n_coeffi
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Ve
r
doolaege
bernstein
.
cc: b
e
r
n
stein
_
c
o
efficients: suppor
t
ge
n
e
r
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verd
o
olaege
bernstein
.
cc: refact
o
r b
e
rnstein_coeffi
c
ients_prod
u
ct
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaege
bernstei
n
: pie
c
ewis
e
_lst: a
d
d si
g
n
a
nd
remove re
d
undant
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoo
l
aege
bernste
i
n: add remove_redund
a
nts
method
commit
|
commitdiff
|
tree
2007-03-14
Sve
n
Verdo
o
laege
doc: pr
i
m
a
l decomposition: typo fixes + clari
f
ications
commit
|
commitdiff
|
tree
2007-03-11
S
ven
V
erdoolaege
doc: fix primal
d
ecompos
i
tion exam
p
l
e
+
c
lean-up
s
commit
|
commitdiff
|
tree
2007-03-11
Sven Verdoolae
g
e
D
o
c
ument prima
l
dec
o
mpos
i
t
i
on
commit
|
commitdiff
|
tree
2007-03-11
Sven Ver
d
oolaege
b
a
r
v
i
n
ok
.
cc:
barvinok_enumerate: fix low
e
r bound approximati
o
n
commit
|
commitdiff
|
tree
2007-03-07
Sven
V
erdoola
e
ge
evalue_split_periods: gra
c
efully handle zero
evalu
e
s
.
.
.
commit
|
commitdiff
|
tree
2007-03-07
Sven Verdoolaege
b
a
r
v
inok_maximiz
e
: handle zero inp
u
t
commit
|
commitdiff
|
tree
2007-03-07
Sv
e
n Ver
d
oolaege
b
arv
i
nok_enumerate_e:
cle
a
n
u
p a
l
location of opti
o
ns
commit
|
commitdiff
|
tree
2007-03-07
S
ven V
e
rdoo
l
aege
b
a
rvino
k
.
cc:
handle ca
s
e
where n
o
thing
i
s
left
after
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sven Ve
r
do
o
laege
eva
l
ue_convert
:
support printing
a quasi-polynom
i
alas
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sven Verdo
o
l
aege
lattic
e
_poi
n
t
.
h
: make se
l
f-contained
commit
|
commitdiff
|
tree
2007-03-02
Sven Verdo
o
laege
evalue
.
c: extract evalue_extract_affine from ber
n
stein
.
cc
commit
|
commitdiff
|
tree
2007-03-02
Sven Verdoolaege
b
e
rnstein
.
c
c
: bernstein_
c
o
e
fficients_product: no
n
e
ed
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdo
o
l
aege
bernstein_coefficients: optionally opt
i
mi
z
e during
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Ve
r
do
o
laege
b
e
rns
t
ein_coefficients: factorize d
o
main if possible
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdoola
e
ge
Polyhedron_Factor: optiona
l
l
y retur
n
r
elation between
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdoolaege
bernstein:
e
xport replaceVariablesInPolynomial
commit
|
commitdiff
|
tree
2007-03-01
Sven
V
erdoolaege
b
e
rnstein
.
cc: evalue2ex: represent frac
t
ional by s
c
ale
d
.
.
.
commit
|
commitdiff
|
tree
2007-02-28
Sven Verdoolaege
barvin
o
k_maximize: fix ha
n
dling of UNION
s
in domains
.
commit
|
commitdiff
|
tree
2007-02-28
Sven
Verdool
a
eg
e
bernstein_coefficients: skip em
p
ty subdomains
commit
|
commitdiff
|
tree
2007-02-28
Sven Ver
d
oolae
g
e
barvin
o
k
_max
i
miz
e
: fix det
e
cti
o
n of e
n
d of d
o
main specification
commit
|
commitdiff
|
tree
2007-02-27
Sven Ve
r
doolaege
b
a
rvin
o
k
_max
i
mize: ad
d
input
c
o
nversion
commit
|
commitdiff
|
tree
next