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
Sv
e
n
Verdoolaege
evalue
.
c
:
evalu
e
_shift_variabl
e
s: allow shifting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoola
e
ge
summ
a
t
e
.
c: handle eq
u
alities for a
l
l summation a
l
gorithms
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
lae
g
e
su
m
m
ate
.
c: b
a
rvin
o
k_s
u
mmat
e
:
mov
e
comm
o
n pa
r
ts of summation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
er
d
oolaege
e
value
.
c: eval
u
e_sum
:
mo
v
e
sign handling into esum_over_domain
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaege
barvinok_
e
.
cc:
e
num
e
r
a
te_sum: us
e
barvinok_s
u
mmat
e
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
e
rdoolaege
su
m
mate
.
c: ex
t
ract barvinok_summate
from barv
i
nok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
V
erdo
o
laege
rename
summate
.
cc to b
a
r
v
inok_summa
t
e
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
d
oolaeg
e
evalue
.
c:
r
e
duce_evalu
e
: r
e
duce fl
o
or with constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
Add Laurent exp
a
ns
i
on bas
e
d summation
commit
|
commitdiff
|
tree
2008-04-25
Sven
V
erdoolaege
evalue
.
c: extend eequal t
o
han
d
le domains
a
nd NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sv
e
n Ve
r
doolaege
binomial
.
c: e
x
tract binomial and facto
r
ial from
e
uler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoola
e
g
e
power
.
h:
extract from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
S
ven Verdoolaege
introduce eval
u
e_shi
f
t_va
r
iabl
e
s
commit
|
commitdiff
|
tree
2008-04-25
S
ven Verdoolaege
lattic
e
_po
i
nt
.
c
c: export relativ
e
_coordinate
s
commit
|
commitdiff
|
tree
2008-04-24
S
v
en
Ver
d
oolae
g
e
l
a
t
tice_point
.
h:
m
ake sure
c
or
r
e
ct eva
l
u
e
s are used
commit
|
commitdiff
|
tree
2008-04-24
S
v
en Verdoolaege
lattice_point
.
cc: add ceili
n
g function
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
util
.
c: internaliz
e
ugly bv
_
ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verdoolaege
la
t
tic
e
_point
.
c
c
: multi_mo
n
om/lattic
e
_points: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
S
v
en Verd
o
ola
e
ge
do
c
: clean up "
e
xpon
e
n
tial s
u
bstitution" s
e
ct
i
on
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
d
o
o
l
aege
test
_
bound
.
cc:
a
v
o
id lo
s
s
of prec
i
sion c
a
used by conversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
b
a
rvinok_bou
n
d: op
t
ionally take max
i
mal si
z
e of d
o
mains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven Verdoo
l
a
e
ge
b
arvi
n
ok_bound: add -
-
iterat
e
o
ptions for evaluat
i
ng
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaeg
e
ve
r
i
fy
.
c
:
export functions for
s
etting
a
nd clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
v
e
rify
.
c:
e
value_optimum: allow computation of optim
u
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
r
d
oola
e
ge
berns
t
ein
.
cc
:
e
value2ex
:
don't assume
al
l
pe
r
i
o
dic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Ver
d
oolaege
boun
d
.
cc: fi
x
c
a
l
l to eva
l
ue
_
c
o
n
v
ert
commit
|
commitdiff
|
tree
2008-04-08
S
ven Verdoolaege
e{a
d
d,mul}_periodics: pl
u
g memory leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
evalue_bernst
e
in_c
o
efficients: handle p
r
o
b
lems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verd
o
olaege
update pol
y
li
b
commit
|
commitdiff
|
tree
2008-04-05
Sven Verdoolaege
lattice_width
.
c: skip
directions tha
t
a
r
e
identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Verdoolaege
M
akefile
.
am: add cdd94e-test to di
s
tributi
o
n
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoo
l
aege
omega
/
occ: optionally use parker fo
r
com
p
uting cardina
l
i
ty
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
norm
a
lization
.
c
:
skew
_
to_po
s
itive_orthant
:
pr
o
pe
r
ly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
omega/con
v
ert
.
cc: relation2Domain: only
coll
e
c
t set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
e
r
doolaeg
e
occ: add dum
p
for
dumpin
g
i
n
b
arvinok_enumer
a
te_e fo
r
mat
commit
|
commitdiff
|
tree
2008-04-03
Sven Verd
o
olae
g
e
barvi
n
ok_enumerate_e: optionally
u
se parker's method
commit
|
commitdiff
|
tree
2008-04-03
Sven Verd
o
olaeg
e
standar
d
_const
r
aints:
t
ake
c
on
s
trai
n
ts instead of polyhedro
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
Verdo
o
laege
nor
m
alization
.
c:
e
xtract st
a
ndard_con
s
traint
s
f
rom
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaege
parker/count_solutions
.
cc:
fix treatmen
t
of
e
xistenti
a
ll
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Ver
d
oolaege
compile p
a
rker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
Add
parker
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolae
g
e
eul
e
r
.
cc: evalue_derive
:
handle
c
o
nstant polynomial
s
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ver
d
oola
e
ge
add so
m
e test
s
e
ts from cases 2004
and cc 2005 papers
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
rename bar
v
i
n
ok_maximi
z
e
t
o
b
a
rvi
n
ok
_
b
ound
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
a
d
d
a
t
est f
o
r te
s
t
_bound
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
evalue_range_prop
a
gatio
n
:
re
m
ove redundant
p
o
lynomial
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
te
s
t_
b
ound: record nu
m
ber of polynom
i
als as "
s
iz
e
"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laeg
e
t
e
st_bo
u
nd: c
o
n
vert qua
s
ipo
l
ynomials to p
o
lynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoola
e
ge
tes
t
_bound: compare polynomial bound
a
lgorithms
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ve
r
do
o
l
a
ege
v
e
r
i
fy
.
c
: optimum: handle in
p
ut ev
a
luating
t
o neg
a
tive
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
ver
i
fy
.
c:
e
xtr
a
ct
evalue_op
t
imu
m
fro
m
m
a
x
i
miz
e
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoola
e
ge
ver
i
fy
.
c: extract
co
m
mon code for verifying
o
p
e
r
ation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
erdoolaege
eval
u
e
_
r
ange_propagation: add mono
t
o
n
i
c
ity test
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
barv
i
nok_ma
x
imize: optionally use (basic) range prop
a
gation
commit
|
commitdiff
|
tree
2008-03-31
S
v
en V
e
rdoolaege
Add
s
ome support
for de
a
lin
g
with evalu
e
s
that repr
e
s
e
nt
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
barvinok_enumer
a
te: support use of Euler-
M
aclauri
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
implemen
t
B
e
rnou
l
li_
s
um as conversi
o
n f
r
om unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
Bernoull
i
_sum
_
evalue:
e
x
p
loit intege
r
bounds to red
u
ce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
doolaege
keep tr
a
ck of n
u
mbe
r
of Bernoulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verdoolaege
be
r
noulli
.
c: protect share
d
evalu
e
f
r
om
m
odific
a
tions
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
test
B
ernoulli
s
ums bas
e
d ex
a
ct enumeration
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
barvin
o
k
_
count_wi
t
h_options: c
o
mp
u
te
(
e
xact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
ol
a
ege
Bernoulli_sum_eva
l
ue: op
t
i
onally handle fracti
o
na
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdoolaege
lattice_point
.
h:
e
xport
f
ractional_par
t
with C
li
n
k
age
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barv
i
n
ok
_
enumerate_
w
ith
_
op
t
ions
:
c
o
mpute (exact
)
B
e
rno
u
lli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum_ev
a
lue:
h
andle equalities
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Verdoolaege
Be
r
noulli_sum_eva
l
u
e
: cut off
s
ome redundant part
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
Bernoulli_sum_e
v
alue
:
m
a
ke
sure
n
o
emp
t
y partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
do
o
l
a
ege
Bernoulli_sum_evalue: remove redunda
n
t constraint
in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
oo
l
aege
b
erno
u
lli
.
c: minor refac
t
oring
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
er
d
oolaege
B
ernou
l
li_sum: hand
l
e context constraints
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
fo
r
_each_lower_upper
_
bound: add another cal
l
b
a
ck for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoo
l
aege
ver
i
f
y
.
c: adjust defa
u
lt
r
ange
to context if needed
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verd
o
olaege
euler
.
c
c
:
summate_
o
ve
r
_doma
i
n: only cons
i
der actu
a
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
param_util
.
c: expor
t
Par
a
m
_
Vertex_Set_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Param_P
o
lyhedron_Facet: pass facet defining constrain
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Ve
r
doolaege
ge
n
fu
n
.
cc:
p
a
rallel_polytopes: don
'
t
b
other handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_split_domains
_
i
n
to
_
orthants: don't reduce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_
r
ead: on
l
y
a
l
low
terms to
c
ross newlin
e
s inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_r
e
ad: on
l
y a
c
c
e
pt implicit multiplication on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_read:
accept constr
a
ints containing "'-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
evalue_bernste
i
n_
c
oefficients: en
s
ure result partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
r
d
oolaege
bern
s
t
e
i
n
:
piecewise_lst: corr
e
c
t
l
y p
r
i
nt
a
n
d eva
l
ua
t
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
re
m
o
v
e_
a
l
l
_equa
l
i
t
ies: keep removing
parameter equalities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ve
r
doola
e
ge
upd
a
te
polyl
i
b
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
doc:
c
on
s
istent
u
s
e
of Kevin's initials
commit
|
commitdiff
|
tree
2008-03-24
S
ven Verdo
o
l
a
e
g
e
doc: update no
w
published papers
commit
|
commitdiff
|
tree
2008-03-24
S
v
en
Verdoolae
g
e
for_each_lower_u
p
p
e
r_bound: allow ab
s
ence of
l
ower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdoolaeg
e
Rev
e
rt "eadd_
p
artitions
:
try to combine m
u
ltiple domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolae
g
e
eval
u
e
_
read_parti
t
i
o
n: put partitions b
a
c
k
in the sam
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Verdoolaege
evalue: reduce_evalue: a
d
d
n
ote on some missed oppo
r
tunitie
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
bernstei
n
.
cc: h
a
ndle input with uni
o
ns +
rela
t
ion viol
a
t
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
maxim
i
ze
.
cc
:
deal with unions in
input during ver
i
fication
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Verdoolaege
eval
u
e_substitute: properly handle rel
a
tions
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Verdoolae
g
e
e
v
alu
e
.
c:
cle
a
n up emul and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
e
rdoola
e
ge
e
value_
r
ea
d
: correc
t
ly read var
i
able names
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdo
o
l
aege
evalu
e
_rea
d
:
acc
e
pt top level "r
e
lat
i
on
"
commit
|
commitdiff
|
tree
2008-03-10
S
ven
Verdoo
l
ae
g
e
update polylib
commit
|
commitdiff
|
tree
2008-02-29
Sven Verdoolaege
e
v
alue_backs
u
bstitute:
a
dd requi
r
ed modul
o
c
o
n
s
traints
commit
|
commitdiff
|
tree
2008-02-26
Sv
e
n
V
erdoolaeg
e
evalue
.
c:
*
_
partit
i
ons: s
i
mplify con
s
traints
b
e
fore
.
.
.
commit
|
commitdiff
|
tree
next