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 for corrected Urs_parms handling
2008-06-17
Sven Verdoolaege
update piplib for c
o
rrecte
d
Urs_
p
a
rms handling
commit
|
commitdiff
|
tree
2008-06-12
Sven V
e
rdoolaege
config
u
re: use
correct head
e
r
f
i
le
s
in c
a
se of bundle
d
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
om
e
ga/occ: only open de
b
ug out
p
u
t
file if there is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verd
o
o
l
aege
doc: fix
t
ypo
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoola
e
ge
add
edit
o
rs to I
T
SL pa
p
e
r
s
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolae
g
e
b
a
r
vi
n
ok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdo
o
la
e
g
e
a
d
d
some test
s
ets
f
rom itsl2008 paper
commit
|
commitdiff
|
tree
2008-05-04
S
ven
V
erdoolaege
doc: add latest (accepted) pub
l
i
catio
n
s
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verd
o
o
l
ae
g
e
Makefil
e
.
a
m
:
a
dd se
c
ti
o
n_array
.
h to distribut
i
on
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdool
a
e
g
e
normal
i
zati
o
n
.
c: comp
u
te_shi
f
ts:
remove r
e
dundant return
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdoolaege
move Free_P
a
ram
N
a
m
es pol
y
lib and make param names const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdoolaege
o
c
c
:
add inter
f
ace to b
a
rvinok_su
m
mate
commit
|
commitdiff
|
tree
2008-05-04
S
v
e
n
Ve
r
doolaege
ex_
c
onver
t
.
cc
:
extract ex
2
evalue from range
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
d
o
c:
doc
u
m
ent more --summation methods f
o
r barvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaeg
e
options
.
c:
r
ename "barvinok" summ
a
tion method to "box"
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
M
ak
e
file
.
a
m
: c
h
e
ck-euler: also check laurent
commit
|
commitdiff
|
tree
2008-05-04
S
ven
V
erdoolaege
s
u
mmate
.
c: barvinok_summate: h
a
n
dle products of poly
t
opes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Ver
d
ool
a
e
g
e
evalu
e
.
c: export evalue_
r
eorder_terms
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
be
r
n
s
tein: numeri
c
2value:
fix typo to allow correct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaeg
e
util
.
c: Factor_Cont
e
xt: extra
c
ted from b
a
rvinok
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdool
a
ege
summate
.
c: barvin
o
k_summ
a
t
e
:
ignore floors i
n
dependent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n V
e
rdoolaeg
e
eval
u
e
.
c:
a
dd evalue_f
l
oor2f
r
a
c
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verd
o
o
l
a
ege
omega/oc
c
:
pr
i
n
t ba
r
vinok versi
o
n numb
e
r
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
doc: u
p
date some
references
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
d
o
olaege
Make laur
e
nt based
summation the def
a
ult
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summate
.
c: b
a
r
v
i
n
ok_summate: ha
n
dle quasi
-
p
o
lynomials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doolae
g
e
reduce_evalue:
extr
a
ct out evalue
_
red
u
ce_size
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdool
a
ege
eva
l
ue
.
c: evalue_
s
hift_variables: all
o
w shifting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdool
a
ege
summate
.
c: hand
l
e
e
qualities
f
o
r
all sum
m
ation algori
t
hm
s
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoolaege
summ
a
t
e
.
c:
barvinok_summate: move co
m
mon parts of
summation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oo
l
aege
evalue
.
c:
e
v
a
lue_sum: mo
v
e sign handling
i
nto esum_o
v
er_domain
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n
Verdoolaege
barvi
n
o
k_e
.
cc: enume
r
ate_sum: use barvinok_summ
a
te
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoolaege
summate
.
c: extract barvinok_summat
e
from barvinok
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n V
e
rdool
a
ege
rename summate
.
cc t
o
ba
r
vinok_summat
e
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdool
a
ege
evalue
.
c: reduce_ev
a
lue
:
reduce floor wit
h
constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
Add Laurent expansio
n
based summation
commit
|
commitdiff
|
tree
2008-04-25
S
v
e
n Verdoolaege
evalue
.
c: extend eequa
l
to handle do
m
a
i
n
s
a
n
d N
a
Ns
commit
|
commitdiff
|
tree
2008-04-25
S
v
en Verdo
o
laege
binomial
.
c
: extract b
i
nomial a
n
d fac
t
oria
l
from euler
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
Sv
e
n Verdoo
l
aege
powe
r
.
h
:
e
x
trac
t
from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdool
a
ege
int
r
oduce evalue_shif
t
_variables
commit
|
commitdiff
|
tree
2008-04-25
Sven
Verdoo
l
aege
l
attice_poi
n
t
.
cc: export relat
i
ve_coordin
a
tes
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdo
o
laege
lattice_point
.
h: make s
u
r
e c
o
rrect e
v
alues
a
re us
e
d
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaeg
e
lattice_point
.
cc: add ceiling
f
un
c
tion
commit
|
commitdiff
|
tree
2008-04-24
S
ven Verdoolae
g
e
util
.
c
: intern
a
lize ugl
y
bv_ce
i
l3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verdo
o
laege
l
attice_point
.
cc
:
mu
l
t
i
_
monom/la
t
tice_points: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sve
n
V
e
rdool
a
ege
doc: clean
u
p "expon
e
ntial
s
ubstitution" section
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoola
e
ge
t
e
s
t_bound
.
cc:
a
void lo
s
s of pre
c
ision caused by conver
s
io
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven Verdoola
e
ge
barvino
k
_bound: option
a
l
ly
take
m
a
x
imal size of domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoolaege
barvin
o
k_bound: add --
i
tera
t
e options fo
r
eva
l
uatin
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdoola
e
ge
ve
r
ify
.
c
:
export func
t
ion
s
for setting a
n
d clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaeg
e
verify
.
c: evalue_optim
u
m: allow com
p
u
t
a
t
ion of
optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
r
d
o
o
laege
bernst
e
in
.
cc: evalue2ex: don't assume al
l
pe
r
iodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoola
e
g
e
boun
d
.
c
c
: fi
x
ca
l
l to evalue_con
v
ert
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdool
a
ege
e{add,mul}_periodics: plug mem
o
ry le
a
ks
commit
|
commitdiff
|
tree
2008-04-08
S
ven
V
e
rdoolaege
evalue_bernstein_coefficient
s
:
ha
n
dle
p
roblems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n
Verdoolaege
update poly
l
ib
commit
|
commitdiff
|
tree
2008-04-05
Sven Verdoola
e
ge
lattice_width
.
c
: sk
i
p
d
irections t
h
at a
r
e identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Verdoolaege
M
a
kef
i
l
e
.
a
m:
a
dd cdd94e-tes
t
to
d
istrib
u
t
i
on
commit
|
commitdiff
|
tree
2008-04-03
Sven Ve
r
doolaege
omeg
a
/oc
c
:
o
p
t
ionally use parker for co
m
puting cardinali
t
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdoolaege
normal
i
zation
.
c: sk
e
w_to_p
o
s
i
tive_orthant: proper
l
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n Verdoolae
g
e
omega/
c
onvert
.
cc: relation2Domai
n
: only col
l
ec
t
set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verdoo
l
aege
o
c
c: a
d
d dump for dumping in barvin
o
k_
e
numerate_e fo
r
mat
commit
|
commitdiff
|
tree
2008-04-03
S
ven
Verdoolaege
barvinok_enumer
a
te_
e
: o
p
tionally use
p
ar
k
e
r
'
s method
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
stand
a
rd
_
co
n
straints
:
take co
n
straints i
n
s
t
e
ad of
p
o
l
yhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdoolaege
normalization
.
c
: extract stand
a
r
d_cons
t
raints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sv
e
n Verdoo
l
aege
p
a
rk
e
r/count_solutions
.
cc: fix treatment o
f
existentia
l
l
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdool
a
ege
com
p
ile pa
r
ker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
A
d
d
parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
euler
.
cc: ev
a
lue_derive: handle constant polynomials
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
o
olaeg
e
a
dd some t
e
st sets from
c
a
ses 2
0
0
4 an
d
c
c
2005 papers
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
ren
a
me barvinok_
m
axi
m
ize to bar
v
inok_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
add a test for tes
t
_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
ev
a
lue_range_propagati
o
n: remove redundant po
l
yn
o
mials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
test_bound: recor
d
number of polynomia
l
s
as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolae
g
e
test_bound: convert q
u
asipol
y
nomials to polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
test_b
o
und:
c
ompare pol
y
nomial bou
n
d algorithms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c: opti
m
um: handle in
p
u
t
evalu
a
ting t
o
negativ
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Verdo
o
laege
ve
r
ify
.
c: extract evalue_optim
u
m f
r
om m
a
ximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
verify
.
c:
ex
t
ract common code
f
or v
e
rifying oper
a
tion
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ve
r
doolaege
evalue_ran
g
e
_propagation: add monotonicity test
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
b
arvin
o
k_m
a
ximize: optionally use (basic) ra
n
ge pr
o
paga
t
i
on
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
er
d
oolae
g
e
A
d
d
some support for dealing with
e
values t
h
at represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
rdoolaege
b
arvinok_enumerat
e
: suppor
t
use of Euler-M
a
claur
i
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oo
l
aege
implement
Bernoulli_sum as conve
r
s
i
on from u
n
weighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
rdo
o
lae
g
e
Ber
n
oulli_sum_evalue: e
x
ploit integer b
o
unds to red
u
c
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
keep
t
rack of number of Ber
n
oulli su
m
s
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
d
oolaeg
e
bernoulli
.
c: protect
shared ev
a
lue from modifications
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ve
r
doola
e
ge
test Bernou
l
li sums base
d
e
x
act enumera
t
ion
commit
|
commitdiff
|
tree
2008-03-31
S
ven
Verd
o
olae
g
e
b
a
rvino
k
_co
u
nt_
w
ith_opt
i
o
n
s
:
com
p
ute (exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli
_
sum_evalue
:
optiona
l
l
y
handle fr
a
ctional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
lat
t
ic
e
_point
.
h:
ex
p
ort
f
ractio
n
al_part w
i
th C linkage
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
er
d
ool
a
ege
barvi
n
o
k
_e
n
um
e
rate_wit
h
_opt
i
ons: c
o
m
p
u
t
e
(ex
a
ct)
B
e
rnoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
B
e
r
n
o
ulli_sum_evalue: handle equ
a
lities
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum_evalue: cut off some redu
n
dant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum_evalue: make sure no empty p
a
r
titions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum_eval
u
e: remo
v
e redundant con
s
t
r
aint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ber
n
oulli
.
c: minor
r
efactoring
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolae
g
e
Bernoul
l
i_
s
um: handle contex
t
constrai
n
ts
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoo
l
a
e
ge
for_each_lower_upper_bound: add another ca
l
lbac
k
f
o
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verdoola
e
ge
veri
f
y
.
c: ad
j
ust default
r
an
g
e
t
o con
t
ext
if neede
d
commit
|
commitdiff
|
tree
next