repo.or.cz
/
barvinok
/
uuh.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
Add Laurent expansion based summation
2008-05-03
Sven Ve
r
doolaege
Add Lauren
t
e
x
pansion
based summat
i
on
commit
|
commitdiff
|
tree
2008-04-25
S
v
en Verdoola
e
ge
eval
u
e
.
c
:
e
xtend eequal to handle domains and NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
b
inomial
.
c: extract b
i
nomial
a
nd factorial from eule
r
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
Sven Ve
r
doolaege
power
.
h: extrac
t
from
eul
e
r
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Ve
r
doo
l
aege
in
t
roduce
e
value_
s
h
i
ft_
v
ariables
commit
|
commitdiff
|
tree
2008-04-25
Sven
Verdoolaege
l
a
ttic
e
_point
.
cc: e
x
port
re
l
ative_coordina
t
es
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
lattic
e
_point
.
h: m
a
ke sure corre
c
t evalues are used
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
lattice_point
.
cc:
a
d
d ceiling functi
o
n
commit
|
commitdiff
|
tree
2008-04-24
Sve
n
Verd
o
olaege
util
.
c: internalize ugly
b
v_ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sv
e
n Verdoolaege
lat
t
i
c
e_po
i
nt
.
cc: multi_m
o
nom/lattice_points
:
retu
r
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven
V
erdoola
e
g
e
d
o
c:
c
lean up "expo
n
enti
a
l sub
s
titution" s
e
c
tion
commit
|
commitdiff
|
tree
2008-04-08
Sven Verd
o
olaege
test_bou
n
d
.
c
c:
a
void l
o
s
s of prec
i
sion
ca
u
sed
by conversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
oolaege
b
ar
v
i
n
ok_bound: optionally take maximal si
z
e of
d
omains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdo
o
laege
b
arvinok_bound:
a
d
d --
i
te
r
ate
options for evaluating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoolae
g
e
verify
.
c: export functions
f
or setting
and c
l
e
aring
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
oolaege
veri
f
y
.
c:
evalue_
o
p
t
im
u
m: allow computation o
f
o
p
timum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ve
n
V
erdoolaeg
e
bernstein
.
cc: evalue2ex: don'
t
assume all pe
r
io
d
i
c
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
bound
.
cc: fi
x
c
all to evalu
e
_convert
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoo
l
ae
g
e
e{ad
d
,mul}_p
e
r
i
od
i
cs:
plug memor
y
leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoola
e
ge
evalue
_
bern
s
t
ein_coefficien
t
s: handle proble
m
s w
i
th
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoola
e
ge
update polylib
commit
|
commitdiff
|
tree
2008-04-05
S
v
e
n
V
e
r
d
o
ola
e
ge
lattice_wid
t
h
.
c: skip
d
irectio
n
s that
a
re iden
t
i
c
a
l
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Verdoolaege
Mak
e
f
i
le
.
am: add cdd94e
-
te
s
t to dist
r
ib
u
tio
n
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n
V
erdoolaege
omega/occ:
optio
n
ally u
s
e
pa
r
ker for com
p
u
t
in
g
card
i
nality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
V
e
r
d
oolaege
normaliz
a
tion
.
c: skew_to
_
positive_orthant:
pr
o
p
e
rly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Ve
r
dool
a
ege
omeg
a
/convert
.
cc:
relation2Do
m
ain:
only collect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
rdoo
l
aeg
e
o
c
c: add dump for d
u
mping in ba
r
vinok_en
u
merate_e format
commit
|
commitdiff
|
tree
2008-04-03
Sven Ver
d
oolaege
barvi
n
ok_
e
n
u
merate_e: optionally u
s
e parke
r
'
s
m
e
thod
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdool
a
ege
sta
n
dar
d
_c
o
nstraints: take
c
onstrain
t
s
instead of polyhedr
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
rdoolaege
normalization
.
c:
e
xtract
standard_c
o
nstraints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Ver
d
oolae
g
e
parke
r
/cou
n
t_s
o
lutions
.
cc: fix tre
a
tment of
e
xist
e
ntially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Ve
r
doolaege
compil
e
pa
r
k
e
r
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
e
r
doolaege
Add parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
eu
l
er
.
cc: e
v
alue_
d
e
r
ive: handle constant p
o
lynomials
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
doolaege
add
some test
s
ets from cases 2004 and cc 2005 papers
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoola
e
g
e
r
e
name bar
v
inok_maximize
to barv
i
nok_bo
u
nd
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
ad
d
a test for test
_
bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
e
v
alue_range_propagation: re
m
ove
r
edundant
p
olyno
m
ials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
Verd
o
olaege
tes
t
_
bound: re
c
ord number
o
f
p
olyn
o
mials as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
test_bo
u
nd:
c
o
nvert
q
uasipolynomials to polynomia
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
test_boun
d
: compare
p
o
l
yn
o
m
i
al bound algo
r
ithms
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
veri
f
y
.
c: optimum: handle input eva
l
uating to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
verify
.
c: extract eval
u
e_optimu
m
from maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ver
i
fy
.
c: e
x
tr
a
ct common code for
verifying operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
evalue_range_pro
p
agation: add m
o
notonicity test
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verdoolaege
b
arvinok_maximize: optionally
use (
b
asic) range pro
p
agation
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
A
d
d some
s
upport for d
e
aling
w
i
th evalues th
a
t
represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oo
l
aege
b
arvinok_en
u
merate: su
p
port
use o
f
Euler-Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
implement Bernoull
i
_sum as c
o
nvers
i
on from
unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdo
o
laege
Berno
u
lli_
s
um_ev
a
lue: ex
p
loit integer bound
s
t
o
red
u
c
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Ve
r
doolaege
keep track of number of
Be
r
n
oulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
b
e
r
noul
l
i
.
c: protect sha
r
ed evalue from
modific
a
t
i
on
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
test Ber
n
oulli sums based exact e
n
umeration
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvinok_cou
n
t
_
with_opti
o
ns:
c
ompute (exact)
B
ernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
erdoolaege
Bernou
l
li_sum_evalue: optio
n
ally ha
n
dle fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verd
o
olaege
lattice_point
.
h:
export fra
c
tiona
l
_pa
r
t with
C
linkage
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvi
n
ok_
e
n
u
merate_with_options: co
m
pute (
e
x
act
)
B
ernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
Bernoulli_su
m
_
e
value: handle equalities
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Ber
n
oulli_sum_eva
l
ue: cut off some red
u
nda
n
t parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolae
g
e
Bernoul
l
i
_sum
_
evalue: make sure no empty partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verd
o
ola
e
ge
Berno
u
lli_su
m
_evalue: remove r
e
dun
d
ant constrain
t
in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
berno
u
lli
.
c
:
minor refa
c
toring
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
Bernoul
l
i_sum: hand
l
e
cont
e
xt constrai
n
ts
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ver
d
oolaege
for_each_lower_upper_bound
:
add
a
nother cal
l
back for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verd
o
olaeg
e
verify
.
c: adju
s
t default range to context if needed
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ve
r
dool
a
ege
euler
.
cc: summa
t
e_ove
r
_domain:
o
nly consider actua
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Verdoolaege
p
a
r
am_uti
l
.
c: e
x
port
P
a
r
am_Ver
t
ex_Set_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
ool
a
ege
P
aram_Polyhedron_Facet: pass facet definin
g
cons
t
r
a
int
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
erdool
a
e
ge
ge
n
fun
.
cc: parallel_polytopes: don't
b
o
ther han
d
ling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_split_domains_into
_
orthants: don't reduce
e
v
alue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ver
d
oolaege
evalue_read: only allow te
r
ms to
c
ross newlines inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
e
value_read
:
only
accep
t
implicit multipli
c
ati
o
n
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_read: ac
c
ept co
n
straints
c
ontaini
n
g "'-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
evalue_b
e
rnstein_
c
oefficient
s
:
e
nsure result partitio
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ve
r
doolaege
bern
s
t
e
i
n
:
p
iecewise_lst:
correctly print an
d
evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdoolaege
remove_all
_
equa
l
it
i
es: keep r
e
moving parameter equa
l
ities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
er
d
oo
l
aege
update polyl
i
b
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
r
d
oolaege
doc: consist
e
n
t use of
Kevin's i
n
i
t
i
a
ls
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
erdoolaege
doc: up
d
ate now
published
papers
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdoolaeg
e
for_
e
ach_l
o
wer_upper_bound: allow absence of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en
V
erdoolaege
Revert "ead
d
_partitions
:
try to combine multiple domai
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
evalue_read_partition: put parti
t
ions
back i
n
t
h
e
same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verd
o
olaege
evalue: reduce_
e
value: add no
t
e on
s
ome
m
iss
e
d opportu
n
ities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
bernstein
.
cc: handle
input with unions
+
re
l
atio
n
vi
o
lated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verd
o
ol
a
ege
ma
x
imize
.
cc: deal w
i
t
h unio
n
s in i
n
put duri
n
g verificat
i
o
n
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n
V
erdoolaege
evalue_substitute: properly han
d
l
e
rel
a
tion
s
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
erdoolaeg
e
evalue
.
c: clea
n
up emul and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven
Verdoola
e
ge
evalue_read:
correctly
r
ead variable names
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
eva
l
ue_read: accept top level
"relati
o
n"
commit
|
commitdiff
|
tree
2008-03-10
S
ven Ver
d
ool
a
e
g
e
update poly
l
ib
commit
|
commitdiff
|
tree
2008-02-29
Sv
e
n
V
e
r
doo
l
aege
evalu
e
_backsubstit
u
t
e
: add required modulo cons
t
raints
commit
|
commitdiff
|
tree
2008-02-26
Sven Verdoolae
g
e
evalue
.
c:
*_par
t
i
t
ions:
simplify constraints before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
S
ven Ve
r
doolae
g
e
doc: more s
p
ecific information on buggy cddli
b
versions
commit
|
commitdiff
|
tree
2008-01-28
Sven Verdoolaege
co
n
fig
u
re
.
in: require cddlib 0
.
94e b
y
testing
f
or bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Ver
d
oolaege
configure
.
in: only compile occ if code_gen library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
b
arvinok 0
.
2
6
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Ve
r
dool
a
ege
add some t
e
s
t
s for im
p
lementation of
projec
t
ion theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoolaege
doc: document n
e
w o
p
tions and new
applications
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n
Verdoolaege
AUT
H
ORS: upda
t
e support infor
m
a
tion
commit
|
commitdiff
|
tree
2008-01-16
S
ven
V
erdool
a
ege
g
e
nfun
.
cc: short_rat::print: c
o
rr
e
ctly
p
r
int polynomials
.
.
.
commit
|
commitdiff
|
tree
next