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: extend eequal to handle domains and NaNs
2008-04-25
S
v
en Verdoo
l
aege
e
v
a
lue
.
c
: ext
e
n
d eequal to handle domains and NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sve
n
Verdoolaege
binomial
.
c: extract binomi
a
l and fac
t
orial from eu
l
er
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven
V
erdoolaege
power
.
h
:
ext
r
act from e
u
ler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven V
e
r
doolaege
intro
d
uc
e
evalue_shift_va
r
i
a
bles
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
lattic
e
_point
.
cc: export relative_co
o
rdinat
e
s
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdo
o
laege
lattice
_
point
.
h: make sure correct evalues
a
re used
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
latt
i
ce_point
.
c
c
:
add
ceili
n
g functi
o
n
commit
|
commitdiff
|
tree
2008-04-24
Sv
e
n
V
erd
o
olaege
u
til
.
c: interna
l
ize ugly bv_ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sven
Verdoolaege
lattice_point
.
cc: multi_mono
m
/la
t
tice
_
points: retu
r
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven V
e
rdoolaege
doc: clea
n
up
"
exponential subst
i
tution"
section
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdool
a
ege
test_bound
.
cc: avoid loss of precision caused by conversio
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
barvinok_bound: optio
n
all
y
t
a
ke maximal size of dom
a
i
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoolaege
b
a
rvinok_bound: add --iterate
o
ptions for evalua
t
in
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rdool
a
ege
verif
y
.
c
:
e
xp
o
rt fu
n
ctions for
set
t
i
ng and clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaeg
e
verify
.
c
:
evalue_
o
ptimum:
allow computation of op
t
imum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
bernste
i
n
.
c
c
:
e
val
u
e2ex:
don't assume all
periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoolaege
bound
.
cc: f
i
x call
t
o evalue
_
convert
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdo
o
laege
e{add
,
mul}_periodics: plug memor
y
leak
s
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erd
o
ola
e
ge
e
v
alue_bernstein_coe
f
fi
c
ients:
ha
n
dle problems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
r
do
o
laege
u
p
date polylib
commit
|
commitdiff
|
tree
2008-04-05
Sven
Verdool
a
ege
la
t
tice_width
.
c: skip dire
c
t
i
ons that ar
e
id
e
ntical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
S
ven
V
erdo
o
laege
M
akefile
.
am:
a
dd cd
d
94e-test to distribution
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
Verdoolaege
omega/occ: optionally use parker fo
r
computing cardi
n
a
lity
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n V
e
rdoolae
g
e
normalization
.
c: s
k
ew_to_positive_orthant: properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoo
l
aege
omega/con
v
ert
.
cc: rel
a
t
i
on2Doma
i
n:
o
nl
y
collect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
e
rdoo
l
aege
occ: add dump for dumping in barvinok_enumera
t
e_e format
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdool
a
ege
bar
v
inok_enumera
t
e_e: optionally use
p
arke
r
'
s meth
o
d
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
V
e
rdoolaege
standar
d
_constra
i
n
t
s
:
take cons
t
r
a
ints
i
nstead
of polyh
e
dron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n Ve
r
doolaege
norma
l
i
zation
.
c
:
ex
t
rac
t
s
tandard_
c
onstraints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdool
a
eg
e
parker/count_solutions
.
cc: fix trea
t
m
e
nt of existentially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verd
o
olaege
co
m
pile parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
e
ge
Ad
d
parker
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
eul
e
r
.
cc: evalue
_
derive: handle
constant polynomials
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
add some
test sets fr
o
m
cases 2004
a
nd cc 2005 p
a
pers
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
ren
a
me barvinok_
m
axi
m
i
z
e to ba
r
vin
o
k
_
bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
add a te
s
t
for test_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdo
o
laege
eval
u
e
_
range
_
pr
o
pagation: rem
o
ve
r
ed
u
ndant polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
ol
a
ege
test_bound: record number of
p
olynomials as "siz
e
"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
tes
t
_
b
ound: convert quasipolynom
i
als to polyn
o
m
ials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
test_bound: co
m
pare polynomial
b
ound
algor
i
thms
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdool
a
ege
v
erify
.
c
: optimum
:
handle input
evaluating to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdo
o
laege
verify
.
c: extract evalue
_
opti
m
u
m
f
rom ma
x
i
mize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
verif
y
.
c: extract commo
n
c
o
d
e
for veri
f
y
i
ng operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
evalue_
r
ange_propagation: add mo
n
otonicit
y
test
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
barvinok_maximize: optionally use
(b
a
sic)
range
propa
g
atio
n
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
d
oolaege
Add some support
for deali
n
g
with
e
val
u
es that re
p
resent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvinok_enumer
a
te: support u
s
e of Euler-Ma
c
laurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
implement Bernoul
l
i_sum a
s
conversion f
r
om unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
B
ernoulli
_
sum
_
evalue: exploit
integ
e
r bounds to reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaeg
e
ke
e
p track
of
numbe
r
of Berno
u
l
l
i sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaeg
e
bernoull
i
.
c: prot
e
c
t
shared evalue from modifi
c
ation
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
o
olaege
test Bernoulli sum
s
b
a
sed exact enumer
a
ti
o
n
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
er
d
oo
l
ae
g
e
ba
r
vinok_count_with_options: compute (
e
xact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
B
e
rno
u
lli_sum_ev
a
lue: optio
n
ally handle fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolae
g
e
lattice_point
.
h: export fr
a
ctional_part with C l
i
nkag
e
commit
|
commitdiff
|
tree
2008-03-31
S
v
en V
e
rdoolaege
b
arvinok_
e
numerate_with_
o
ptions: c
o
mpute
(exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum_evalue: handl
e
equali
t
ies
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
Bernoull
i
_su
m
_evalue:
c
u
t
off so
m
e
r
edundant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
Ber
n
o
u
l
l
i_sum_ev
a
lue
:
ma
k
e sur
e
n
o
empty par
t
itions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoo
l
aege
Ber
n
oulli_sum_evalue: remove
r
e
dundant c
o
nst
r
aint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
bernoulli
.
c: minor refactoring
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
Bernoulli_sum
:
handle
c
on
t
ext
con
s
traints
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
for_ea
c
h_lowe
r
_upper_bound:
a
d
d
an
o
ther c
a
llb
a
ck f
o
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoola
e
ge
ve
r
ify
.
c: adjust
default r
a
ng
e
t
o
context if needed
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
euler
.
cc: sum
m
ate_over_d
o
main: on
l
y c
o
nsider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
param_util
.
c
:
exp
o
rt Param_Ve
r
te
x
_
S
et_Fac
e
ts
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
Par
a
m_P
o
l
yhedron_F
a
cet: pass facet defining constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
g
e
nfun
.
cc: parallel_pol
y
topes:
d
o
n
't bother handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdo
o
laege
evalue_
s
plit_
d
omains_into_ortha
n
ts:
d
o
n't reduce eval
u
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
evalue_read: only all
o
w t
e
rms t
o
cross n
e
wlines insi
d
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
la
e
ge
evalue_re
a
d:
o
nly accept implicit multipli
c
a
t
i
on on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
dool
a
eg
e
evalue_read: accept constraints cont
a
ining "'-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ev
a
lue
_
bernstein_coefficients: ensure result p
a
rtitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
bernstein: pi
e
cew
i
se_l
s
t:
correctly print
and ev
a
lua
t
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven V
e
rdoolaege
re
m
ove_al
l
_equalities:
keep
r
emoving parame
t
er equalities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n V
e
rdoolaege
update
p
o
l
ylib
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdoolaeg
e
d
o
c: consistent
use of Kevin's init
i
a
l
s
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
do
c
:
update n
o
w pub
l
i
s
hed papers
commit
|
commitdiff
|
tree
2008-03-24
S
ven V
e
r
d
oolaege
for_
e
ach_l
o
wer_upper_bound: allo
w
a
b
sence of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ve
r
d
o
olaege
R
eve
r
t "eadd_partiti
o
ns: try to c
o
mbine multiple dom
a
ins
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
rdoolaege
evalue_read_
p
a
r
tition: put partitions b
a
ck in the
s
ame
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoola
e
ge
eval
u
e
:
reduce_eva
l
ue: add note on so
m
e mis
s
e
d opportuni
t
i
es
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Ver
d
oo
l
aege
bernstein
.
cc: handle
i
nput with unions +
re
l
ation v
i
ol
a
ted
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoola
e
ge
maxim
i
ze
.
cc: deal with unions in input during
v
erificati
o
n
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolae
g
e
evalu
e
_substitute: pr
o
pe
r
ly handle rel
a
tio
n
s
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
e
rd
o
olaege
ev
a
l
u
e
.
c: clean
up emul and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
doolaege
evalue_read:
correctly rea
d
variabl
e
n
a
m
es
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
rdoolaege
evalue_read:
a
ccept top level "relation"
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Verd
o
olaege
update polylib
commit
|
commitdiff
|
tree
2008-02-29
Sv
e
n Verd
o
o
l
a
e
ge
evalue_back
s
ubstitute: add r
e
quired modulo
c
onstraints
commit
|
commitdiff
|
tree
2008-02-26
Sven Verdoolaege
eva
l
ue
.
c: *_part
i
tions: simpli
f
y
c
onstraints before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven
Verdoolaege
doc: more
spec
i
fic
i
nformation on bug
g
y
c
d
dlib versions
commit
|
commitdiff
|
tree
2008-01-28
Sven Verdoolaege
conf
i
g
u
re
.
in
:
require cddlib 0
.
94e by tes
t
ing for
b
ug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Verdoolaege
c
o
n
fig
u
re
.
in: only
compi
l
e
occ if code_
g
en library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoola
e
g
e
barvinok
0
.
2
6
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
aege
ad
d
s
ome tests for
i
mplementation of pr
o
jec
t
ion th
e
o
r
em
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oolaege
doc: document new options and new applications
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
AU
T
H
ORS: update
s
u
p
p
ort information
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Ve
r
doolaege
g
enfun
.
cc: short_rat
:
:pri
n
t
:
correctly p
r
int polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoolaege
Ex
p
ort se
r
ies as barvinok_
e
n
u
merate_series and use
.
.
.
commit
|
commitdiff
|
tree
next