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
barvinok_enumerate_e: optionally use parker's method
2008-04-03
Sven Verdoo
l
aege
barvinok_enumerate_e: option
a
lly use parker's
method
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n
Ver
d
oolaege
st
a
n
d
a
rd_co
n
straints: ta
k
e co
n
st
r
ai
n
ts in
s
tead of polyh
e
d
r
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
normalization
.
c: extra
c
t
s
tandard_c
o
nstraints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Ve
r
doolaege
parker/co
u
nt_
s
olution
s
.
cc: fix
t
reatment of existenti
a
lly
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sve
n
Verdoo
l
aege
c
ompile parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Add parker
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
euler
.
c
c
: evalue_derive: handle c
o
nstant polyno
m
ials
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdo
o
la
e
ge
a
d
d s
o
me test sets from ca
s
es
2004 a
n
d cc 2005 pa
p
ers
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
re
n
ame
b
arvinok_
m
a
ximize to barvi
n
ok_
b
o
und
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
add a t
e
st for
t
e
s
t_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolae
g
e
evalue_range_pr
o
pag
a
tion: remove
redundant
poly
n
omials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test_bound:
r
e
cord number of pol
y
n
omials
as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
test_bound
:
c
onve
r
t quasi
p
o
lyno
m
ial
s
to polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
test_
b
o
u
n
d: compare p
o
lynomial bound algorithms
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
oola
e
ge
verify
.
c: optimum: han
d
le in
p
ut eva
l
uating to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
erdoolaeg
e
verify
.
c: extra
c
t
eval
u
e_op
t
imum fr
o
m maximize
.
c
c
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
verify
.
c
:
e
xtract common code
for verify
i
ng operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ve
r
doolaege
evalue_ra
n
ge_propaga
t
i
on: add monotonicity test
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ver
d
oolaege
barvinok_maximize:
o
p
t
io
n
ally
u
s
e
(ba
s
ic) ra
n
ge pro
p
a
g
ati
o
n
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
A
d
d som
e
support f
o
r deali
n
g with evalues
t
hat represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ver
d
oolaege
ba
r
vin
o
k_e
n
um
e
r
a
te:
s
upport us
e
o
f
Euler-
M
a
c
lauri
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
implement
Bernou
l
li_s
u
m as c
o
nver
s
ion from u
n
weighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
r
doolaege
Bernoulli_s
u
m
_
evalue: exploit inte
g
er
b
o
unds to reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
keep track of n
u
mber of Bernoul
l
i sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
bernoulli
.
c: protect
s
hared evalu
e
from modificat
i
ons
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
test Bernoulli sums bas
e
d exact
enumeration
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
ba
r
vinok_count_with_options: compute
(
exact) Bernou
l
l
i
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum_evalue: opti
o
nal
l
y
handl
e
f
r
a
ctional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
lattice_point
.
h: e
x
port
f
ractional_pa
r
t
w
i
t
h C linkage
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvinok_enumera
t
e_with_optio
n
s
:
co
m
p
u
te (exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven V
e
rdoolae
g
e
B
e
rnoul
l
i_sum
_
eva
l
ue
:
handle equaliti
e
s
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
d
oolaeg
e
Bernoulli_su
m
_ev
a
l
u
e
:
cut off some redundant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
Ber
n
o
u
lli_sum_evalue: make
s
ure no empt
y
p
a
rti
t
i
o
ns
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ve
r
doo
l
aege
Ber
n
oulli_
s
um_evalue: remove
r
e
dundan
t
constraint
i
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ber
n
ou
l
li
.
c: minor
r
efactor
i
ng
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdoolaege
Bernoulli_sum: h
a
ndl
e
context constra
i
nts
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
B
e
rnoulli_sum_evalue: make
s
u
r
e
enough me
m
ory
i
s
allocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
for_each_lower_upper_
b
ound: add ano
t
her callb
a
ck for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
verify
.
c: a
d
just default range to contex
t
if needed
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n V
e
rdoola
e
ge
euler
.
cc: summat
e
_
o
v
e
r_doma
i
n: o
n
ly consider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
param_util
.
c:
exp
o
r
t
Param_Vertex_Set_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoo
l
aege
P
a
ram_P
o
lyhedron_Facet: pass
f
acet defining constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
erdoolaege
genfun
.
cc: parall
e
l_polytop
e
s: d
o
n't both
e
r handlin
g
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
oolaege
e
v
alue_split_domains_into_orthants: don't reduce eva
l
ue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdoolaege
eva
l
ue_re
a
d:
o
nly a
l
low terms
t
o cross
ne
w
lines inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
eva
l
u
e_read
:
only accept impli
c
it
m
ult
i
plic
a
t
i
on
on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoo
l
aege
evalue_read: a
c
cept
constraints co
n
ta
i
ning "'-' s
p
ac
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
l
a
ege
evalue_bernstein_coefficients: e
n
sure
result pa
r
tition
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
e
r
d
oolaege
bernst
e
in: pie
c
ewise_lst
:
correctly print
and evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ve
r
doolaege
remove_all_equali
t
i
es: keep re
m
oving parameter
e
qualities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ve
r
d
o
olaeg
e
upd
a
te po
l
yl
i
b
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoo
l
aege
doc
:
consistent use
of Ke
v
in's ini
t
ia
l
s
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n
Verdoola
e
g
e
doc: u
p
date
now p
u
blished pa
p
ers
commit
|
commitdiff
|
tree
2008-03-24
Sven Ver
d
o
o
la
e
ge
for_each
_
l
o
wer_up
p
er_bound:
a
l
low absence
o
f lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verd
o
olaege
Revert "eadd_partitions: try to combine multip
l
e
d
oma
i
ns
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
evalue_
r
ead_
p
art
i
ti
o
n: put partitions b
a
ck
in the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
erd
o
o
laege
evalue:
r
educ
e
_evalue: add note on som
e
missed opportunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verdoolaeg
e
bernstein
.
cc: handle input wi
t
h unions
+
relation violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdoolaege
maximize
.
cc:
deal
w
ith unio
n
s in input dur
i
ng verificati
o
n
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdoolaege
evalue_subs
t
it
u
te: properly handle rel
a
tion
s
commit
|
commitdiff
|
tree
2008-03-10
Sven Verd
o
olaege
e
v
alue
.
c: clean up emul and e
a
dd
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Verdo
o
laege
evalue
_
read: correctly read variabl
e
names
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
doolaege
evalue_read: accep
t
to
p
le
v
el
"
re
l
atio
n
"
commit
|
commitdiff
|
tree
2008-03-10
Sven
Verdoolaege
updat
e
polylib
commit
|
commitdiff
|
tree
2008-02-29
Sven Verd
o
olaege
evalue_backsu
b
s
t
i
t
ute: add requ
i
red modulo constraints
commit
|
commitdiff
|
tree
2008-02-26
Sven V
e
rdoolaege
evalue
.
c
:
*
_pa
r
ti
t
ions
:
s
i
mplify constra
i
nt
s
before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Verdoolaege
doc: more specif
i
c i
n
formation on buggy cddlib v
e
rsions
commit
|
commitdiff
|
tree
2008-01-28
Sve
n
Verdoo
l
aege
configure
.
in: require cddlib 0
.
9
4
e by testing for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sve
n
Verdoo
l
a
ege
configure
.
in: o
n
ly compile occ if code_gen library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
barvinok 0
.
2
6
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaege
a
d
d
some tests for
implemen
t
at
i
on of projection
theo
r
em
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doolaege
doc: docu
m
e
n
t n
e
w options and new appl
i
cations
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Ver
d
oolaege
A
UTHORS
:
updat
e
support in
f
ormation
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
genfun
.
cc: s
h
ort_rat::p
r
int: correctly print
p
o
l
y
nomi
a
ls
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolae
g
e
Export series as barvin
o
k
_enumerate
_
se
r
ies and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
Ver
d
o
olaege
remove_para
m
eter_eq
u
ali
t
i
e
s
: st
o
p "remov
i
ng
"
equali
t
ies
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdool
a
eg
e
series:
leave
f
ree
i
ng of P argument to
calling function
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoolaege
d
o
c: document i
m
plem
e
ntation of the projection theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oola
e
g
e
add barvinok
_
enu
m
e
r
ate_e_series implementing the projection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
r
doolaege
g
enf
u
n
.
cc: fix a
n
d
d
o
cument paralle
l
polytopes
c
l
a
ss
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doolaege
Only comp
i
le zsolve if gcc 3
.
4
or later i
s
availa
b
le
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n Verdoolaege
Move
G
iNaC-i
n
dependent
part of library t
o
b
a
r
vinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
ge
p
o
lylib: upd
a
t
e
commit
|
commitdiff
|
tree
2007-11-22
Sven V
e
rdoolaege
doc: ho
w
t
o count the number of elements
in possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaege
doc/implementation
.
te
x
:
a
void mult
i
ply d
e
fined
l
abel
commit
|
commitdiff
|
tree
2007-11-21
S
ven Verdoolaege
lat
t
ice_width
.
c:
t
ry
vertice
s
of
p
revio
u
s integ
e
r hul
l
s
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verd
o
olaege
doc: document integer hull computatio
n
commit
|
commitdiff
|
tree
2007-11-21
Sven V
e
rdoolaege
hull
.
c: add a
l
l poi
n
ts found by sampling directly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
Ve
r
doolaege
P
oss
i
b
l
e optimizat
i
on
s
f
or
gene
r
alize
d
bas
i
s reduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdo
o
laege
Support use of
g
eneralized basis reductio
n
to c
o
mpute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
a
dd Polyhedron
_
Int
e
g
e
r_Minim
u
m for computing the integ
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc: d
o
cument generalized bas
i
s
reduc
t
io
n
based i
n
teger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc/barvinok
.
bib
:
add
missing string
commit
|
commitdiff
|
tree
2007-11-17
Sven V
e
rdoo
l
a
ege
ad
d
more missing assert
.
h #i
n
cludes
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
evalue
.
c
:
add m
i
s
s
in
g
include o
f
alloca
.
h
commit
|
commitdiff
|
tree
2007-11-17
Sv
e
n
Verdoo
l
aege
configure
.
in: pa
s
s path of GMP installation
to
P
olyLib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
en
Verdo
o
lae
g
e
configure
.
in
:
onl
y
c
o
m
p
ile libbarvinok as a
s
tat
i
c
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
P
o
lyhed
r
on_Reduced_Basis:
don't stop too early when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdool
a
e
g
e
compute
_
width_directions: only keep li
s
t
o
f
d
istinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Ve
r
d
oolaege
zsolve: don't i
n
stall library
commit
|
commitdiff
|
tree
next