repo.or.cz
/
barvinok
/
uuh.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
power.h: extract from euler.cc
2008-04-25
Sven Verdoolaege
power
.
h
:
ext
r
a
c
t from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven
Verdoolaege
i
n
troduce evalue_shift_variables
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
lattice_
p
oint
.
cc: export
rel
a
tive_coordinat
e
s
commit
|
commitdiff
|
tree
2008-04-24
Sven
Verdoolaege
lattice_point
.
h: make
su
r
e
c
orrect evalue
s
are used
commit
|
commitdiff
|
tree
2008-04-24
Sven V
e
rd
o
olaege
lattice_p
o
int
.
cc
:
add ceiling functi
o
n
commit
|
commitdiff
|
tree
2008-04-24
Sven
Verdoolae
g
e
util
.
c: internalize ugly bv_ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verdoolaege
lattice_point
.
cc: multi_monom/l
a
t
t
ice_p
o
i
nt
s
:
r
eturn
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Verdool
a
ege
doc
:
c
lean up "exponentia
l
substitution
"
se
c
t
i
on
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdoolaege
t
est_bound
.
cc:
a
v
o
id
l
oss of p
r
ecision ca
u
sed by
conversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven Ver
d
oolaege
barvinok_bound: optionally take max
i
mal size of dom
a
ins
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rdool
a
ege
barvinok_
b
o
u
nd: ad
d
-
-iterate op
t
ions for e
v
aluating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdoolaege
verify
.
c: exp
o
rt functions for setting and
clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoo
l
aege
verify
.
c: ev
a
lue
_
opt
i
m
u
m: allow computat
i
on
of optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
doolae
g
e
bernstein
.
cc:
e
va
l
u
e
2ex:
d
on't assume
a
ll periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdo
o
laeg
e
bound
.
c
c: fix call to e
v
alu
e
_convert
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdool
a
ege
e{add,mul}
_
p
e
riodics: plug memor
y
leaks
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verd
o
olaege
evalue_ber
n
stei
n
_
co
e
f
fi
c
ients:
handle problem
s
with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
e
rdoolaege
u
pdat
e
p
o
lylib
commit
|
commitdiff
|
tree
2008-04-05
Sven Ve
r
doola
e
g
e
l
a
ttice_width
.
c: skip directions that are identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven
V
e
r
doolaege
Makefile
.
am
:
add c
d
d94e-test to dis
t
ribut
i
on
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
rdoolaege
omega/occ: o
p
ti
o
nall
y
use parker
f
o
r
computing cardina
l
ity
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
Ve
r
doolaege
normaliz
a
t
ion
.
c: sk
e
w_to_positive_o
r
than
t
: properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdoolaege
omega/
c
onvert
.
cc:
relatio
n
2Domain: on
l
y collect s
e
t
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verdoolaege
occ:
add d
u
mp for dumping i
n
barvino
k
_e
n
ume
r
ate_e format
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
e
r
doolaege
barvino
k
_
enumer
a
te_e
:
optionally
u
s
e park
e
r
's method
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdo
o
laege
s
ta
n
d
a
rd_constr
a
ints: take con
s
trai
n
ts
i
n
s
te
a
d
of polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
e
r
d
o
ol
a
ege
normal
i
zation
.
c: extract standard
_
constraints
f
rom
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaege
park
e
r/count_solutions
.
cc
:
fix treatmen
t
of existe
n
tially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
ven Ver
d
ool
a
eg
e
compile parker
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolae
g
e
Add park
e
r
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n V
e
rdo
o
laege
euler
.
cc: evalue_de
r
ive: ha
n
dle constant polynomials
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdool
a
e
ge
a
dd some test se
t
s from cases 2004 and
cc 20
0
5 papers
commit
|
commitdiff
|
tree
2008-03-31
S
ven
Verd
o
olaege
ren
a
me bar
v
inok_maximize t
o
barv
i
no
k
_bo
u
nd
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
a
d
d
a test for test_
b
ou
n
d
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_range_p
r
opagati
o
n
: remove
redundant polyn
o
mials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n V
e
rdoolaege
test_bo
u
nd: reco
r
d number of
polynomials as
"size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
t
e
st
_
bou
n
d
:
c
onvert
q
uasipolynomials t
o
polynomi
a
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
erdoolaege
test_bound
:
c
omp
a
r
e
polynomia
l
bound alg
o
rithm
s
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verd
o
ol
a
ege
verify
.
c:
opt
i
mu
m
: handle input evaluati
n
g to ne
g
ative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
verify
.
c
: extract ev
a
lue_optimum from maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
verify
.
c: extract
common cod
e
for
verifyin
g
op
e
ra
t
io
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdo
o
laege
eval
u
e_ran
g
e
_pr
o
pagation: add monotonicity test
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdool
a
ege
ba
r
vinok_maximize: optionally use
(basic) range
p
ropagation
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Add som
e
s
upport for deali
n
g with e
v
alues that re
p
r
e
sent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdool
a
ege
barvino
k
_enume
r
a
te
:
su
p
po
r
t use of Euler-Ma
c
la
u
rin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
dool
a
ege
implement Bernoulli_sum as
conversion from
u
nwei
g
hted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ver
d
oolaege
Bernoulli
_
sum_evalue
:
exploit in
t
eger bo
u
nds to
reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
keep track of num
b
er of
B
erno
u
l
li s
u
ms
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
bernoulli
.
c: pr
o
tect share
d
evalue from
m
od
i
fications
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
er
d
oola
e
g
e
t
e
st
B
ernoulli sums b
a
se
d
exact
e
n
um
e
ration
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolae
g
e
barvino
k
_count_
w
ith_
o
ptions: compute (exact) Be
r
noull
i
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
Bernoulli_sum_evalu
e
: o
p
tio
n
ally handle fract
i
onal
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ve
n
Verdoo
l
a
ege
latt
i
ce
_
point
.
h: ex
p
ort fractional_part wi
t
h C
l
inkage
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvinok_enumerate_
w
ith_options:
compute
(exact) Bern
o
ulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoull
i
_sum_eval
u
e
:
handle equalities
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
d
o
o
laeg
e
Bernoulli_sum_evalue: cut off som
e
redunda
n
t par
t
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ve
r
doolaege
B
e
rnou
l
l
i
_sum_evalue: make sure n
o
e
mpty par
t
itions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_s
u
m_evalue: rem
o
ve
r
edund
a
nt constraint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdool
a
e
ge
bernoulli
.
c: min
o
r refactorin
g
commit
|
commitdiff
|
tree
2008-03-31
S
v
en V
e
rdoolaege
Bernoulli_sum:
h
andle co
n
text
con
s
traints
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolae
g
e
for_each_lower
_
u
pp
e
r_b
o
und:
a
dd another callback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
v
eri
f
y
.
c: ad
j
ust default ra
n
ge to context i
f
needed
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
euler
.
c
c
: s
u
mmat
e
_
o
ver_
d
o
m
ain:
o
nly consider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdo
o
laege
param_util
.
c: export
P
aram_Vert
e
x_
S
e
t
_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdo
o
laege
P
a
r
a
m_Poly
h
edron_Facet: p
a
ss fa
c
e
t
d
e
fining constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
genfun
.
c
c: parallel_
p
olytop
e
s: don't bother handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n V
e
rdoolaeg
e
eval
u
e_split_domains_into_orthant
s
: don't reduce eval
u
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
evalue_r
e
ad: on
l
y allow
terms
to c
r
o
ss newlines insi
d
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
evalue_read:
only acce
p
t
impl
i
cit multipli
c
a
tion
on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoola
e
g
e
evalue_r
e
ad: accept constraints c
o
nta
i
ning "'-'
s
pace
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
e
v
a
lue_bernstein_coefficien
t
s: e
n
su
r
e r
e
sult partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdo
o
laege
bernstein: piecewise_lst: corre
c
tly
print
a
nd evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ver
d
oolaege
rem
o
ve_all_e
q
u
a
l
ities
:
k
eep r
e
movi
n
g p
a
rameter equalit
i
es
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaeg
e
upd
a
te pol
y
lib
commit
|
commitdiff
|
tree
2008-03-24
S
v
e
n
Verdoolaege
d
o
c: consist
e
nt
u
se
of Kevin's in
i
tials
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
rdoola
e
ge
doc: update now p
u
b
lished
papers
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
f
o
r_each_lower_upp
e
r_bou
n
d: allo
w
absence of lo
w
er
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
Revert "eadd_
p
artitions: try to comb
i
n
e
m
ulti
p
le d
o
m
a
ins
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
evalue_read_pa
r
titi
o
n: put part
i
t
i
o
n
s back in the
s
ame
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
v
e
n
Verdoolaege
eva
l
u
e:
r
educe_eva
l
ue: a
d
d no
t
e on
some
mi
s
s
e
d oppo
r
tunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
bern
s
t
ein
.
cc: handle in
p
ut with un
i
ons + relation
violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
doolaege
maximize
.
cc
:
deal with
unio
n
s
in in
p
ut duri
n
g
verific
a
tion
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
doolaege
e
value
_
subst
i
tute: prop
e
r
l
y
handl
e
relations
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoola
e
ge
evalue
.
c: clean up emul and ea
d
d
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n
V
erdoolaege
evalue_read
:
correct
l
y
rea
d
variable
n
ames
commit
|
commitdiff
|
tree
2008-03-10
S
v
e
n
V
erdoolaeg
e
evalue_
r
ead:
a
ccep
t
top leve
l
"relation"
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdoo
l
aege
up
d
ate polylib
commit
|
commitdiff
|
tree
2008-02-29
Sve
n
Verdoola
e
g
e
eval
u
e_backsubstitut
e
:
a
dd req
u
ire
d
modulo
cons
t
raint
s
commit
|
commitdiff
|
tree
2008-02-26
Sven Ve
r
d
oolaeg
e
e
v
alue
.
c
: *_partitions: simplify constraints
before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Verdoolaege
doc: more speci
f
ic
inf
o
rma
t
ion on buggy
c
d
d
l
ib versions
commit
|
commitdiff
|
tree
2008-01-28
Sven Verdoolaege
c
o
nfigure
.
in:
r
equire
c
d
dlib 0
.
94e by testing
f
or bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sve
n
Verdoolaege
co
n
figure
.
in: only comp
i
le
o
c
c
i
f code_
g
en librar
y
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en V
e
rdoolaeg
e
b
a
rvinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolaege
a
d
d so
m
e t
e
sts for impleme
n
tati
o
n of pr
o
j
e
ctio
n
theorem
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoolaege
doc: d
o
cument n
e
w
o
p
t
ions and new a
p
plicati
o
ns
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoolaege
AUTHORS
:
u
p
date s
u
pp
o
r
t informat
i
on
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
genfun
.
cc: sho
r
t_rat::prin
t
: co
r
rec
t
ly
p
r
i
nt pol
y
nomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Expo
r
t
serie
s
a
s barv
i
n
ok_enumerate_series and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doolaege
remove_parameter_equalities: st
o
p "remo
v
ing"
equalities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoolaege
serie
s
:
l
e
av
e
fr
e
ein
g
of P argumen
t
to calling fu
n
ction
commit
|
commitdiff
|
tree
next