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
doc: bib: fix up name in title of Algorithmica paper
2007-04-06
Sve
n
Verdoolaege
d
o
c: bib: f
i
x
u
p name in title of
Algori
t
hmic
a
paper
commit
|
commitdiff
|
tree
2007-04-05
Sven Verdool
a
ege
ad
d
missing volume
.
h fi
l
e
commit
|
commitdiff
|
tree
2007-04-04
Sven Verdool
a
eg
e
vol
u
me
.
c: delay computation
o
f
p
o
int w
h
ere volume is
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
Sven Verd
o
o
laege
Par
a
m_Po
l
yhedron_Volume:
set polynomial_approximation
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdo
o
laege
volume
.
c: all
o
w co
m
putati
o
n of lo
w
e
r and upper b
o
und
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
scale: export Polyhedron_Fla
t
e
commit
|
commitdiff
|
tree
2007-04-03
S
v
en Ve
r
do
o
laege
barvinok_enumerate: op
t
ionally compute "volum
e
" polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
S
v
en Ve
r
doolaege
p
o
l
y
tope_v
o
lume: compute volume o
f
parametric polytope
commit
|
commitdiff
|
tree
2007-04-03
Sve
n
V
erdool
a
eg
e
r
e
duce_
d
omain
.
c: plug memory leak
commit
|
commitdiff
|
tree
2007-03-31
Sven Verd
o
ola
e
ge
verify
.
c: move
computation of tr
u
e context in
t
o
check_poly_c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
V
erdool
a
ege
scale
.
c: add si
m
plified
m
ethod of computing tighter
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdo
o
laege
barvinok_enum
e
rat
e
:
optio
n
ally compute ti
g
h
t
e
r pol
y
nomial
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
v
en V
e
rdoolaege
pol
y
hedro
n
_sample
.
c: r
e
move redundant M
A
X
R
A
YS
d
efine
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n Verdool
a
ege
evalu
e
.
c: evalue
_
eval: support
relations
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
ev
a
lue
.
c: evalu
e
_frac2polynomial: pr
o
perly handle relat
i
o
ns
commit
|
commitdiff
|
tree
2007-03-31
Sven V
e
rdoolaeg
e
b
arvinok_enu
m
erate: support appro
x
imation by
means
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
v
en
V
erdoolaege
sca
l
e
.
c: avoid simpli
f
ication of
c
onstrain
t
s after
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
v
en Verdoolaege
barvinok/util
.
h: add POL_
U
NS
E
T macro for unsett
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdo
o
laege
s
c
ale
.
c: Param_Polyhed
r
on_Scal
e
_Inte
g
e
r
_
Fast: ignor
e
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
move Param_Po
l
yhedron
_
Sc
a
l
e_Integer
to scale
.
c a
n
d
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
ve
n
Verd
o
olaeg
e
u
s
e
separate fl
a
gs option for s
c
ale app
r
oxi
m
ation
m
etho
d
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n Verdoolaege
barvinok
.
cc: move scaling to
scale
.
c
commit
|
commitdiff
|
tree
2007-03-30
Sv
e
n
Verdoolae
g
e
sc
a
le
.
c
:
c
o
r
r
e
ct extract_lattice in
c
ase of redund
a
nt
.
.
.
commit
|
commitdiff
|
tree
2007-03-30
Sven Verdoolaege
doc: update CC2005
r
eference
commit
|
commitdiff
|
tree
2007-03-26
Sven Verdoolae
g
e
verif_e
h
rh
a
rt
.
c:
roun
d
inexact evaluation up or d
o
w
n
.
.
.
commit
|
commitdiff
|
tree
2007-03-26
Sven Verdoolae
g
e
veri
f
_ehrhar
t
.
c:
o
ptionally u
s
e exa
c
t
evalu
a
t
i
on for
.
.
.
commit
|
commitdiff
|
tree
2007-03-25
Sven
V
erdoolaeg
e
eva
l
u
e
.
c
: add evalue_eval
f
or exac
t
e
valuat
i
on
o
f evalue
commit
|
commitdiff
|
tree
2007-03-25
Sven Ve
r
doolaeg
e
eval
u
e
.
c: fix evalue
_
frac2polynomial for negative v
a
lues
.
.
.
commit
|
commitdiff
|
tree
2007-03-20
Sven Verdoolaege
barvinok_enumerate: perform
s
l
ow
scaling approxi
m
ation
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoolaege
fix Para
m
_P
o
lyhedro
n
_Scale_Intege
r
commit
|
commitdiff
|
tree
2007-03-19
Sv
e
n Verdoolaege
barvinok_enume
r
ate:
m
ore accura
t
e p
o
lynomial approxi
m
ation
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoolaege
r
e
organize polynomia
l
approximation
o
pti
o
ns
commit
|
commitdiff
|
tree
2007-03-19
S
v
e
n Verdoolaege
uti
l
.
c: Para
m
_P
o
lyhedron_Print:
actually use
o
utput
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoola
e
ge
fix merge
o
f check_poly from veri
f
_e
h
rhart
.
c
and lexm
i
n
.
cc
commit
|
commitdiff
|
tree
2007-03-18
Sven
V
erdoolaege
doc: update Koeppe-Verdoolaeg
e
refere
n
c
e
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
barvinok_
m
ax
i
m
i
ze:
sup
p
ort verificat
i
on
commit
|
commitdiff
|
tree
2007-03-17
Sve
n
Ver
d
oolaege
merge chec
k
_poly fro
m
verif_ehrhar
t
.
c and l
e
xmin
.
cc
commit
|
commitdiff
|
tree
2007-03-17
Sve
n
Verdoola
e
ge
e
v
alu
e
.
c:
make some evalu
e
ar
g
u
m
e
n
ts c
o
nst
commit
|
commitdiff
|
tree
2007-03-17
Sv
e
n
Ver
d
oolaege
evalue_frac2floor2:
a
l
so
c
onver
t
non-partition
i
f
n
o
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
verify
.
c
:
change verify_options_set_range
p
rotot
y
pe
commit
|
commitdiff
|
tree
2007-03-17
Sven Ver
d
oolaege
b
e
rnstein:
p
ie
c
ewise_lst
:
:
e
v
alu
a
te: s
u
p
p
o
rt different
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven
V
erdoo
l
aege
ve
r
i
fy
.
c
:
turn
off
c
on
t
inu
e
_o
n
_
erro
r
b
y
defaul
t
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
bernstein: ex
p
or
t
num
e
ric2va
l
ue
commit
|
commitdiff
|
tree
2007-03-15
Sve
n
V
e
r
doo
l
aege
doc
:
proof of existe
n
ce
of suit
a
b
l
e y for primal dec
o
mposit
i
.
.
.
commit
|
commitdiff
|
tree
2007-03-15
Sven
V
er
d
oolaege
doc: fix proof of
existence of
su
i
tabl
e
y for primal
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Ve
r
doolae
g
e
bernstein
.
c
c: be
r
nstein_coefficients:
c
reate s
i
gned
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
S
ven Verdoo
l
aege
barvinok_maximize: o
p
t
i
o
nally
use recursive bern
s
tein_coeffi
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
S
v
en Verdoo
l
a
e
g
e
berns
t
ein
.
cc: bernstein_
c
oefficients: suppo
r
t
g
e
neral
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoo
l
aege
b
e
r
nstein
.
cc
:
refactor bern
s
te
i
n_coeff
i
ci
e
nts_product
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdool
a
e
g
e
be
r
nstein: piecewise
_
lst:
a
dd sign and remove redundant
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sv
e
n Verdoolaege
berns
t
ein:
a
dd rem
o
ve_redu
n
dants met
h
o
d
commit
|
commitdiff
|
tree
2007-03-14
Sven V
e
rdoolaege
d
o
c: primal decomp
o
sition: typo fixes + cl
a
rifications
commit
|
commitdiff
|
tree
2007-03-11
Sven Ver
d
oolaege
doc: fix primal decomposi
t
ion exam
p
le + c
l
ea
n
-ups
commit
|
commitdiff
|
tree
2007-03-11
S
ven Verdoolaege
Document p
r
i
ma
l
d
ecom
p
o
s
ition
commit
|
commitdiff
|
tree
2007-03-11
Sven Verdo
o
l
a
ege
ba
r
vi
n
ok
.
cc: barvinok_enumerate: fix lower bound approximation
commit
|
commitdiff
|
tree
2007-03-07
Sven Verdoolaege
evalue_split_periods:
g
racefully hand
l
e
zero evalues
.
.
.
commit
|
commitdiff
|
tree
2007-03-07
Sven
Ver
d
oolaege
b
arvin
o
k_max
i
mize: hand
l
e z
e
r
o
input
commit
|
commitdiff
|
tree
2007-03-07
Sven Verdo
o
la
e
ge
b
a
r
vinok_enum
e
rate_e: clea
n
up allocati
o
n o
f
options
commit
|
commitdiff
|
tree
2007-03-07
S
ven Verdoola
e
ge
b
a
r
v
inok
.
cc:
handle case where nothing is l
e
ft after
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sven Verdoolaege
ev
a
l
ue_con
v
e
rt: support printi
n
g a
q
uas
i
-
p
o
lynomi
a
las
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sve
n
V
e
rdoola
e
ge
lattice_point
.
h:
make self-cont
a
ined
commit
|
commitdiff
|
tree
2007-03-02
S
v
en V
e
rdo
o
lae
g
e
evalue
.
c: e
x
t
ract
e
value_extrac
t
_affine fr
o
m b
e
rns
t
ein
.
c
c
commit
|
commitdiff
|
tree
2007-03-02
Sven Verdoola
e
ge
bernstein
.
cc: bernste
i
n
_
coef
f
icients_prod
u
ct: no need
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Ver
d
oolaege
bernstein
_
coefficien
t
s: op
t
i
on
a
lly optimize during
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sve
n
Verdool
a
ege
ber
n
s
t
e
i
n_
c
oefficients:
f
actorize do
m
ai
n
if
p
ossible
commit
|
commitdiff
|
tree
2007-03-01
Sv
e
n Ver
d
oolaege
Polyhedron_Fa
c
tor: o
p
tionally r
e
turn relation betwe
e
n
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdoolaege
bernstein: export replaceVariablesIn
P
olynomi
a
l
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdoola
e
g
e
bernst
e
in
.
cc
:
evalue2
e
x: represent fra
c
tional by sc
a
l
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-02-28
Sve
n
Verdoolaege
barvinok_maximize: fi
x
handling of UNIONs i
n
domains
.
commit
|
commitdiff
|
tree
2007-02-28
S
ve
n
Ve
r
doolaege
bernstein_coefficients: skip empt
y
s
u
bdomains
commit
|
commitdiff
|
tree
2007-02-28
Sven Verd
o
olaege
barvinok_max
i
mize: fix detection
o
f end of dom
a
in s
p
ecification
commit
|
commitdiff
|
tree
2007-02-27
Sven
V
erdoolaege
barvinok_maxim
i
ze: a
d
d
input
c
onversion
commit
|
commitdiff
|
tree
2007-02-27
Sven Verdoolaege
evalue_c
o
nver
t
: e
x
tracted
f
ro
m
b
arv
i
nok_enumerate and
.
.
.
commit
|
commitdiff
|
tree
2007-02-27
Sven V
e
rd
o
olaege
util
.
c
: move
P
olyhedron_is_u
n
b
ounded from ber
n
stein
.
cc
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoolaege
bernst
e
in_
c
oef
f
icients: skip infi
n
i
te
(
sub
)
d
om
a
i
ns
commit
|
commitdiff
|
tree
2007-02-26
Sven
V
e
rdo
o
l
a
e
g
e
barvinok
_
maxi
m
ize:
l
et u
s
er s
p
ecify variable
s
over
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdool
a
ege
bernstein_coefficient
s
: skip computations if
d
o
main
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoo
l
aege
barvinok_maximize: f
i
x
access to fr
e
e
d
memo
r
y
commit
|
commitdiff
|
tree
2007-02-26
Sve
n
Verdoolaege
bern
s
tein/piecewise_
l
st
.
cp
p
: ad
d
minimize() m
e
thod
commit
|
commitdiff
|
tree
2007-02-26
Sven Verd
o
olae
g
e
b
arvinok_ma
x
imize: read
domains wit
h
UNIONs
commit
|
commitdiff
|
tree
2007-02-26
Sven Ve
r
doolaege
use
GiNaC
c
flags and libs
commit
|
commitdiff
|
tree
2007-02-23
Sven
V
erdoolaege
barvinok_maximize: optionally cal
l
evalue_split_
p
e
r
iods
commit
|
commitdiff
|
tree
2007-02-23
Sven
V
e
r
d
oolaege
eval
u
e
.
c: add evalue_split_peri
o
d
s
commit
|
commitdiff
|
tree
2007-02-23
S
v
en
V
erdoo
l
aege
util
.
c: valu
e
_lcm:
mark
arg
u
ments co
n
st
commit
|
commitdiff
|
tree
2007-02-23
Sve
n
Verd
o
ol
a
ege
evalue
.
c: pol
y
n
o
mial_proje
c
tion: allow N
U
L
L
R argument
commit
|
commitdiff
|
tree
2007-02-23
Sven Ver
d
o
olaege
eva
l
ue
.
c
:
e
xtract
f
id
d
ling with coefficients out of
.
.
.
commit
|
commitdiff
|
tree
2007-02-22
Sven Verdoolaege
ev
a
lue_berns
t
e
in_coefficient
s
: handle each coset of
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sv
e
n Verd
o
olaege
bar
v
inok_maximize: read evalue
s
with p
e
rio
d
ics
commit
|
commitdiff
|
tree
2007-02-21
Sven
Verdoolaege
evalue_bernstein_coefficients: h
a
n
dle per
i
odics
in
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
S
ven Verdoolaeg
e
be
r
nste
i
n: bernsteinExp
a
nsion: accept list of po
l
ynomials
commit
|
commitdiff
|
tree
2007-02-19
Sv
e
n
Verdo
o
la
e
g
e
barvinok_m
a
ximize: make
e
va
l
ue p
a
r
s
e a
l
itt
l
e bit more
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoolaege
barvinok_en
u
merat
e
*: be less chatt
y
by default
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoola
e
ge
coun
t
/
enumerate: warn
if i
n
put i
s
a union
commit
|
commitdiff
|
tree
2007-02-19
Sven
V
er
d
oolaege
DomainIncludes: dete
c
t
more ca
s
e
s
+ adapt docume
n
tati
o
n
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoolaege
ev
a
lue_
b
ernst
e
in_coefficie
n
ts:
handle fract
i
on
a
ls
in
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sven Verd
o
olaege
evalue_bernstein_coef
f
i
c
ien
t
s:
h
andle
f
l
o
o
rings
in
.
.
.
commit
|
commitdiff
|
tree
2007-02-18
Sve
n
Verdo
o
laege
b
a
r
vinok_
m
a
x
imize: new t
o
ol for maximizi
n
g piecewise
.
.
.
commit
|
commitdiff
|
tree
2007-02-17
Sven V
e
rdoolaege
e
value
.
c: evalue_frac2polynom
i
a
l: impro
v
e accura
c
y
commit
|
commitdiff
|
tree
2007-02-16
Sve
n
Verdoolaege
evalue
.
c
:
add comment
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
eva
l
ue
.
c: add function for chec
k
ing nes
t
ing of
a
n e
v
a
l
u
e
commit
|
commitdiff
|
tree
next