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
update piplib
2008-10-16
S
v
en Verdoolaege
u
p
d
a
te piplib
commit
|
commitdiff
|
tree
2008-10-10
S
ven
V
erdoolaege
evalue
.
c: a
f
f
ine2eva
l
ue: reduc
e
coefficients
commit
|
commitdiff
|
tree
2008-10-10
Sven Ve
r
do
o
laege
e
v
alue
.
c: evalue_level_cm
p
:
produce more
c
onsi
s
tent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven V
e
rdo
o
laeg
e
doc: add another paper
referring to the library
commit
|
commitdiff
|
tree
2008-09-16
Sven Verdoola
e
ge
piecewise_lst
.
h: avoid d
u
p
l
icate paramete
r
name
commit
|
commitdiff
|
tree
2008-09-02
S
ven Verdoola
e
ge
evalue_read
.
c: f
i
x mi
n
o
r
bugs in tokenizer
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoolaege
update omeg
a
f
o
r missing
files
in dist
r
ibution
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
e
r
doolaege
barv
i
nok
_
e
nume
r
ate_e:
avoid
i
nfinite loop when pr
e
sented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
move omega s
u
bdir to
o
mega_
i
nterface
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
NTL_QQ
.
cc: a
d
d stdlib includ
e
for abort hidden in
N
TL_
v
ector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
S
v
en
Verdoolaege
remove g
n
ulib link-warning
module completely
commit
|
commitdiff
|
tree
2008-08-24
Sven Verdoolaege
up
d
a
te polylib with e
x
tra field in
Param_Polyh
e
dron
commit
|
commitdiff
|
tree
2008-07-30
Sven Verdo
o
l
aege
d
oc: fix typo
s
commit
|
commitdiff
|
tree
2008-07-20
Sven Ve
r
doolaege
update
g
nulib funct
i
on to las
t
pre-GPLv3 version
commit
|
commitdiff
|
tree
2008-07-02
S
ven Verdoola
e
ge
enumerator::handle:
r
ep
l
a
ce in
c
orrec
t
d
e
lete
b
y free
commit
|
commitdiff
|
tree
2008-06-17
Sven Ver
d
o
ol
a
ege
u
p
date piplib for corrected
Urs
_
parms h
a
nd
l
ing
commit
|
commitdiff
|
tree
2008-06-12
S
v
e
n Ve
r
doolaege
config
u
re: use correc
t
he
a
der file
s
i
n case of
b
undled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven V
e
rdoo
l
aeg
e
ome
g
a/occ: only
open
d
ebug output
fi
l
e i
f
th
e
re is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Ve
r
dool
a
ege
d
oc: fix
typo
commit
|
commitdiff
|
tree
2008-05-08
Sven
V
erdoo
l
aeg
e
ad
d
editors to ITSL
p
apers
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolae
g
e
barvinok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven Verd
o
olae
g
e
add some test sets from itsl2008 p
a
per
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
doc
:
add
l
atest (ac
c
epted) pub
l
i
c
a
t
ions
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdoo
l
aeg
e
Makefile
.
am: add sectio
n
_array
.
h to distr
i
buti
o
n
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
no
r
malization
.
c:
c
o
m
p
u
te_s
h
i
f
t
s
:
remove redundant return
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdoolaege
move Free_P
a
ramNames poly
l
ib and mak
e
param
n
a
mes con
s
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verd
o
olaeg
e
occ: a
d
d interface
t
o bar
v
in
o
k_sum
m
at
e
commit
|
commitdiff
|
tree
2008-05-04
S
ven Ve
r
doolaege
ex_co
n
v
ert
.
cc: ext
r
ac
t
ex2evalue f
r
om ran
g
e
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
d
o
c
: docum
e
n
t
more -
-
summation
m
ethods for barvinok_summa
t
e
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdo
o
laege
o
ptions
.
c: rename "barvinok" summatio
n
me
t
hod to "box"
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoo
l
a
ege
M
akefile
.
a
m: c
h
eck
-
e
u
l
e
r: also check laurent
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdoolaege
summ
a
te
.
c: barvinok_
s
ummate:
h
a
n
dl
e
products of pol
y
topes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verd
o
o
lae
g
e
evalue
.
c: exp
o
rt ev
a
lue
_
reorder
_
terms
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
e
rdoolae
g
e
be
r
nstein: nu
m
eric2v
a
lue
:
fi
x
ty
p
o
to allow correct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdool
a
e
ge
ut
i
l
.
c: Fact
o
r_Context:
extracted from
b
a
r
vin
o
k
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoo
l
a
ege
sum
m
ate
.
c: barvin
o
k
_
sum
m
ate
:
ignore
floors ind
e
pendent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
ev
a
lue
.
c: a
d
d eva
l
ue_
f
loor2frac
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oolaege
omega/occ: print barvinok
version number
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
doc: update some re
f
erences
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n
Verdoolaege
Make laurent bas
e
d summation
t
he default
commit
|
commitdiff
|
tree
2008-05-03
S
ven
Verdoolaege
summ
a
te
.
c
:
b
arvino
k
_sum
m
ate: hand
l
e qua
s
i-poly
n
omials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
a
ege
reduce_evalu
e
:
extract out
eva
l
u
e
_re
d
uce
_
siz
e
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolae
g
e
evalue
.
c
: evalue_shif
t
_va
r
iables: allow shifting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaeg
e
summa
t
e
.
c
: hand
l
e
e
qualities for all summa
t
ion algorithms
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n Verdoolaege
summate
.
c: b
a
rvinok_summate: m
o
ve common pa
r
ts of summation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
e
value
.
c: ev
a
l
u
e_sum:
move sign handling into esu
m
_over_d
o
main
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdo
o
laege
barvinok
_
e
.
c
c
:
enumer
a
te_sum: use barvinok_summate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoolaege
summa
t
e
.
c: extra
c
t barvinok
_
sum
m
a
t
e from barvin
o
k
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
rename summate
.
cc to barv
i
n
ok_summate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doolaege
eva
l
ue
.
c: reduce_ev
a
lue
:
redu
c
e
floor
with c
o
ns
t
a
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
aege
Add Laure
n
t expa
n
sio
n
ba
s
ed
s
ummation
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoo
l
aege
eva
l
ue
.
c
:
extend
e
equal to handle domain
s
and NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
b
i
n
om
i
al
.
c:
e
x
tra
c
t
binomial and
f
act
o
rial fr
o
m eul
e
r
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
power
.
h: extract from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolae
g
e
introduce evalue_shift_var
i
ables
commit
|
commitdiff
|
tree
2008-04-25
Sven Ver
d
o
o
l
aege
latt
i
ce_p
o
int
.
c
c: export
r
ela
t
iv
e
_co
o
rdinates
commit
|
commitdiff
|
tree
2008-04-24
Sven Ver
d
oolaege
lattice
_
point
.
h: m
a
ke sure correct eval
u
es are
u
sed
commit
|
commitdiff
|
tree
2008-04-24
S
v
en Ver
d
oolaege
la
t
ti
c
e_
p
oint
.
cc: ad
d
c
e
ili
n
g functi
o
n
commit
|
commitdiff
|
tree
2008-04-24
S
v
en Verdo
o
laege
util
.
c
:
i
nt
e
rnalize ugly
b
v
_
ceil3
commit
|
commitdiff
|
tree
2008-04-17
S
v
en Verdoo
l
aege
lat
t
ice_point
.
c
c: mult
i
_monom/lattic
e
_p
o
ints: re
t
urn
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Verdoolaege
doc: clean
up "exponential
s
ubstitution" section
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
t
est_
b
o
u
n
d
.
c
c
: avoid loss of precisio
n
caused
b
y
conv
e
rsi
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
barvinok_bo
u
nd: optionally t
a
ke m
a
ximal
s
ize
o
f domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdoolaege
barvi
n
ok_b
o
und:
a
dd --iterate options for ev
a
luating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verd
o
olaege
verify
.
c: export functions for
s
etting and cle
a
r
i
ng
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolae
g
e
v
erify
.
c: evalue_optimum: allow c
o
mp
u
tati
o
n
o
f op
t
i
m
um
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven Ve
r
dool
a
ege
bernstein
.
cc: evalue2e
x
: don't assume all periodi
c
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
e
n
Verdoolaege
bou
n
d
.
cc: fix
c
all to eval
u
e
_
convert
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
e{add,m
u
l}_pe
r
iodic
s
: plug m
e
mor
y
l
e
aks
commit
|
commitdiff
|
tree
2008-04-08
S
ven Verd
o
olaeg
e
evalu
e
_bernstein_coe
f
ficients: ha
n
dle problems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoo
l
aege
update
p
ol
y
lib
commit
|
commitdiff
|
tree
2008-04-05
Sven
V
e
rdoolaege
lattice
_
width
.
c: skip directions that
a
re identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven V
e
rdo
o
laege
Makefile
.
am:
add cdd94e
-
t
e
s
t
to
distribution
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdoolaege
o
m
e
g
a/occ
:
optionally use parker for co
m
puting car
d
inality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verdoolaege
nor
m
alization
.
c
: ske
w
_to_positive_orthant
:
pro
p
erl
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
V
e
r
doolaege
omega/convert
.
cc: rel
a
t
i
on2Do
m
ain: onl
y
co
l
lect se
t
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Ve
r
doolaege
occ: add dum
p
for dumpi
n
g in barvinok_
e
n
u
mera
t
e
_e format
commit
|
commitdiff
|
tree
2008-04-03
Sven Ver
d
oolaege
barvin
o
k_en
u
mer
a
te_e: op
t
ionally use par
k
e
r
's
method
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verdoolaege
standard
_
con
s
traints: take
c
on
s
tr
a
ints instead of polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verdoolaege
normalizat
i
on
.
c
: extract standard_constraints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sv
e
n Verdoo
l
aeg
e
parker/
c
ount_solutions
.
cc: f
i
x treatment of existential
l
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdool
a
eg
e
compile parker
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaeg
e
Add parker
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
erd
o
o
laege
euler
.
cc: eva
l
ue_deriv
e
: h
a
ndle
c
onstant poly
n
omials
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oo
l
aege
add so
m
e test sets
f
rom cases
20
0
4 and
c
c 2005 papers
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
re
n
ame barvinok_maximize
t
o barvinok_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
a
d
d
a test for
test_
b
oun
d
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdool
a
ege
eva
l
ue_range_p
r
o
p
agation: remove redunda
n
t
p
o
lyn
o
m
i
a
ls
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
lae
g
e
test_bo
u
nd: record
number o
f
p
o
lynomials as "size
"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolae
g
e
tes
t
_boun
d
: c
o
nvert qua
s
ipol
y
n
omials to po
l
yno
m
ials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaeg
e
t
est_b
o
und: compare
polynomial bo
u
nd a
l
gorithms
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Verdool
a
ege
verify
.
c: optimu
m
: h
a
n
dle input
e
v
aluating to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdoola
e
ge
v
e
r
ify
.
c: extract eva
l
ue_
o
ptimum from maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verdoolaege
verif
y
.
c
:
e
xtra
c
t
common code for verifying
operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
evalue_ran
g
e_propagation: add monotonic
i
t
y test
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
bar
v
inok_maxi
m
ize: op
t
ion
a
lly
u
se (ba
s
ic) range propagation
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Add s
o
m
e
suppo
r
t for de
a
ling wi
t
h e
v
a
l
u
e
s
t
ha
t
represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
barv
i
nok_enume
r
ate: support use
of Euler-Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
implement Berno
u
lli_sum as conversion from unwei
g
hted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Berno
u
lli_sum_evalue: ex
p
l
oit int
e
ger bo
u
nds
t
o reduce
.
.
.
commit
|
commitdiff
|
tree
next