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
lattice_point.h: make sure correct evalues are used
2008-04-24
Sven Verdoolaege
lat
t
ice_
p
oint
.
h: make s
u
re correct evalues are
u
sed
commit
|
commitdiff
|
tree
2008-04-24
Sven Ve
r
dool
a
ege
latt
i
ce_point
.
c
c
: a
d
d c
e
i
ling f
u
nction
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolae
g
e
util
.
c: i
n
ternal
i
ze u
g
ly bv_c
e
i
l
3
commit
|
commitdiff
|
tree
2008-04-17
Sven V
e
r
doolaege
la
t
tic
e
_point
.
cc: multi_monom/lattice_po
i
nts: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Verdoolaege
doc: clean up "exponent
i
a
l
s
u
bstitutio
n
" section
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdoolaege
te
s
t_bound
.
cc: a
v
oid loss of precision caused
b
y
con
v
e
r
sion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdool
a
ege
bar
v
inok
_
bound: optionally take max
i
m
al size of domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdoolaege
b
arvinok_bou
n
d: add --iterate
o
ption
s
for ev
a
lu
a
ting
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
ver
i
fy
.
c: export functio
n
s for settin
g
and clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
r
doolaege
verify
.
c:
ev
a
lue_optim
u
m: a
l
l
o
w
computation of
o
ptimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
doolaeg
e
bernstein
.
c
c
: evalue2
e
x: don'
t
assume all period
i
c
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdo
o
laege
bound
.
cc
:
fix cal
l
to eva
l
ue_conver
t
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Ver
d
oola
e
ge
e{
a
dd,mul}
_
per
i
o
d
i
c
s: plug mem
o
ry leaks
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdoolaege
eva
l
ue_bernstein_coefficien
t
s
:
handle problems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolae
g
e
upda
t
e polylib
commit
|
commitdiff
|
tree
2008-04-05
Sve
n
Verdoolaege
l
a
ttice_widt
h
.
c:
s
k
ip directions that
are identic
a
l
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
S
ven Ve
r
doolaege
Makefile
.
am: add cd
d
94e-t
e
st to distribution
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
omega/occ:
o
ptio
n
a
l
ly
u
se park
e
r for co
m
puting card
i
nality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
normalization
.
c: skew_to_p
o
sitive_
o
rthant: properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verdo
o
laege
om
e
g
a
/
convert
.
cc: rel
a
t
i
on2Domain:
o
nly
c
o
l
lect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
ven V
e
rd
o
olaege
o
c
c: add dump
f
or d
u
m
p
ing
in barvin
o
k_enumerate_e f
o
r
m
at
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
barvinok_enume
r
ate_e: optional
l
y
u
se parker's m
e
t
h
od
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
rdoola
e
ge
standa
r
d_con
s
tr
a
int
s
:
t
ake constraints in
s
tead of polyhedr
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
e
n
Verdoolaege
n
o
rmali
z
ation
.
c: extract
s
tandard_co
n
stra
i
nts from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Ver
d
oolaege
pa
r
ker/count_
s
olutions
.
cc: f
i
x tre
a
t
ment of
e
xistenti
a
ll
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
ven Verdoolaege
compile parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
Add parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
euler
.
cc: evalue_deriv
e
: handle cons
t
ant
p
olynomial
s
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdool
a
ege
add so
m
e t
e
st
s
ets from c
a
ses 2004 and cc 2005
p
aper
s
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Ver
d
oolaege
rena
m
e barvinok_maximize to b
a
rvi
n
ok_bou
n
d
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
add a test fo
r
test_b
o
und
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ve
r
doolaege
eva
l
ue
_
range_
p
ro
p
agation: remov
e
redundant
p
olynom
i
als
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
tes
t
_b
o
u
nd: record number
o
f poly
n
omials
as "size
"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
t
e
st_b
o
und: conver
t
quasi
p
olynomia
l
s to polynomial
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
t
e
s
t
_bound:
compare
polynomial bound a
l
g
orithms
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ver
d
oolae
g
e
verify
.
c
:
optimum: handle
inpu
t
eva
l
uating to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
rdoolaege
verify
.
c
: extract evalue_optimum from maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
veri
f
y
.
c: ex
t
ract
com
m
on
code
f
or
ve
r
ify
i
ng oper
a
t
ion
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
evalue_range_pro
p
agat
i
on: add monotonici
t
y test
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verd
o
o
l
aege
bar
v
in
o
k_maximize: op
t
ionally us
e
(basic) range propag
a
t
i
o
n
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaeg
e
Add
s
o
me support for deal
i
ng wi
t
h evalues that represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdoolaege
barvinok
_
enumerate:
s
u
p
p
o
rt use
o
f Euler-Mac
l
au
r
in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
e
ge
impleme
n
t
Bernoulli_sum as conversion fro
m
unwe
i
ghted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaeg
e
Bernoulli_sum_evalue: exploit intege
r
bo
u
nds to reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
keep track o
f
number of Berno
u
l
l
i sum
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
b
ernoulli
.
c: protect
s
hared e
v
alu
e
f
rom m
o
difications
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
t
e
st Bernoulli sums based ex
a
ct enumerat
i
on
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolae
g
e
barvino
k
_count_with_options: compute (exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ve
r
d
oola
e
ge
Bernoulli_sum_evalue: op
t
io
n
ally h
a
ndle fract
i
onal
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
la
t
tice_point
.
h: ex
p
ort fr
a
ctional_part
w
i
th C l
i
nkage
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
ola
e
ge
barvinok_enum
e
rate
_
with_option
s
: comp
u
te (exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
B
e
rnou
l
li_sum_e
v
alue: hand
l
e e
q
u
a
litie
s
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaeg
e
Bernoulli
_
s
u
m
_evalue: cut off
some r
e
d
undant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdoolaege
Bernou
l
li_sum_evalue: make sur
e
no emp
t
y p
a
rti
t
i
on
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ve
r
doo
l
aege
Be
r
nou
l
li_sum_evalue: remov
e
r
e
dun
d
ant constraint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
bern
o
u
l
li
.
c: minor refactorin
g
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
Bernoulli_sum: handle conte
x
t constr
a
i
n
ts
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Berno
u
lli_sum_
e
v
alue:
m
ak
e
sure
e
n
ough memory is
allocat
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verd
o
olaege
for
_
each_lower_upper_bound: add another
c
all
b
ack for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
verify
.
c:
adjust default range to context if needed
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
euler
.
cc: s
u
mmate_ov
e
r_d
o
ma
i
n: only
consider
actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
p
a
ram_
u
til
.
c
:
export Param_Vertex_Set_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verdoolaeg
e
Par
a
m_Poly
h
e
d
ron_
F
a
c
et: pass
f
acet defining
const
r
aint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaeg
e
genfun
.
cc: parall
e
l_polyto
p
es: don't bother
handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoo
l
aege
eval
u
e_split_domains
_
in
t
o_orth
a
nts:
don't reduce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoo
l
aege
evalue_rea
d
: only allow ter
m
s to cross newl
i
ne
s
ins
i
de
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
e
v
alue_read
:
only accept impl
i
c
i
t multip
l
ication on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ver
d
oolaege
evalue_re
a
d: a
c
cept
constra
i
nts
c
ontaining "'
-
'
s
p
a
ce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoo
l
aege
ev
a
lue_bernstein_
c
oefficients: ensure result part
i
tions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdool
a
ege
bernstein: piecewise_lst: correc
t
ly print and
evalu
a
te
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdool
a
ege
re
m
o
v
e
_all
_
equalitie
s
:
k
e
e
p r
e
moving param
e
te
r
eq
u
a
lities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
upd
a
te po
l
ylib
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Ve
r
doolaege
d
o
c: consistent use of Kevin's initials
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolae
g
e
doc: update now published papers
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
V
erdoolaege
f
o
r_each_l
o
wer_upper_bou
n
d: al
l
ow abs
e
nce of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
e
n
Verdoo
l
a
e
ge
Reve
r
t "eadd_parti
t
ions:
try to combine multiple domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
V
e
rd
o
olae
g
e
evalue_r
e
ad_part
i
tion: put partiti
o
n
s b
a
ck in the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
e
r
d
oolaege
eval
u
e: reduce_eval
u
e: a
d
d not
e
on s
o
me mi
s
se
d
op
p
ortunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Verdool
a
ege
bernstein
.
cc:
h
andle input
w
ith unions + relati
o
n violat
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n
Verd
o
ol
a
eg
e
maximize
.
cc: deal with u
n
ions in input during ve
r
ificat
i
on
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
erdoolaege
evalu
e
_substitute: prop
e
rl
y
handle relations
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Verdoolae
g
e
e
v
a
l
u
e
.
c
: clean u
p
emul and
eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
ev
a
lue_r
e
ad: correctl
y
read variable names
commit
|
commitdiff
|
tree
2008-03-10
Sven
Verdoolaege
evalue_rea
d
: a
c
c
ept top level "relat
i
o
n
"
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n
Verdoo
l
aege
update po
l
ylib
commit
|
commitdiff
|
tree
2008-02-29
Sven Verdoolaege
eval
u
e_bac
k
substitute: add required modulo c
o
nstraints
commit
|
commitdiff
|
tree
2008-02-26
Sven Ve
r
d
o
o
laege
e
v
alue
.
c: *_partitions: simp
l
ify constraints before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven V
e
rdoolae
g
e
doc: mo
r
e sp
e
cific informat
i
on on buggy cddlib versi
o
ns
commit
|
commitdiff
|
tree
2008-01-28
Sven Verdoolaege
con
f
ig
u
re
.
in:
r
e
qui
r
e cddl
i
b
0
.
9
4
e
by t
e
sti
n
g fo
r
bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
S
ven Ver
d
oolaege
confi
g
ure
.
in: only
c
ompil
e
occ if code_g
e
n library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaege
ba
r
v
i
nok 0
.
2
6
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n
Verdool
a
ege
add so
m
e tes
t
s for
i
m
p
le
m
entation of
projection theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoolaege
doc: document new
options and new applicat
i
ons
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oo
l
aege
AUTHORS:
upd
a
te support infor
m
ation
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doolaege
genfun
.
cc
:
short_rat::print: corr
e
ctl
y
p
r
int polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Ve
r
doola
e
ge
Exp
o
rt series as barvinok_enumerate_series
an
d
u
s
e
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
e
rdoolaege
rem
o
ve_
p
arameter_equalities
:
stop "r
e
movin
g
"
eq
u
alities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
e
ge
se
r
i
es: le
a
v
e freeing of P argume
n
t
t
o
c
alling function
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoolaege
doc: document implementa
t
ion of the projection theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
add barvinok_enumerat
e
_
e
_series implementing the projec
t
ion
.
.
.
commit
|
commitdiff
|
tree
next