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 V
e
rdoolaege
eval
u
e
.
c:
extend eequal to
h
and
l
e d
o
mains
a
n
d NaNs
commit
|
commitdiff
|
tree
2008-04-25
S
v
en Verdoola
e
ge
bin
o
mia
l
.
c:
e
x
tract b
i
n
o
mia
l
and f
a
ctoria
l
from euler
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
Sven Verd
o
olaege
p
o
wer
.
h:
ex
t
ract from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
S
v
en Verdoolaege
introduce
e
val
u
e_shift
_
varia
b
les
commit
|
commitdiff
|
tree
2008-04-25
S
v
en Verdoolaege
lattice_point
.
cc:
e
xport relati
v
e_coordinates
commit
|
commitdiff
|
tree
2008-04-24
Sve
n
Verd
o
olaege
lattice_
p
oin
t
.
h
: make s
u
re correct evalues are used
commit
|
commitdiff
|
tree
2008-04-24
Sven
V
erdo
o
lae
g
e
lattice_point
.
cc: ad
d
cei
l
ing function
commit
|
commitdiff
|
tree
2008-04-24
S
v
en V
e
rdoolaege
u
t
il
.
c: internalize u
g
ly bv_ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verd
o
olaege
latti
c
e_point
.
c
c
: multi_monom/
l
atti
c
e
_
po
i
nts:
r
et
u
rn
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Verd
o
ola
e
ge
doc:
clean up "exponential substitution" section
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoolaeg
e
test_bound
.
cc: avoid
l
o
ss of pre
c
ision caused
by con
v
er
s
ion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
bar
v
in
o
k_boun
d
: optionall
y
take maximal size of
d
omains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
b
a
rvinok
_
bo
u
nd: add
--itera
t
e opti
o
ns for e
v
aluating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
e
n
Ve
r
doo
l
aege
v
eri
f
y
.
c: expor
t
funct
i
on
s
f
or setti
n
g and clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven Verd
o
olaege
verify
.
c: eva
l
ue
_
optimum: allow c
o
m
put
a
t
i
on
of optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoolaege
bernstein
.
cc: eval
u
e2ex
:
do
n
'
t a
s
s
ume al
l
p
eriodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoolaege
bound
.
cc: fix call to ev
a
lue_c
o
nvert
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rdoo
l
aege
e{add,mul}_periodi
c
s
:
p
l
ug
m
emory leaks
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdool
a
ege
e
v
alue_
b
e
rnstein_coeffic
i
ents:
hand
l
e probl
e
ms with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdoolaege
update polylib
commit
|
commitdiff
|
tree
2008-04-05
Sven Verdoolaege
lattice_width
.
c:
skip directions
t
ha
t
are iden
t
i
ca
l
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven
Verdoolaege
Makefile
.
am: add
c
d
d
94e-test to distributi
o
n
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verdoola
e
ge
ome
g
a/
o
cc
:
op
t
ionally us
e
parker for
computing car
d
i
n
ality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Ver
d
oolaege
normaliz
a
tio
n
.
c: ske
w
_to_p
o
sitive_ort
h
ant:
p
roperly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verdoolaege
omega/convert
.
cc: relation2D
o
ma
i
n: only collect se
t
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
occ: add dump for du
m
ping i
n
barv
i
n
ok_enumerate_e for
m
a
t
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdo
o
laege
b
a
rvinok_enumerate_e: optio
n
a
l
ly use par
k
e
r
's method
commit
|
commitdiff
|
tree
2008-04-03
Sven Ve
r
doolaege
standard_c
o
nstrain
t
s
: take c
o
nstrain
t
s instead o
f
polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
no
r
malization
.
c: ex
t
rac
t
standard_constraints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sv
e
n Verd
o
olaege
p
a
rker/c
o
u
n
t_solutions
.
cc: fix treatment of existen
t
ial
l
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaege
c
om
p
i
le parker
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ve
r
dool
a
ege
Add
p
a
rker
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdoolaeg
e
euler
.
cc:
e
value_deriv
e
: hand
l
e con
s
t
ant poly
n
o
m
ials
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
a
d
d some test
sets from cases 2004 and cc 2005 pa
p
e
r
s
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
re
n
ame
b
ar
v
ino
k
_max
i
m
i
ze to barvinok_
b
ound
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
add a test for test
_
bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
evalue_range_pro
p
agation: remove r
e
du
n
dant polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
doolaege
test_bound: record number of polynomials as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdo
o
laege
test_bou
n
d: convert quasipoly
n
o
m
i
als to polyno
m
ials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolae
g
e
test_bo
u
nd: com
p
are polyno
m
ial bound algorithms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
v
erify
.
c: opt
i
mum:
h
andle input evaluating to negati
v
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ver
i
fy
.
c: extract evalue
_
o
p
timum from
maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c
: extr
a
ct comm
o
n
c
ode for verifying operatio
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
evalue
_
range_
p
r
opagation: add monotonic
i
ty test
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barv
i
nok_maximize
:
op
t
io
n
ally use (basic) range
p
r
o
p
aga
t
ion
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
Add some
support for deal
i
ng
with eva
l
ues t
h
at represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
barvi
n
ok_e
n
umerate: support use of Euler-Mac
l
aurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Ver
d
oola
e
ge
implem
e
nt Bernoulli_sum
a
s conversion fro
m
unwe
i
ght
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
rdoolaege
B
e
rnoulli_sum_evalue: exploit integer
b
ounds
t
o reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
keep track o
f
number of Bernoulli
sums
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaeg
e
bernoulli
.
c: protect shared
evalue
from m
o
dif
i
ca
t
ions
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ver
d
oolaege
test Bernou
l
li sums bas
e
d
exact enume
r
a
tion
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvinok_co
u
nt_with_opt
i
ons
:
compute (exact) Berno
u
lli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
Bernou
l
li_sum_evalu
e
: optionally handle fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Verdoolaege
l
attic
e
_point
.
h: export f
r
acti
o
n
al_part
with C linkage
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verd
o
ola
e
ge
barvinok_
e
num
e
r
a
te_
w
i
th
_
opt
i
o
n
s: compute (
e
xact) B
e
rnoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
e
g
e
Bern
o
ulli_
s
um_evalu
e
:
h
andle
equal
i
tie
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Be
r
n
oulli_sum_evalu
e
:
c
ut
o
ff some redund
a
nt parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ve
r
doolae
g
e
Bernoul
l
i_sum_e
v
alue: make sure
n
o
empty part
i
t
i
ons
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
V
e
rdoo
l
aege
B
ernoulli_s
u
m_eval
u
e: remove redundant constrain
t
in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
e
rdoola
e
g
e
bernoulli
.
c:
m
inor refactor
i
ng
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verd
o
o
l
aege
Bernoulli_
s
um:
h
a
ndle context constraints
commit
|
commitdiff
|
tree
2008-03-31
S
ven V
e
rdoola
e
ge
B
e
r
noulli_sum_ev
a
lue: make sur
e
enough memory is
all
o
ca
t
ed
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven V
e
rdoolaege
for_each_lower_upper_bound: add another c
a
llback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ve
r
doolaege
verify
.
c: adjust
default range to con
t
ext if nee
d
ed
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
euler
.
cc:
summ
a
te_over_d
o
main
:
only con
s
ider ac
t
ual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ve
r
doolaege
param_util
.
c: e
x
port Par
a
m_Vertex
_
Set_Face
t
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
Param_Polyhe
d
ron_Facet
:
pass facet
d
efining constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
genfun
.
cc: parallel_polytopes: don'
t
b
o
ther handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
ev
a
lu
e
_split
_
domains_into_orthants: don't reduc
e
evalu
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doola
e
ge
eva
l
ue_
r
ead: only a
l
low t
e
rms to cross newlines inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_read: only accept implicit multiplicati
o
n on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ver
d
oolaege
ev
a
lue_read:
a
c
cep
t
cons
t
raints containi
n
g "'-' spac
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
l
a
eg
e
evalue_bern
s
tein_c
o
effici
e
n
t
s
: ensure result
partition
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
V
erd
o
olaege
b
e
rnstei
n
:
piecewise_lst: corre
c
tly
p
rint and
eva
l
uate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
e
n
Verdoolaege
remove_a
l
l_equalities
:
keep removin
g
parameter
e
qual
i
ties
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
upda
t
e polylib
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoola
e
g
e
d
o
c
: consistent
use
of Kevin's initials
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
do
c
: update now p
u
blished
papers
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
for_each
_
lower_upper_bound
:
allow absence
o
f
lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
e
r
doolaege
Re
v
e
r
t "e
a
dd_partitions: try t
o
combine
m
u
l
tipl
e
domain
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Verdoo
l
aeg
e
e
v
alue
_
read_par
t
i
t
ion: put partitions ba
c
k
i
n
the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue: re
d
uce_evalue: add note
o
n
s
o
m
e
missed
o
pport
u
nit
i
es
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
rdoolaege
bernstein
.
cc: han
d
le input wit
h
u
n
ions + r
e
latio
n
v
i
olated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolae
g
e
maximize
.
cc: deal with u
n
ions i
n
inpu
t
during verification
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
rdoolaege
evalu
e
_substitute: proper
l
y hand
l
e relations
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
do
o
laeg
e
evalue
.
c
: cl
e
an up emul and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaeg
e
evalue_
r
ead
:
c
orrectly read variable
n
am
e
s
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
erdoolae
g
e
evalue_read: accept t
o
p
level "relation"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
u
p
dat
e
polylib
commit
|
commitdiff
|
tree
2008-02-29
Sven Verdoolaege
e
v
alue_ba
c
k
sub
s
titute:
add required
m
o
d
u
lo constraint
s
commit
|
commitdiff
|
tree
2008-02-26
Sven Ver
d
oolaege
evalue
.
c
:
*_pa
r
t
i
ti
o
ns: simplify
c
onstraints befo
r
e
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Verdoolaeg
e
doc: mo
r
e sp
e
cifi
c
i
nformation on buggy
cddlib ve
r
s
i
ons
commit
|
commitdiff
|
tree
2008-01-28
Sven Verdo
o
l
aege
c
o
nf
i
gure
.
i
n
: require cdd
l
ib
0
.
94e by
t
esting for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sv
e
n
Verdoolae
g
e
co
n
f
i
gure
.
in: on
l
y compile occ
i
f code_g
e
n libr
a
r
y
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
b
a
rvino
k
0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Ver
d
oolaege
add s
o
m
e tests for imp
l
eme
n
tation of
p
r
ojection the
o
rem
commit
|
commitdiff
|
tree
2008-01-16
S
v
en
Verd
o
o
l
aege
d
o
c: document new options
a
n
d new ap
p
li
c
ations
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
AUTHORS: update
sup
p
ort infor
m
ation
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Ver
d
oolaege
genfu
n
.
cc
:
short_r
a
t::print: c
o
r
rectly p
r
int
polynomials
.
.
.
commit
|
commitdiff
|
tree
next