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
barvinok_e.cc: enumerate_sum: use barvinok_summate instad of evalue_sum
2008-05-03
Sven Verdool
a
ege
barvi
n
ok_e
.
cc: e
n
umerate_sum: use bar
v
inok_s
u
mm
a
te
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdo
o
laege
summate
.
c:
extract barvino
k
_s
u
mmate fro
m
barvino
k
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdoolaege
renam
e
summate
.
cc to ba
r
vi
n
o
k
_summat
e
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n
Verdo
o
l
aege
ev
a
lue
.
c: reduc
e
_evalue: reduce floor with
constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolae
g
e
Add Lau
r
ent ex
p
ans
i
on based
s
ummation
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
evalue
.
c: extend eequa
l
t
o han
d
le doma
i
ns and
N
aNs
commit
|
commitdiff
|
tree
2008-04-25
Sven
V
erdoolaege
binomial
.
c: extrac
t
bi
n
omial a
n
d f
a
ctorial from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoo
l
a
e
g
e
power
.
h: extract
f
rom
e
uler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Ver
d
o
olaege
introduce evalue_shift_v
a
riables
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdool
a
ege
latt
i
ce_point
.
cc: export
r
elative_coor
d
ina
t
es
commit
|
commitdiff
|
tree
2008-04-24
Sven V
e
rd
o
olaege
l
attic
e
_point
.
h: mak
e
sure
c
orr
e
ct evalues are
u
sed
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
lattice_point
.
cc: add ceiling func
t
ion
commit
|
commitdiff
|
tree
2008-04-24
S
ven Verdoolaeg
e
uti
l
.
c
:
i
n
ternalize
ugly bv_
c
eil3
commit
|
commitdiff
|
tree
2008-04-17
S
ven Verdoolaege
lattice_p
o
int
.
cc: multi_monom/latt
i
c
e
_points: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven V
e
rdo
o
l
aege
doc: clean up "exponential su
b
sti
t
ution"
se
c
ti
o
n
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoola
e
ge
test_bound
.
cc: avoid loss
o
f pr
e
cision cau
s
ed by c
o
nv
e
rsion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdoolaege
b
arv
i
nok_bound: op
t
ion
a
lly
t
ake maximal
s
ize of dom
a
ins
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
e
n V
e
rd
o
olaege
b
arvinok_b
o
und: a
d
d --ite
r
ate opt
i
ons for evaluating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
verify
.
c
:
export
f
unct
i
ons
for setting and clea
r
ing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verd
o
o
l
aege
v
e
rify
.
c: evalue_optim
u
m: allow co
m
putation
of optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoolaeg
e
bernstein
.
c
c: e
v
alue2ex: don'
t
assume all periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
e
r
d
oo
l
aege
bound
.
cc: fix call
t
o evalue_co
n
vert
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
doo
l
ae
g
e
e
{add,m
u
l}_
p
eriodi
c
s: plug me
m
ory leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaeg
e
ev
a
lue_
b
ernstein_coefficien
t
s: handle
probl
e
m
s
with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
update po
l
ylib
commit
|
commitdiff
|
tree
2008-04-05
Sven
V
erdoolae
g
e
latti
c
e_
w
idth
.
c: skip directions t
h
a
t
are
i
dentical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Verdoolaege
Makefile
.
a
m
: add
cdd94e-test to distribution
commit
|
commitdiff
|
tree
2008-04-03
Sven
Verdoolae
g
e
om
e
ga/occ: optionally use
p
arker for computing cardinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n V
e
rdo
o
laege
normaliz
a
ti
o
n
.
c: s
k
ew_t
o
_
p
ositive_ortha
n
t: p
r
operly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdoola
e
ge
omega
/
con
v
ert
.
cc: re
l
ation2Domain:
only collect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Ver
d
oolaege
occ: a
d
d dump for
d
umping i
n
barvinok_
e
num
e
rate_e format
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
er
d
oolaege
barv
i
nok_enum
e
rate
_
e
: optionally use parker's meth
o
d
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoola
e
ge
standard_constraint
s
:
take constraints in
s
tead
o
f
p
olyhedr
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoo
l
aege
no
r
mal
i
zation
.
c
:
extr
a
ct standard_co
n
s
t
raints fr
o
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaege
parke
r
/co
u
nt
_
solutions
.
cc: fix
t
reatment of
e
xistentially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdo
o
laege
co
m
pile p
a
rke
r
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
V
e
rdoola
e
ge
Add parker
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
euler
.
cc: evalue_
d
eriv
e
:
h
a
ndle consta
n
t polynomials
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
add some test sets
from cas
e
s
2004 and
c
c 2005
papers
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
rename barvinok_
m
a
x
imi
z
e to
b
a
r
vino
k
_boun
d
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
add a test for test_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
evalue_range_propagat
i
on: re
m
ov
e
redundant
polyn
o
m
i
a
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
Ve
r
doolaege
t
e
s
t
_bound: record
number
o
f
poly
n
omia
l
s
as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
test_
b
ou
n
d
:
con
v
ert quasipolynomial
s
to polyno
m
ial
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
test_bound: compar
e
polynomial
b
ound algorithms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c: optimum: h
a
ndle input eval
u
ati
n
g to
n
e
gat
i
ve
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verd
o
ol
a
ege
verify
.
c: extrac
t
e
val
u
e
_optimum from maximize
.
c
c
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
erdoolaeg
e
verify
.
c: extract common cod
e
for v
e
rifying opera
t
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
evalue_range_pro
p
agation:
add monoton
i
city t
e
st
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
ba
r
vinok_maximize: option
a
l
ly use (
b
asic)
r
ange propagation
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
A
dd some
support for deal
i
ng with evalue
s
tha
t
represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
barvinok_enumerate: support use of Eu
l
er
-
M
ac
l
au
r
in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ver
d
ool
a
e
g
e
implement Bern
o
ulli_sum a
s
conver
s
ion from
unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
Bernoulli_sum_eva
l
u
e: ex
p
loit inte
g
er
bounds to reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
dool
a
ege
k
eep tra
c
k of n
u
mb
e
r of Bernoulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdo
o
la
e
ge
bern
o
ulli
.
c:
p
rote
c
t shared evalue from mod
i
f
i
ca
t
ions
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rd
o
o
l
a
e
ge
test Bernoulli sums based
e
x
act enum
e
ra
t
ion
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
e
ge
barvi
n
ok_cou
n
t_with_opti
o
ns
:
compute
(
exact) Bernoull
i
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
Bernoulli_sum
_
e
v
alue: optionally
handle fractio
n
al
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
lattice_point
.
h: export fractional_part with C linkage
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoo
l
aege
b
a
rv
i
nok_enum
e
rate_with_options: compute
(ex
a
ct)
B
ernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
a
e
ge
Bern
o
ulli_s
u
m_e
v
alue: handle equ
a
l
i
ties
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
Bernoull
i
_sum_ev
a
lue: cut off some redundant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
Bern
o
ulli_sum_
e
valu
e
: ma
k
e sure no empty partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoul
l
i_sum_eval
u
e: remove redundant co
n
strain
t
in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdo
o
lae
g
e
bernoulli
.
c: minor
r
efact
o
ring
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdool
a
ege
B
e
rnoulli_sum: handle context co
n
str
a
ints
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
erdoolaege
Bernoulli_s
u
m_evalu
e
:
m
ake sur
e
en
o
ugh memory is allocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
for
_
each_l
o
w
e
r_u
p
per_bound
:
add an
o
ther ca
l
lback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c: adju
s
t default
r
a
nge to
c
ontext if
needed
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
ola
e
ge
euler
.
cc: summate_over_d
o
main: only consider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
param_uti
l
.
c: export Param_V
e
rtex_Set_
F
acets
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaeg
e
Param_Poly
h
edron_Facet:
p
ass
fac
e
t d
e
fini
n
g c
o
nstraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
genfu
n
.
cc: para
l
lel
_
polytopes: don't bo
t
her handli
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
ev
a
lue_split_domains
_
i
n
to_
o
rthants: don't reduce eval
u
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verd
o
o
laege
evalue_read: onl
y
allow terms
to cross newlines inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoo
l
aeg
e
eva
l
ue_
r
ead: o
n
ly
accept im
p
licit multiplication on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdool
a
ege
eval
u
e_re
a
d: accept co
n
st
r
ai
n
ts containing
"'-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ver
d
oolae
g
e
evalu
e
_bernstein_coeffic
i
ents:
e
nsure result pa
r
ti
t
ions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
bernste
i
n: piecewise_lst: correc
t
l
y print and evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
remo
v
e_all_equ
a
l
ities: k
e
ep
r
e
m
oving parameter equalities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
update
p
o
l
ylib
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n
V
e
rdoola
e
ge
doc: consistent use of K
e
vin's initials
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
d
o
c: upd
a
te now publishe
d
papers
commit
|
commitdiff
|
tree
2008-03-24
Sven Ve
r
doolaege
for_each_lowe
r
_upper_
b
ound: allo
w
absence of
l
ower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoo
l
a
e
ge
Revert "ead
d
_partitio
n
s:
t
ry to combine
multiple dom
a
i
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
erdoo
l
aege
eva
l
ue_read_part
i
tion: put partitions back in the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
eva
l
u
e
:
r
educe_evalue: add n
o
te on some missed opportuniti
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
be
r
nstein
.
cc: handle
i
nput with unions + relation vio
l
ated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
rdo
o
laege
maxi
m
ize
.
cc: deal with
u
ni
o
ns i
n
i
nput dur
i
ng
verificat
i
on
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Verd
o
ola
e
ge
evalue_substit
u
te: properly
hand
l
e re
l
a
t
i
ons
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoola
e
ge
eval
u
e
.
c: clean up emul and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaeg
e
ev
a
lue_read: correctly read variable
n
a
mes
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
V
erd
o
olaege
evalue_read: ac
c
ept top level "relation"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
upd
a
t
e polylib
commit
|
commitdiff
|
tree
2008-02-29
Sve
n
V
e
rdoolaege
evalue_
b
acksubstitute: add r
e
quired modulo constrain
t
s
commit
|
commitdiff
|
tree
2008-02-26
Sven
V
erdoolaege
evalue
.
c: *_partitions:
sim
p
li
f
y co
n
str
a
ints befo
r
e
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sv
e
n Verdo
o
laege
d
o
c: more
specific info
r
mat
i
on on bu
g
gy c
d
dlib
v
ersions
commit
|
commitdiff
|
tree
2008-01-28
Sven Verdoolaege
co
n
figure
.
in: require cddlib 0
.
94e by t
e
sting for
b
u
g
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Verdoolaeg
e
confi
g
ur
e
.
in: only compile occ if code_g
e
n lib
r
ary
.
.
.
commit
|
commitdiff
|
tree
next