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
evalue.c: evalue_shift_variables: allow shifting of only parameters
2008-05-03
S
v
en
V
erdoolaege
e
v
al
u
e
.
c:
e
value
_
shift_variab
l
es
:
allow shifting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
s
ummate
.
c: handle equalities for all summation algori
t
h
ms
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
s
umm
a
te
.
c: barvinok
_
summate: mo
v
e common parts of summatio
n
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoolaege
eva
l
u
e
.
c
: evalue_sum: move
s
ig
n
handli
n
g
into esum_
o
ver_do
m
ain
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Ve
r
doo
l
a
eg
e
bar
v
inok_e
.
cc: enumerate
_
sum: use b
a
rvinok_s
u
mmate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summate
.
c: extract
barvi
n
ok_sum
m
ate from barvino
k
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Ve
r
doolaege
rena
m
e summate
.
c
c to barvinok_summ
a
te
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
o
o
laege
evalue
.
c:
reduce_evalue: re
d
uce floor with constan
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
olaege
Add
L
a
uren
t
expansion ba
s
ed sum
m
ation
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
evalue
.
c: extend ee
q
ual to handl
e
domains and Na
N
s
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
bin
o
mial
.
c: extract binomial and fac
t
orial
f
r
o
m euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Ve
r
dool
a
ege
po
w
er
.
h: extrac
t
from euler
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoo
l
aege
introduc
e
ev
a
l
u
e_shift_variables
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaeg
e
lat
t
ice_po
i
nt
.
cc: expo
r
t rel
a
tive_c
o
o
r
dinates
commit
|
commitdiff
|
tree
2008-04-24
Sven Verd
o
olaege
lattice_po
i
nt
.
h: mak
e
su
r
e
c
o
rrect e
v
al
u
es a
r
e
u
sed
commit
|
commitdiff
|
tree
2008-04-24
Sve
n
Verdoolaege
lattic
e
_point
.
cc: add ceili
n
g
f
unction
commit
|
commitdiff
|
tree
2008-04-24
Sv
e
n Verdoolaege
uti
l
.
c:
inter
n
ali
z
e
ugly bv_ceil3
commit
|
commitdiff
|
tree
2008-04-17
S
ven Verdoola
e
ge
lat
t
ice_point
.
cc: multi_
m
on
o
m/lattice_poin
t
s: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Verdoolaege
doc: clean up "
e
xpon
e
ntial subst
i
tuti
o
n" section
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n
V
erdoolaege
test
_
bound
.
cc
:
avo
i
d lo
s
s of precisi
o
n caused by convers
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoo
l
aege
barv
i
nok_b
o
und: optionall
y
t
ak
e
m
aximal size of do
m
ains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoolae
g
e
b
arvinok_bound: add --itera
t
e
o
ptions for evaluat
i
ng
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdoolaeg
e
verify
.
c: expor
t
functio
n
s f
o
r setting and clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdo
o
laege
verify
.
c: eva
l
ue_opt
i
mum: allow computation of optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaeg
e
bernstein
.
cc: evalue2ex: don't
assum
e
all
p
eriodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
ool
a
ege
bound
.
cc: fix ca
l
l to e
v
a
lue_convert
commit
|
commitdiff
|
tree
2008-04-08
S
ve
n
Verdoolaeg
e
e
{
a
dd,mu
l
}
_per
i
odics
:
plug memory
leak
s
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdoolaege
evalu
e
_ber
n
stein_co
e
fficien
t
s: hand
l
e
pro
b
le
m
s wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
u
pdate pol
y
lib
commit
|
commitdiff
|
tree
2008-04-05
Sven Verdoo
l
aege
l
a
ttice_wid
t
h
.
c: skip
d
i
r
ec
t
ions
that are ide
n
tica
l
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sv
e
n Ver
d
oola
e
ge
Makefile
.
a
m
:
add
c
dd94e
-
test to
di
s
tribut
i
o
n
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
omega/occ: optionally use parker for computing ca
r
dinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Ver
d
oolaeg
e
normali
z
ation
.
c: skew_to
_
positive_orthant: p
r
operly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verdoolaege
om
e
g
a
/convert
.
cc: relation2Doma
i
n:
o
nly collect se
t
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
Verd
o
o
l
aeg
e
occ: add dump for dumpi
n
g in ba
r
vi
n
ok_enumerate_e forma
t
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoo
l
a
e
ge
barvinok_enumerate_e:
o
ptional
l
y
use parker'
s
m
ethod
commit
|
commitdiff
|
tree
2008-04-03
S
ven
V
e
rdoolaege
standar
d
_constr
a
i
n
t
s: ta
k
e constraints instead of polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n Verdo
o
laege
normaliz
a
ti
o
n
.
c: extract standard_cons
t
raints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
v
en
Ve
r
do
o
laege
parke
r
/count_
s
olutions
.
cc: fix
tr
e
atment of ex
i
stentially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven
V
erdoolaege
c
ompile parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
A
d
d parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
euler
.
cc
:
evalue
_
d
e
r
ive:
h
andl
e
constant p
o
lynomials
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoo
l
aege
add s
o
m
e
test se
t
s
f
r
om
cases 2
0
04 and cc 200
5
papers
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
r
e
name barvin
o
k_maximize to barvinok_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laeg
e
add a test for test_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue
_
range_p
r
opagat
i
o
n:
r
e
m
ove redundant poly
n
o
m
ials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
tes
t
_bound
:
record
n
umber of
p
olynomials as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
t
e
st_
b
ound: co
n
ve
r
t qu
a
sipolynomia
l
s
to
polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n V
e
rd
o
olaeg
e
test_bound: compare
polynomial bound
algorith
m
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
v
e
ri
f
y
.
c:
optimum: ha
n
d
le input evaluating t
o
n
e
g
a
tive
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
verify
.
c: e
x
t
r
a
c
t
e
v
a
lue_opt
i
mum from
m
a
xim
i
ze
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
verify
.
c:
e
xtra
c
t
c
ommon code
for veri
f
ying o
p
eration
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
o
o
laege
eva
l
ue_rang
e
_
propaga
t
ion: a
d
d
m
onot
o
nicity te
s
t
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoo
l
aege
ba
r
vi
n
ok_maximize: opt
i
onally use (
b
a
s
ic) range propa
g
ation
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
Add some
s
upport for de
a
ling wi
t
h evalues that represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
o
laege
barvinok_en
u
merate: sup
p
ort use of Euler-Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
implement
B
ernoulli_sum as c
o
n
v
ersion
f
rom unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ver
d
ool
a
ege
Bernoulli_sum_
e
value: exploit integer
bounds to reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaeg
e
keep t
r
ack of numb
e
r of Bernoull
i
sums
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
rdoolaeg
e
ber
n
o
ull
i
.
c
:
p
rote
c
t shared evalue from mod
i
fi
c
ations
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
t
e
s
t
B
e
rnou
l
l
i sums based exact enumer
a
tion
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
dool
a
ege
barvin
o
k_co
u
nt_with_op
t
ions: com
p
ute (
e
xact) Bernou
l
li
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdoolaege
Bernoulli_sum_evalue
:
o
ptionally
handle f
r
a
c
tional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
lat
t
i
c
e_poi
n
t
.
h:
e
xport fractional_pa
r
t with
C
linkage
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
barvin
o
k_enume
r
ate_with_options: com
p
u
t
e
(
ex
a
ct) Bernou
l
l
i
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
Bernoulli_sum
_
ev
a
lue: h
a
n
dle
equalit
i
es
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdoo
l
a
ege
Be
r
noul
l
i_sum_ev
a
l
u
e
:
cut off so
m
e redunda
n
t parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ver
d
oolaege
B
e
rno
u
lli_sum_e
v
alue: make sure no empty partit
i
ons
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
Bernoull
i
_sum_e
v
alue:
r
emove redundant
c
onstra
i
n
t in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
bernoulli
.
c: minor refactoring
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Be
r
noulli_sum
:
han
d
le conte
x
t
c
o
n
straints
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
Bernoull
i
_s
u
m_evalue
:
make
s
ur
e
enough
m
emory is a
l
l
o
c
ated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
for_each_l
o
wer_u
p
per
_
b
o
und: add anoth
e
r c
a
ll
b
ack for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
verify
.
c
: adjust default
ran
g
e t
o
context if needed
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolae
g
e
euler
.
cc: summa
t
e_over
_
d
o
m
ain: only c
o
nsider a
c
tual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
pa
r
a
m_util
.
c: ex
p
o
r
t Param
_
Vertex_Set_Fac
e
t
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Pa
r
am_Po
l
yhedron_F
a
c
e
t
:
pass
f
acet defining constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
genfun
.
cc: p
a
rallel_po
l
ytop
e
s: don't bo
t
her
han
d
ling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
eval
u
e_split_doma
i
n
s
_
i
n
to_orthants
:
don't
r
educe
evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
o
laege
evalue_read:
only allow
terms to cross newlines i
n
side
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_
r
ead: o
n
ly accept
i
m
p
lici
t
multiplication on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verd
o
olaege
evalue_read
:
accep
t
c
o
nstraints conta
i
ning "'-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_bernstein_coe
f
fic
i
ents: e
n
sure
resul
t
parti
t
i
ons
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
e
n Verdoolaege
be
r
n
stein: piecewi
s
e
_
lst: correctly pri
n
t a
n
d eva
l
uate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolae
g
e
remove_all_equ
a
lities:
k
eep re
m
oving
p
a
rame
t
er equ
a
lit
i
es
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
e
n
Verdo
o
laege
update polylib
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
doc: co
n
s
i
stent
u
s
e
of Ke
v
i
n
'
s initia
l
s
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verd
o
o
lae
g
e
doc: upd
a
te now
p
ublished papers
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdoolaege
for_eac
h
_lower_upper_bound
:
allow
a
bsence
o
f
l
ower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
Revert "eadd_partitions: try to combine m
u
lt
i
ple
domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven
Ver
d
oolaege
eva
l
ue_read_partition:
put partitions
b
a
ck in the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
v
en
V
er
d
oolaege
evalue: reduce_evalue: add note on
s
ome
missed o
p
portunit
i
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n V
e
rdoolaege
b
e
r
n
stein
.
cc
:
handle input
with union
s
+ rela
t
ion violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n
V
erdool
a
ege
maximize
.
cc:
d
eal
w
i
t
h u
n
ions i
n
input
duri
n
g verif
i
c
a
tion
commit
|
commitdiff
|
tree
2008-03-10
S
v
en V
e
rdoolaege
evalue_substitute:
p
roperl
y
handle relations
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Verdoolaeg
e
evalue
.
c: clean up
e
mul an
d
e
a
d
d
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n
Verdoolaege
eval
u
e_read: correct
l
y re
a
d variable names
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
V
e
rdoolaege
ev
a
l
ue_read: accept top
l
e
vel "relati
o
n"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdool
a
ege
update polylib
commit
|
commitdiff
|
tree
2008-02-29
Sven Verdoolaege
eval
u
e_b
a
c
ks
u
bstitute: add re
q
u
i
red modulo co
n
straints
commit
|
commitdiff
|
tree
next