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
Sven Verdoolaege
eval
u
e
.
c: extend eequal to handle domains and Na
N
s
commit
|
commitdiff
|
tree
2008-04-25
S
ven Verdoola
e
g
e
binomial
.
c: extra
c
t binomial
a
nd facto
r
ial from e
u
l
er
.
cc
commit
|
commitdiff
|
tree
2008-04-25
S
v
en Verdoolaege
power
.
h: extract from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven V
e
rdoolaeg
e
introduce
e
v
a
l
ue_shift_variab
l
es
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
lattice_p
o
int
.
cc: export relative_
c
oordina
t
es
commit
|
commitdiff
|
tree
2008-04-24
Sve
n
Verdo
o
laege
lattice_po
i
nt
.
h: make s
u
re
c
orrect evalues are used
commit
|
commitdiff
|
tree
2008-04-24
Sve
n
Verdoolaege
lattice_p
o
i
n
t
.
c
c
: add ceiling function
commit
|
commitdiff
|
tree
2008-04-24
Sv
e
n Verdoolaege
ut
i
l
.
c
: interna
l
i
z
e
u
gl
y
bv_ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verdoolaege
lat
t
ice_
p
o
int
.
cc
:
mu
l
t
i
_monom/lattic
e
_points: retu
r
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven V
e
rdoolaege
doc: clean up "expo
n
ential s
u
bsti
t
u
t
i
o
n" section
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdoolae
g
e
t
e
st_bound
.
cc:
avoid
loss of precision cau
s
ed
b
y conversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
doolaege
barvinok_
b
ound: optionally take maximal size of
domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoolaeg
e
barvin
o
k_
b
o
un
d
: add --i
t
e
rate options
for evaluating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
dool
a
ege
ver
i
f
y
.
c: expo
r
t funct
i
on
s
for setti
n
g an
d
c
l
ear
i
ng
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Ver
d
o
olaege
v
er
i
f
y
.
c: e
v
alue_o
p
t
i
mum:
allo
w
computation of opti
m
u
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoola
e
ge
b
ernstein
.
cc: evalue2ex: don't assume all perio
d
ic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
Ver
d
oolaege
bound
.
cc: fix call to evalue
_
c
onvert
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdool
a
eg
e
e{add,mul}_periodics: plug memory leak
s
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Ve
r
d
o
olaeg
e
evalue_ber
n
stein_co
e
f
ficients: handle problems wit
h
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Ver
d
oola
e
ge
up
d
ate
p
olylib
commit
|
commitdiff
|
tree
2008-04-05
S
v
en Verdool
a
e
ge
lattice_width
.
c: skip
directions that ar
e
identica
l
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sve
n
Verdoolaeg
e
Makefile
.
am:
a
d
d cdd94
e
-
t
est to
d
i
s
tribution
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
omega/occ: opt
i
o
n
al
l
y use parker f
o
r
c
o
mputing ca
r
d
in
a
l
ity
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verdoolaege
normalization
.
c:
skew_to_po
s
itive_orthan
t
: properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoola
e
ge
o
m
ega/conver
t
.
cc: relation2Domain: only collec
t
set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Ve
r
doolae
g
e
occ:
a
d
d
dump for dump
i
ng in barvinok_enume
r
ate_e format
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verdoolaege
ba
r
v
i
nok_enumerate_e: optio
n
al
l
y use parker's method
commit
|
commitdiff
|
tree
2008-04-03
S
ven Ver
d
oolaege
standa
r
d_constraints: ta
k
e con
s
traints in
s
tea
d
of polyhe
d
ron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
ven
V
e
rdoolae
g
e
normalization
.
c: extra
c
t
standard_constrain
t
s from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven
V
erdoo
l
aege
parker/count_solutions
.
cc: f
i
x tr
e
atment of existentially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoola
e
g
e
compil
e
parke
r
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
Add parker
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
er
d
o
o
l
a
ege
euler
.
c
c
:
evalue
_
derive: hand
l
e
constant polynomials
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
a
dd
some t
e
st
se
t
s from cases 2004 and cc 2005 p
a
per
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doola
e
ge
r
ename barvinok_maxi
m
iz
e
to barvinok
_
bound
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
add
a
test for test_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
o
olaege
e
v
alue_range
_
propa
g
ation: r
e
m
o
ve r
e
dundant
p
o
l
ynomial
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
test_bound:
r
ecord number of po
l
yn
o
m
i
a
ls as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test_bound: conv
e
r
t
quasip
o
lynomials
t
o p
o
l
y
nomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
do
o
laege
te
s
t_bo
u
nd: c
o
mpare polynomial b
o
und algorithms
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdo
o
lae
g
e
verify
.
c:
o
pti
m
u
m: handle i
n
put eval
u
a
t
ing
to ne
g
ative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaeg
e
verify
.
c: extra
c
t evalue
_
optimum from maximi
z
e
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
verify
.
c:
extract c
o
mmon c
o
de
f
or verifying
o
p
erati
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
ae
g
e
evalu
e
_range_pro
p
ag
a
tion: add monotonicity te
s
t
commit
|
commitdiff
|
tree
2008-03-31
S
ven
V
erd
o
olaege
barvino
k
_maximi
z
e
:
optionally use (basic)
r
an
g
e propagation
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
Add so
m
e s
u
pp
o
rt for dealing with evalues that r
e
pres
e
nt
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdo
o
l
a
ege
ba
r
vinok
_
enumerate: su
p
p
ort use of Euler-
M
a
c
l
a
u
r
i
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
implement Bernoulli
_
sum as conver
s
ion f
r
om unwe
i
g
h
ted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
Bernoulli_sum_eva
l
ue: exploit int
e
ger bounds to
reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
k
eep track of
n
umber of B
e
rnou
l
li su
m
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ber
n
o
ull
i
.
c:
p
rotect shar
e
d
e
value from modif
i
cati
o
ns
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
t
est Bernoull
i
sum
s
ba
s
ed e
x
act
enumeration
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ver
d
oolaege
b
arv
i
nok_
c
ount_with_opt
i
ons: compute (e
x
act) B
e
rn
o
ulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
B
e
rnoulli_sum_evalue: optiona
l
l
y
h
an
d
le fract
i
onal
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
l
a
ege
lattice_poin
t
.
h: export fractio
n
al_part with C
l
inkage
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
oolaege
b
arvinok_enumerate_
w
ith_options: compute (exact) Bernoull
i
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ve
r
d
o
olaege
B
ernoulli_sum_evalue: handle equa
l
ities
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoo
l
aege
Bernoulli
_
sum_evalue
:
cut o
f
f some redundant part
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
B
e
rno
u
lli_s
u
m_evalue: make sure no empty par
t
itions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
e
g
e
Bern
o
ulli_s
u
m_evalue:
r
e
m
ove r
e
dundant cons
t
raint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
V
erdoolaege
bernoulli
.
c
:
m
i
nor refactoring
commit
|
commitdiff
|
tree
2008-03-31
S
ve
n
Ve
r
doolae
g
e
Bernoul
l
i_
s
u
m
: handle
c
o
n
text constr
a
i
n
ts
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rd
o
olaege
Bernoull
i
_su
m
_
e
value
:
m
ake sure en
o
ugh m
e
mo
r
y is a
l
l
o
cated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
for_eac
h
_low
e
r_upper_bound: add another callback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
ver
i
fy
.
c
: adjust
default r
a
nge to contex
t
i
f needed
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdool
a
ege
euler
.
cc: summa
t
e_over_domain: only consider ac
t
ual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
para
m
_util
.
c: export Pa
r
am
_
Ve
r
t
ex_
S
et_
F
a
cets
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaeg
e
P
a
ram_Polyhedron_Facet: pass fac
e
t defining constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
genfun
.
c
c: paralle
l
_polytopes: don't bother handli
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doo
l
aege
e
value_split_domains_into_orthants:
d
o
n
'
t redu
c
e eval
u
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_r
e
ad: only all
o
w te
r
ms to cross newlines inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_r
e
a
d
: only ac
c
e
pt
implicit multiplic
a
tion on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdo
o
l
a
e
g
e
eval
u
e
_
read: a
c
c
e
pt constr
a
ints contain
i
ng "
'
-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doola
e
ge
e
value_bernst
e
in
_
coefficients: ensure result partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verd
o
olaege
b
e
rnstei
n
: piecewis
e
_lst: correctl
y
pri
n
t and ev
a
lu
a
te
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Ver
d
oo
l
aege
rem
o
ve
_
all_equaliti
e
s
: keep removing
parameter equalities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ve
r
d
oo
l
a
e
ge
update polylib
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoola
e
ge
doc:
c
onsistent use
o
f Kevin'
s
i
n
itials
commit
|
commitdiff
|
tree
2008-03-24
Sven Ve
r
d
o
ola
e
ge
doc: update now published pa
p
e
rs
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdoolaeg
e
f
o
r_each_lower_upper_bound: all
o
w absence of lowe
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdo
o
laege
Revert "eadd_partitions: try to combine multiple domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verd
o
olaege
evalue
_
read_part
i
tion:
put pa
r
titions
b
ack in
the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue: reduce_evalue: add n
o
te
on some
mis
s
e
d opport
u
ni
t
ies
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdoolaege
bernstein
.
c
c: handle i
n
put
with uni
o
n
s
+
r
elation
viola
t
ed
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Verdoolaege
maxi
m
iz
e
.
cc: deal with uni
o
ns in input during
verification
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
e
rdool
a
ege
evalue_subs
t
i
tute: pro
p
erly handle
r
elatio
n
s
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
e
value
.
c: cl
e
an up
e
mul and
e
add
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n
Verdool
a
e
g
e
e
v
alue_read: correctly read variable
n
a
me
s
commit
|
commitdiff
|
tree
2008-03-10
Sven
Ver
d
oolaege
e
value_read: accept top level "relation
"
commit
|
commitdiff
|
tree
2008-03-10
S
v
e
n
Verdoolaege
update
p
olylib
commit
|
commitdiff
|
tree
2008-02-29
S
v
e
n
Verdoolaege
e
v
a
lu
e
_
backsubstit
u
te: add required modulo
constraints
commit
|
commitdiff
|
tree
2008-02-26
Sven Verd
o
olaege
evalue
.
c: *_partiti
o
n
s
:
simplify
c
on
s
traints
b
efore
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven
V
erd
o
olaege
doc: more
specific information on bug
g
y cdd
l
ib
ve
r
sions
commit
|
commitdiff
|
tree
2008-01-28
Sve
n
Verdoolaege
con
f
i
g
ure
.
in
:
requi
r
e cdd
l
ib 0
.
94
e
b
y
te
s
ting for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sve
n
Verdoo
l
a
e
ge
con
f
igure
.
in: only comp
i
le oc
c
if
c
ode_ge
n
lib
r
ary
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoolaege
barvinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoolaege
add
s
ome tests
f
or
i
mplementat
i
on of projection th
e
orem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
doc: do
c
ument new
o
p
t
ions and new applications
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verd
o
o
l
a
e
ge
AUTH
O
R
S
:
update
sup
p
o
r
t information
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doolaege
genf
u
n
.
c
c: s
h
ort_rat::
p
rint: co
r
rectly
print
pol
y
n
o
mi
a
l
s
.
.
.
commit
|
commitdiff
|
tree
next