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
S
v
e
n Verdoo
l
a
e
ge
upd
a
te piplib
for c
o
rrect
e
d Urs_par
m
s
handli
n
g
commit
|
commitdiff
|
tree
2008-06-12
Sven
Verdoolaege
c
o
nfigu
r
e:
u
se corr
e
ct heade
r
fil
e
s i
n
c
a
se of bundled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verd
o
olaege
omega/occ: only open
d
e
b
u
g
o
u
t
p
ut
file if there is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoola
e
ge
d
o
c: fix typ
o
commit
|
commitdiff
|
tree
2008-05-08
Sve
n
Verdoolae
g
e
add
e
ditors
to ITSL papers
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdoolaege
b
a
r
v
inok
0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
add
s
ome test sets f
r
om itsl2008
paper
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdoolaege
d
oc: a
d
d lates
t
(
a
cce
p
ted) publications
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdoolaege
Ma
k
efi
l
e
.
am: a
d
d section_arra
y
.
h
to d
i
strib
u
ti
o
n
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdoolaege
n
ormal
i
z
ation
.
c: compute_
s
hi
f
ts: remove
r
edundant return
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoola
e
ge
move Free_ParamNames poly
l
ib a
n
d m
a
ke para
m
names const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdoolaege
occ: add interface to
barvinok_summa
t
e
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
r
d
o
o
laege
ex_convert
.
cc: extract ex2evalue from range
.
cc
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdoolaege
doc: document more --su
m
mation m
e
thods for barvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
e
rdoolae
g
e
options
.
c: rename "barvinok" summation
m
e
t
hod to "box"
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdoolaege
Makefi
l
e
.
am
:
chec
k
-euler:
a
l
so c
h
e
ck
l
aurent
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdo
o
laege
s
u
mma
t
e
.
c: barv
i
n
ok_
s
um
m
ate: handle pro
d
uc
t
s of
p
oly
t
o
p
es
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
evalue
.
c:
export
eva
l
ue_reorder_t
e
rms
commit
|
commitdiff
|
tree
2008-05-04
S
v
en V
e
rdool
a
ege
b
ernstein
:
nu
m
eric2value:
f
ix
t
ypo
t
o
allow
correct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolaege
util
.
c
: Facto
r
_Context
:
extracted from barvinok
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
S
ven
V
erdool
a
ege
su
m
mate
.
c: barvinok_sum
m
a
t
e: igno
r
e fl
o
ors
indepe
n
dent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
eval
u
e
.
c: add e
v
alue_fl
o
or
2
frac
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
ome
g
a/occ: p
r
int barvin
o
k
vers
i
on
number
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoolaege
d
o
c:
u
pdate some references
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoola
e
ge
M
a
ke
laurent
b
ased summation the d
e
fault
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summate
.
c: barvinok_summa
t
e: h
a
ndle quasi-polynomial
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolaeg
e
reduce_evalue:
extrac
t
out ev
a
lue_re
d
uce_
s
ize
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdoolaege
evalu
e
.
c: evalue_shift_va
r
iables: allow s
h
ifti
n
g
of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoolaege
su
m
mate
.
c
:
handle equalities fo
r
a
l
l
s
u
mmation alg
o
rithms
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdool
a
ege
summa
t
e
.
c: barvinok_s
u
mm
a
te: move common par
t
s of
s
ummation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven
V
er
d
oolaege
evalue
.
c: evalue_sum: move sig
n
handling
i
nto es
u
m_over_domain
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verd
o
olaeg
e
barvin
o
k_e
.
c
c
:
enume
r
at
e
_su
m
:
u
s
e barvin
o
k_summate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
aege
summate
.
c: e
x
tra
c
t
b
arvinok_sum
m
ate
fro
m
ba
r
vinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
r
e
na
m
e
sum
m
ate
.
cc to barvinok_summate
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdoolaege
evalue
.
c: r
e
d
u
ce_eva
l
ue:
reduc
e
floor
w
ith constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
r
do
o
laege
Ad
d
Laure
n
t
exp
a
nsion based summat
i
on
commit
|
commitdiff
|
tree
2008-04-25
S
v
en Verdoolaege
evalue
.
c: extend e
e
qual to handle dom
a
i
n
s a
n
d Na
N
s
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdool
a
eg
e
binomial
.
c:
e
xtract binomia
l
a
n
d factorial f
r
om euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Ver
d
oolaege
power
.
h
:
extract
f
r
o
m euler
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
S
ven Verd
o
olaege
i
ntr
o
duce evalue_shift_variables
commit
|
commitdiff
|
tree
2008-04-25
Sven
Verdoolaeg
e
lattice_p
o
i
n
t
.
cc
:
export rel
a
tive_coordinates
commit
|
commitdiff
|
tree
2008-04-24
Sv
e
n Verdoolae
g
e
l
attice_
p
oint
.
h: m
a
ke sure cor
r
ect evalues
are used
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolae
g
e
lattice_po
i
nt
.
cc: add ceili
n
g
function
commit
|
commitdiff
|
tree
2008-04-24
Sven Ver
d
oolaege
uti
l
.
c
: internali
z
e ugly bv_ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verd
o
ola
e
ge
lattice_point
.
cc:
m
ulti_mon
o
m/lattic
e
_poi
n
t
s
:
re
t
urn
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven
V
e
r
d
oolaege
d
o
c: clean up "exponential substitution" section
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoo
l
aege
test_bound
.
cc: avoid loss of prec
i
s
ion ca
u
sed
by c
o
nversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rdoolaege
barv
i
nok_boun
d
:
optio
n
ally
take maximal si
z
e of do
m
ains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n
V
erdoo
l
aege
b
a
rvinok_bound:
add
--iterate options for evalua
t
ing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
verify
.
c:
e
xport functions for setting and
clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdool
a
ege
verify
.
c: evalue_
o
ptimum:
allow computation o
f
optimu
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdoolaege
bernstein
.
cc: evalue2ex
:
don't
assume all periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Ve
r
doolaege
bound
.
cc: fix ca
l
l to evalue_c
o
nvert
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
e{add,mul}_periodics: plug memory l
e
aks
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verd
o
o
l
aeg
e
eva
l
u
e
_
b
e
r
n
stein
_
co
e
fficient
s
:
handle probl
e
ms with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
oo
l
aege
update
polyli
b
commit
|
commitdiff
|
tree
2008-04-05
Sven
V
e
r
d
oola
e
g
e
lattice_width
.
c:
s
k
i
p direc
t
i
o
ns that are
iden
t
ical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Ve
r
doolaege
Makefile
.
a
m
: add c
d
d94e-test to distri
b
ution
commit
|
commitdiff
|
tree
2008-04-03
S
v
en
V
erdoolaege
omega/occ: optionally use p
a
rker for comput
i
ng cardinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
rdoolaege
n
o
rm
a
lization
.
c: skew_to_positive_orth
a
nt: prop
e
rly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
Verdoolaege
omega/convert
.
cc: relati
o
n2Domain: only co
l
lect
s
et
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
o
cc
:
add dump for dumping in barvinok_enumerate_e format
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdo
o
l
a
ege
barvinok_enumerate_e: o
p
tionally u
s
e parker's
method
commit
|
commitdiff
|
tree
2008-04-03
S
v
e
n
Verdoolaege
standard_constraint
s
:
take constraint
s
ins
t
ead of p
o
lyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n Verd
o
olaeg
e
norm
a
lizat
i
on
.
c: extra
c
t s
t
andard_constraints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sv
e
n Verd
o
o
laege
parker/cou
n
t_s
o
lut
i
ons
.
cc: fix treatment of exis
t
e
ntially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdo
o
laege
compile pa
r
ker
commit
|
commitdiff
|
tree
2008-03-31
S
ve
n
Verdoolaege
Add p
a
rk
e
r
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
eule
r
.
cc:
e
va
l
ue_deri
v
e: hand
l
e constant polynomia
l
s
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
d
o
olaege
add some test
sets from cases
2
004 and cc
2
0
0
5
p
apers
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
r
e
name barvino
k
_
m
axi
m
ize to barvi
n
ok_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
add a test fo
r
test_bo
u
nd
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdo
o
laege
ev
a
lue_
r
ange_propagatio
n
: remove redundant
p
olynom
i
als
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test_
b
ound: recor
d
number of polynomials a
s
"size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
test_bound: c
o
nv
e
rt
quasipolynomi
a
ls to pol
y
n
o
mials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test_bound: compare
p
olyn
o
mi
a
l bound algorithms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
v
erify
.
c
: op
t
imum:
h
a
n
dle input evaluating
t
o negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
verify
.
c
:
extract
e
v
alu
e
_
o
p
t
i
m
um from maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
verify
.
c
: extract c
o
m
mon code for verifyin
g
o
peration
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
e
v
alue_range_propaga
t
ion: add mon
o
toni
c
ity te
s
t
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
bar
v
inok_maximize: optionally us
e
(
ba
s
ic) rang
e
propag
a
tion
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ve
r
doolaege
Add some s
u
pport for dealing w
i
th
e
v
a
lues that represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
barvinok_en
u
merate: support use of Euler-Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
implement Be
r
noulli_su
m
as c
o
n
v
er
s
i
o
n f
r
om
u
n
weighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
Bern
o
u
lli_sum_evalue: e
x
pl
o
it
i
n
t
e
ge
r
b
o
unds t
o
r
e
d
u
ce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en V
e
rd
o
olaege
k
e
ep track of numb
e
r
of
Be
r
noulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rd
o
olaege
bernoul
l
i
.
c: protect sha
r
ed evalue from mo
d
ificati
o
ns
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
test Be
r
noulli su
m
s based e
x
ac
t
enumeration
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
bar
v
ino
k
_count_wi
t
h_o
p
tions: compute (exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
Bernou
l
li_sum
_
evalue: optiona
l
ly
hand
l
e fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erd
o
olaege
la
t
tice_point
.
h: export fr
a
ctional_part with C
l
i
n
kage
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
b
arvinok_enu
m
er
a
te_wit
h
_opt
i
ons: compute
(
e
x
act)
Ber
n
oulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoull
i
_sum
_
evalue: handle
e
qualities
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ver
d
oolae
g
e
Bernou
l
li_sum_ev
a
lue: cut off some red
u
ndant
p
ar
t
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoo
l
aege
Bernoulli_su
m
_evalue: make sure no
e
mp
t
y partiti
o
ns
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
Berno
u
l
l
i_sum_
e
v
al
u
e: remove redunda
n
t constra
i
nt in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
bernoul
l
i
.
c: minor refactor
i
ng
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolae
g
e
Bernoul
l
i_su
m
: handle context
co
n
s
t
raints
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernou
l
l
i
_sum_eva
l
u
e
: m
a
ke s
u
re enough memory
i
s a
l
l
ocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
er
d
oolaege
for_
e
a
ch_lower_upper_bound: add
another callback
for
.
.
.
commit
|
commitdiff
|
tree
next