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
add a test for test_bound
2008-03-31
Sven V
e
r
d
oolaege
add a test for
test
_
bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_rang
e
_propagation: remove redundant
polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
t
est
_
bound
:
r
e
c
o
r
d num
b
er
o
f po
l
ynomials as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
test_bound: c
o
nver
t
quasipolynomia
l
s
to
p
olyno
m
ials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
l
a
ege
test_bound:
compare pol
y
n
omial b
o
und algorithms
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erd
o
olaege
verify
.
c: optimum: hand
l
e
in
p
ut ev
a
luating to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
erdo
o
l
aege
verify
.
c:
e
xtract evalue_optimum fro
m
maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
verify
.
c
: extract com
m
on code for ve
r
ify
i
ng op
e
ratio
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven V
e
r
d
ool
a
ege
evalue_range_pr
o
pagation: add monotonicity test
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
barvi
n
ok
_
m
aximiz
e
: optio
n
ally
u
se (basic) range propagati
o
n
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
Add
s
ome support for dealing with evalues that represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
a
ege
barvinok_en
u
merate: support
use of Euler
-
Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
o
o
l
aege
implem
e
nt Ber
n
o
ull
i
_sum as
c
onversion from unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
Be
r
no
u
lli_su
m
_evalue: exploit i
n
t
e
ger bounds to
r
educe
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
keep
track of numbe
r
of B
e
rnoulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
be
r
noulli
.
c:
p
r
o
t
e
c
t s
h
ared ev
a
lue from modificatio
n
s
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ve
r
doolaege
te
s
t Ber
n
oull
i
sum
s
ba
s
ed exact enumera
t
io
n
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
barvin
o
k_count_with_options: compute (exact)
Bernoul
l
i
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Be
r
noulli_sum_
e
val
u
e:
o
ptionally handle fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaeg
e
latti
c
e_
p
oint
.
h: e
x
port fractional
_
p
art
with C linkage
commit
|
commitdiff
|
tree
2008-03-31
S
ven V
e
rdoolaege
barvinok_enumerate_wi
t
h_
o
ptions:
c
om
p
ute (exact) Ber
n
oulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verd
o
ol
a
ege
Ber
n
oulli_sum_evalue: ha
n
dl
e
equalities
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
o
olaege
Be
r
noulli_sum_evalue: cut off some redundant p
a
rts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
B
erno
u
lli_s
u
m_e
v
alue: make
s
u
r
e
no
em
p
ty part
i
tions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
Bernoul
l
i_sum
_
ev
a
lue: r
e
move
r
edun
d
ant constrain
t
in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoola
e
ge
bernoulli
.
c: mino
r
ref
a
ctoring
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
Bern
o
ulli_sum: ha
n
dle co
n
text constraints
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
Bernoulli_
s
um_eva
l
ue:
mak
e
sure e
n
ou
g
h memo
r
y
is allocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
for_each_
l
ower_up
p
er_bound:
add anothe
r
c
allback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdoolaege
verify
.
c: adjust de
f
ault ra
n
ge to context if needed
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
erd
o
olae
g
e
euler
.
cc: summate_over_domain: on
l
y consider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
pa
r
am_util
.
c: export Param_Vertex_Set_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
erdoolaege
Param_Po
l
y
h
edr
o
n_Facet: pas
s
facet defining constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ve
r
doolaege
g
e
nfun
.
cc: parallel_polytopes: d
o
n't bothe
r
handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
e
v
alue_sp
l
it_domains_into_orthants: d
o
n't
reduce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
eval
u
e_rea
d
:
o
nly a
l
lo
w
terms
to
cross new
l
ine
s
i
n
side
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
oolaege
evalu
e
_
re
a
d: only
acce
p
t
implicit multiplication on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdo
o
laege
evalue_read: a
c
c
e
pt constraints containing "'
-
' sp
a
c
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
evalu
e
_
bernstein_coefficient
s
: ensure result p
a
rtitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
rdool
a
ege
bernstein: p
i
e
c
e
wise_lst: correctly print and evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven Verdoolaege
remove_all_e
q
ualities: keep re
m
oving
p
ar
a
me
t
er equ
a
l
ities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaeg
e
update polylib
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoola
e
ge
do
c
: consi
s
tent
u
se of Ke
v
i
n'
s
init
i
a
l
s
commit
|
commitdiff
|
tree
2008-03-24
Sven Verd
o
olaege
doc: update
n
o
w publis
h
ed
p
apers
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdool
a
ege
for_each_lo
w
er_upper_bound: allow absence
o
f lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdoolaege
Rev
e
r
t
"eadd_p
a
rtiti
o
ns: t
r
y to combine multiple do
m
ains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
erdo
o
laege
eva
l
u
e_read_parti
t
i
o
n:
put part
i
tions
b
ack
i
n
t
h
e s
a
me
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
v
en V
e
rdoolaeg
e
evalue: re
d
u
c
e_evalue: add note on some missed oppor
t
unities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
doolaege
b
e
r
nstein
.
cc: h
a
ndle input with
u
ni
o
ns + rel
a
t
io
n
violate
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdoolaege
max
i
mize
.
cc: deal with unio
n
s in i
n
pu
t
durin
g
v
erification
commit
|
commitdiff
|
tree
2008-03-10
Sven
Verd
o
olaege
evalue
_
substitute: properly handle r
e
l
a
t
i
ons
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
erdoolaeg
e
e
v
alue
.
c: c
l
ean up em
u
l and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoo
l
aege
evalue_read: cor
r
e
c
tly read var
i
able names
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdoolaege
evalue_read: a
c
cept t
o
p level "relation"
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
doo
l
aege
update poly
l
i
b
commit
|
commitdiff
|
tree
2008-02-29
Sven Verdo
o
laege
e
v
alue
_
backs
u
bst
i
tute:
add req
u
ired modulo
c
onst
r
a
ints
commit
|
commitdiff
|
tree
2008-02-26
Sv
e
n Verdoolaege
eval
u
e
.
c: *_partitions: simplify constrai
n
ts be
f
ore
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Verdo
o
laege
doc: mor
e
specific inf
o
rm
a
tion on buggy
cddlib versions
commit
|
commitdiff
|
tree
2008-01-28
S
v
en Ve
r
doo
l
a
e
ge
configure
.
in: require cd
d
lib 0
.
9
4e by
testing for b
u
g
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Ver
d
oolae
g
e
co
n
figure
.
in: only com
p
i
le
o
cc if code_gen libr
a
ry
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doolaege
barvinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n
Ver
d
ool
a
e
g
e
add
some t
e
sts for implementa
t
ion of project
i
on theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
olaege
d
o
c: document new options
and new ap
p
lications
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoola
e
ge
AUTHORS
:
update
s
u
p
p
o
rt
infor
m
at
i
on
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoolaege
genfun
.
cc: short_r
a
t::print: correctly print p
o
l
y
nomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
ge
Expor
t
se
r
ies as barvinok_enumerate_seri
e
s and us
e
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
remove_parameter_equalities
:
stop
"rem
o
ving" eq
u
a
l
itie
s
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doolaege
serie
s
: leave freeing o
f
P arg
u
m
e
nt to calling functio
n
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oolaege
doc: doc
u
ment
imp
l
ementation of t
h
e projection theorem
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoolae
g
e
add barvinok_en
u
merate_
e
_series impl
e
menti
n
g the proje
c
tion
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
d
oolaege
g
e
n
fun
.
cc: fix a
n
d
do
c
ument parallel polytopes class
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
laeg
e
O
nly compile z
s
olve if gcc 3
.
4 or later is available
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
dool
a
e
g
e
Mov
e
Gi
N
a
C
-independ
e
nt part of li
b
rary to bar
v
i
nok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verd
o
olaege
polylib:
update
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaege
doc: how to count the num
b
er of elements in possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
S
ven Verd
o
o
laeg
e
d
o
c/implement
a
tion
.
te
x
: avoid multiply define
d
label
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolae
g
e
lattice_width
.
c: try ver
t
ices of
pr
e
viou
s
integer hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoo
l
aege
doc: document int
e
ger
h
u
ll c
o
mputatio
n
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Verdoolaege
hull
.
c: add all poi
n
ts
found by
sampling
d
irectly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
Verdoolaege
Poss
i
bl
e
optimiz
a
tio
n
s for generalized bas
i
s
r
e
d
uction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ven Verdoo
l
aege
Suppo
r
t us
e
of generali
z
ed
basis reduction to comp
u
te
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
e
n Verdoola
e
g
e
add Polyhe
d
ron_Integ
e
r
_
Mi
n
im
u
m
for
comput
i
ng the integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolae
g
e
doc:
docum
e
nt gener
a
lized b
a
sis reducti
o
n base
d
i
nteger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven V
e
r
d
o
olae
g
e
doc/
b
arvinok
.
b
ib: ad
d
missin
g
strin
g
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdool
a
ege
add more missing asser
t
.
h #includes
commit
|
commitdiff
|
tree
2007-11-17
S
v
en Verdoolaege
evalue
.
c: add missing
include of
a
lloca
.
h
commit
|
commitdiff
|
tree
2007-11-17
Sven Ve
r
doolaege
co
n
f
igure
.
in: pass p
a
th of GMP installation to
PolyLib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sve
n
Verdoolaeg
e
confi
g
u
r
e
.
in:
only compile
l
ibbarvinok as a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
Pol
y
h
e
dron_Reduced_Basis: do
n
't st
o
p too early when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdool
a
e
g
e
comp
u
te_wi
d
t
h
_directions: only keep list of distinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven
V
erdool
a
ege
z
solve: don't install librar
y
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
version
.
c: show use of TOPC
O
M
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Verdoolaege
c
o
nfig
u
r
e
.
in: don't set w
i
th_{poly,pip}li
b
_p
r
e
f
ix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verd
o
olaege
Polyhed
r
on_Sample:
b
e sati
s
fied with a
r
e
asonable choi
c
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdo
o
lae
g
e
cone_integer_hull: optionally print stats
commit
|
commitdiff
|
tree
2007-11-08
Sven Ve
r
doola
e
ge
b
a
sis_
r
educti
o
n: keep tra
c
k of numb
e
r of LPs solved
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
o
p
tio
n
s: move --print-stats to libr
a
ry
commit
|
commitdiff
|
tree
2007-11-07
S
v
en Verdoolaege
b
ernstein: rewor
k
testin
g
f
r
a
mework to not dep
e
nd on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
erdo
o
laeg
e
bernstein:
a
dd piecewise_lst:
:
is_equal
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
erdoolaege
supp
o
rt newe
r
versions of GiNaC (>=
1
.
3
.
8
)
commit
|
commitdiff
|
tree
next