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
summate.c: extract barvinok_summate from barvinok.cc
2008-05-03
S
v
en
Ver
d
o
o
la
e
g
e
s
umm
a
te
.
c: extract barvinok_sum
m
a
t
e from barvinok
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoolaege
re
n
ame summat
e
.
cc
to barvin
o
k
_summate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
e
r
doolaege
e
value
.
c: reduce_evalue: re
d
u
ce
f
l
oor with constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoolaege
Add Laurent ex
p
ansion based summation
commit
|
commitdiff
|
tree
2008-04-25
S
v
en Verdoo
l
aege
eva
l
ue
.
c: extend
ee
q
ual
t
o ha
n
dle
d
omain
s
and NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sven V
e
rdo
o
l
aege
binomial
.
c
:
extract binomial and fac
t
orial from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Ver
d
oolaege
p
o
wer
.
h: extract fro
m
euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdool
a
ege
intr
o
duce eva
l
ue_shift_variab
l
e
s
commit
|
commitdiff
|
tree
2008-04-25
Sven V
e
rdoola
e
ge
lattice_
p
oint
.
c
c:
expo
r
t relative_coordinates
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
lattice_point
.
h: make s
u
re
c
orre
c
t evalues are u
s
ed
commit
|
commitdiff
|
tree
2008-04-24
Sv
e
n
Verdoolaege
lattice_point
.
cc:
add ceiling function
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoo
l
aege
util
.
c: interna
l
ize ugly
b
v_
c
eil3
commit
|
commitdiff
|
tree
2008-04-17
Sve
n
V
e
rdoolaege
lattice_p
o
i
n
t
.
cc: mult
i
_
m
onom/lattice_poin
t
s: ret
u
r
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Verdoolaege
doc: clea
n
up
"
exponen
t
ial
substitu
t
ion
"
section
commit
|
commitdiff
|
tree
2008-04-08
S
ven Verdoolaege
test_bound
.
cc: avo
i
d loss o
f
precision caused by co
n
versi
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n
Verdoolae
g
e
b
a
rvinok_bound:
op
t
ionally
t
ake
m
aximal s
i
ze
of domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
e
r
doolaege
barvinok_bound: add -
-
i
ter
a
te
o
ptions for ev
a
lu
a
ting
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdo
o
laege
verify
.
c
:
e
xport fun
c
ti
o
ns for
s
etting and clearin
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
doolaege
verif
y
.
c:
e
va
l
u
e_optimum: allo
w
c
o
mp
u
ta
t
ion of optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven Verdoola
e
ge
b
ernst
e
in
.
cc:
evalue2ex: don't assume all pe
r
iodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdool
a
ege
bound
.
cc: fix
c
all to ev
a
lue
_
convert
commit
|
commitdiff
|
tree
2008-04-08
S
ven Verdoolae
g
e
e{add,mul}_
p
eriodics: plug me
m
ory l
e
aks
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Ve
r
doolaege
eva
l
ue_bernstein_coeff
i
cients:
h
andl
e
problem
s
with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verd
o
olaege
update polyli
b
commit
|
commitdiff
|
tree
2008-04-05
Sven
Verdoolaege
lattice_wid
t
h
.
c
:
sk
i
p direc
t
ions t
h
at are ident
i
cal
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Verdoo
l
aege
M
akefile
.
am: add
cdd94e-test to distributio
n
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
omega/occ
:
o
ptionally use parker for computing
c
ard
i
nality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Ve
r
d
ool
a
e
g
e
n
ormalizati
o
n
.
c: skew
_
to_
p
ositive
_
orthan
t
: prop
e
rly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
en V
e
rdoolaege
omega/convert
.
c
c:
r
elati
o
n
2
D
o
ma
i
n: only c
o
lle
c
t s
e
t
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verd
o
olaege
occ: add dump for dumping in barvinok_en
u
me
r
at
e
_
e
format
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdool
a
eg
e
barvinok_enum
e
r
a
t
e_e: op
t
io
n
all
y
u
s
e park
e
r's method
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
rd
o
o
l
ae
g
e
sta
n
dard
_
constraints:
t
ake cons
t
r
a
ints instead of polyhedro
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolae
g
e
no
r
mali
z
a
tion
.
c: extrac
t
standard_constraints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
ven Verdoolaege
pa
r
ker/count_solution
s
.
cc
:
fix trea
t
ment of e
x
isten
t
i
a
lly
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
ven Verdoolaeg
e
compile
p
ar
k
er
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
Add parker
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ve
r
doolaege
euler
.
cc
:
eval
u
e
_
d
eriv
e
: handle constant
p
olyn
o
m
ia
l
s
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
ad
d
s
ome
test
s
et
s
from cases 2004 an
d
cc 2
0
05 papers
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdoola
e
ge
rename barvin
o
k_ma
x
im
i
z
e to barvi
n
ok_boun
d
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ve
r
doolaeg
e
add a test for
test_bound
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
ev
a
lue_ra
n
ge_propagation:
r
emove redund
a
nt
p
olyn
o
mials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oola
e
ge
tes
t
_
boun
d
: record
number of pol
y
nomi
a
ls as "si
z
e
"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdo
o
laege
test_bou
n
d:
co
n
vert quasi
p
ol
y
nomials
to polyn
o
mials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
te
s
t_bound: compa
r
e
polynomia
l
bound al
g
orithms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c: o
p
timum: handle input ev
a
luating
t
o negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
verify
.
c
:
e
xtract evalue_optim
u
m
f
rom maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
v
erify
.
c: ex
t
ract common c
o
de for verifying
o
p
e
r
at
i
on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ve
r
dool
a
ege
ev
a
lue_
r
ange_
p
ropaga
t
ion
:
add mo
n
o
t
onicity test
commit
|
commitdiff
|
tree
2008-03-31
S
ven V
e
rdoolaege
b
a
r
v
i
n
ok_maximize:
op
t
ionally use
(
basi
c
) range pro
p
agat
i
on
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Ad
d
some support for
d
eal
i
ng
wit
h
evalues
t
h
a
t represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
b
arvinok_enumerate: support use of Eu
l
er-Ma
c
laurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
imp
l
ement Bernoulli
_
sum as conversion from unweight
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolae
g
e
Bernoulli
_
sum_e
v
alue: e
x
plo
i
t integer bounds to r
e
duce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
keep track
o
f number
o
f Ber
n
o
ull
i
sums
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolae
g
e
bernoul
l
i
.
c: pr
o
tect shared eva
l
ue f
r
o
m
mo
d
ifications
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
test Bern
o
ulli sums bas
e
d exact
e
numeration
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
barvin
o
k_count_w
i
th
_
opti
o
ns: com
p
ute (exact)
B
ernou
l
li
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ver
d
oolae
g
e
B
ernoull
i
_su
m
_evalue: op
t
ional
l
y
h
andle fr
a
ctional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
lattice_point
.
h
:
exp
o
rt fractional_part
w
ith C linkage
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
barvinok_enumerate_
w
ith_opti
o
ns:
compute (e
x
act) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verd
o
olaege
Ber
n
oul
l
i_s
u
m
_
evalue: handl
e
equ
a
lities
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
Bernoulli_sum_evalu
e
: cut off
s
o
me redundant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
Bernoul
l
i_s
u
m
_
evalue: ma
k
e
s
ure no em
p
ty parti
t
ions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n V
e
rdoolaege
Berno
u
lli_sum_evalue: remove redundant
c
ons
t
raint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
be
r
n
o
ulli
.
c:
m
i
n
or re
f
actoring
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
Berno
u
lli_sum: ha
n
dle context
c
onstr
a
in
t
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolae
g
e
f
or_
e
ach_lower_upper_bound:
add another callbac
k
for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ve
r
doolaege
verify
.
c
:
adjust default
r
a
nge
t
o con
t
ext if
n
e
ede
d
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
e
u
ler
.
cc: summate_
o
ver_domain: only consider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolae
g
e
param_util
.
c
:
exp
o
rt
Param_Vertex_
S
et_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
Param
_
Poly
h
edron_Facet: pass fac
e
t
defining
constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
dool
a
e
g
e
g
enfun
.
cc: paralle
l
_polyt
o
pes: do
n
't
both
e
r
h
an
d
ling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven V
e
rdoolaege
eva
l
u
e
_
split_domains_into_orthants: don't redu
c
e
e
value
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_read: on
l
y allow ter
m
s to
cross newlines inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verd
o
olaeg
e
evalue_read: onl
y
accep
t
implicit multiplicat
i
o
n on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
eva
l
ue
_
read: accept
c
o
n
stra
i
n
t
s
co
n
taini
n
g "
'
-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
V
erdoola
e
ge
evalue_bernst
e
in_coeffic
i
ents: ensur
e
result par
t
itions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
bernstein: piecewis
e
_
lst: correctly p
r
int a
n
d evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven Ve
r
doola
e
g
e
remove_al
l
_eq
u
alities: keep
r
emoving paramete
r
equ
a
lities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoo
l
aege
upda
t
e
p
olylib
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
d
oc: con
s
istent us
e
of
K
evin'
s
ini
t
i
a
ls
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdoolaege
d
oc: updat
e
now publishe
d
papers
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Ve
r
dool
a
ege
for
_
ea
c
h
_
low
e
r_uppe
r
_bound: all
o
w absenc
e
o
f
low
e
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdoolaege
Revert "eadd_partitions: try to
c
ombine mult
i
ple domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdoolaege
evalue_re
a
d
_
partition: put partiti
o
n
s
bac
k
in
t
he same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Verdool
a
ege
evalue: reduc
e
_evalue: add no
t
e
on some missed oppo
r
tunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verdool
a
ege
b
e
rn
s
tein
.
cc
:
ha
n
d
le input with uni
o
ns
+
rela
t
i
o
n v
i
olated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdoolaege
maximize
.
cc:
deal wit
h
uni
o
n
s
in in
p
ut during ver
i
f
ication
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verd
o
o
l
aege
eva
l
ue_subs
t
itute: pro
p
e
r
l
y handle relati
o
ns
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
e
rdoolaeg
e
evalue
.
c: clean up
emul
and e
a
d
d
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verdoolaege
evalue_read: c
o
rrectly
r
ead variable names
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolae
g
e
ev
a
lue_
r
ead: accep
t
t
op level "relati
o
n"
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
V
e
rdoo
l
aege
update polylib
commit
|
commitdiff
|
tree
2008-02-29
S
ven Verdoolaege
evalue_backsubstitute: add required modul
o
co
n
st
r
aints
commit
|
commitdiff
|
tree
2008-02-26
S
v
en Ver
d
oola
e
ge
evalue
.
c: *_
p
arti
t
ion
s
:
s
im
p
lify constrain
t
s befo
r
e
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Ve
r
d
o
o
laege
d
o
c:
more
s
p
e
cific information
o
n buggy cddlib versi
o
n
s
commit
|
commitdiff
|
tree
2008-01-28
Sven Verdoolaege
configure
.
in:
r
equi
r
e cd
d
lib 0
.
94e by tes
t
in
g
fo
r
bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Verdool
a
ege
configure
.
in: only compile occ if c
o
de_gen
library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdo
o
lae
g
e
barvin
o
k
0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oo
l
aege
add s
o
m
e tests for im
p
lementation of proj
e
ction theorem
commit
|
commitdiff
|
tree
next