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
test_bound: compare polynomial bound algorithms
2008-03-31
Sven
Verdo
o
laege
test_bound: compar
e
polynomial bo
u
nd algorithms
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdo
o
laeg
e
v
e
rify
.
c
:
o
p
timum: h
a
ndle input e
v
alu
a
ting to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
v
erify
.
c: extract evalu
e
_
optimum from
m
aximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdo
o
laege
verify
.
c: extr
a
ct common code for verifying operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
evalue_ran
g
e_prop
a
gation: add monotonicity tes
t
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
ba
r
v
inok_maximize: optionally us
e
(basic) r
a
nge p
r
opagation
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolae
g
e
A
d
d some suppo
r
t for deali
n
g with
e
v
a
lues that
repre
s
ent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
b
arvinok_enumera
t
e:
s
u
pport
use of Euler-Maclaur
i
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
impleme
n
t Berno
u
lli_sum a
s
conv
e
rsion fr
o
m unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ve
r
d
oola
e
ge
B
er
n
o
u
lli_sum_evalue: exploit integ
e
r
bounds to r
e
duce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
erdoolaeg
e
keep track of number
of Bernoul
l
i sums
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
bern
o
ulli
.
c
: protect s
h
ared evalu
e
from modifications
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
te
s
t Berno
u
lli sums based exact enumeration
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
barvinok_c
o
unt_wi
t
h_opti
o
ns: compute (ex
a
ct) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum_evalue: option
a
lly hand
l
e
fr
a
c
tional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ve
r
doolaege
lattice_poin
t
.
h: export
f
ractional
_
part with C
l
inkage
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdoolaege
barvinok_enumerate_with_options: compute (e
x
act) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
a
e
ge
B
e
r
noulli_sum_
e
v
alue
:
h
a
nd
l
e equalitie
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
Bernoull
i
_sum_e
v
alue: cut off s
o
me redund
a
nt parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
Bernoulli_sum_eva
l
ue: m
a
ke sure no empty
p
artitio
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bern
o
u
l
li_su
m
_
evalue:
r
emove redundant constr
a
int
i
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
rdoolaege
bernoull
i
.
c:
m
inor refactoring
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdool
a
e
ge
Berno
u
l
li_sum: hand
l
e context constraints
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoul
l
i_sum_eval
u
e
: m
a
ke
sure
enou
g
h mem
o
r
y
i
s allocat
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolae
g
e
fo
r
_e
a
ch_lower_
u
pper_bound
:
add another callback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c: adj
u
st
defaul
t
range t
o
co
n
text
i
f
need
e
d
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
e
u
l
er
.
cc: summate_over_d
o
main:
only
consider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
rdoola
e
ge
par
a
m_util
.
c: export Param_Vertex_
S
et_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
Para
m
_Polyhedron_Facet: p
a
ss facet de
f
ining co
n
straint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verd
o
olaege
ge
n
fu
n
.
cc: p
a
rallel_poly
t
opes: d
o
n't bo
t
her handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
evalu
e
_split_
d
omai
n
s_into_orthant
s
:
don't
reduce evalu
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdool
a
ege
evalue_read: only a
l
low ter
m
s
t
o
c
r
oss newlines inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_re
a
d: o
n
ly a
c
c
ept i
m
p
l
icit m
u
ltiplication on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdool
a
ege
evalue_read: accept constrai
n
ts
c
ontaining "'-' spa
c
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
e
v
a
l
ue_
b
ernstein_coefficie
n
ts: ensure resu
l
t parti
t
ions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
rdoolaege
bernstein: pi
e
cewise_lst: corr
e
ctly print and evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
r
d
oolaege
re
m
ove_all
_
e
qu
a
li
t
ies: k
e
ep removi
n
g para
m
eter equa
l
ities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
erdoolaege
upda
t
e p
o
lyli
b
commit
|
commitdiff
|
tree
2008-03-24
S
v
en
Verdoola
e
g
e
doc: consis
t
en
t
u
se
o
f
K
ev
i
n's initials
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
doc
:
update
n
ow published pape
r
s
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
for_each_low
e
r_upper
_
bound: all
o
w ab
s
enc
e
o
f l
o
wer
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
Rev
e
rt
"ead
d
_partitions: try to combi
n
e multiple domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ver
d
oolaege
ev
a
l
ue_
r
ead_partition: put part
i
tion
s
back in the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdo
o
laege
e
v
alue: reduce_evalue: add note on
some missed opportunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verd
o
olaege
bernst
e
in
.
cc:
handle i
n
p
ut with union
s
+ r
e
l
ation violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
Verd
o
olaege
maximize
.
cc: deal
w
ith u
n
ions in input during
verification
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Verdool
a
ege
ev
a
lue_su
b
s
titute
:
p
r
o
p
erly handle
relati
o
n
s
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verdoolae
g
e
ev
a
lue
.
c
:
clean up em
u
l an
d
eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
erdoolaege
evalue
_
read: correctly read var
i
able names
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
erdo
o
laege
eval
u
e_read: ac
c
ept top level "r
e
lat
i
on
"
commit
|
commitdiff
|
tree
2008-03-10
Sven Ver
d
oolaege
u
p
da
t
e
polylib
commit
|
commitdiff
|
tree
2008-02-29
Sven Verdoola
e
ge
evalu
e
_ba
c
ksubsti
t
ute: add required
modulo constraints
commit
|
commitdiff
|
tree
2008-02-26
Sve
n
Verdoola
e
ge
ev
a
lue
.
c
: *_partitio
n
s:
s
impli
f
y constraints before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Verdool
a
ege
doc:
m
or
e
s
p
ecific information o
n
buggy cddl
i
b
versions
commit
|
commitdiff
|
tree
2008-01-28
Sven V
e
rdoolaege
configure
.
in: require cddlib 0
.
94e by
t
esting f
o
r
b
ug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven V
e
rdoolaege
c
o
nfigure
.
i
n: only co
m
pile occ if
c
o
de_ge
n
library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolaege
barvinok 0
.
2
6
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoola
e
ge
add
some
tests for im
p
l
ementation of proje
c
tion th
e
o
r
em
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
ol
a
ege
doc:
d
ocum
e
nt new options a
n
d ne
w
appl
i
cations
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
ola
e
ge
AUTHO
R
S:
update support information
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
g
e
nfun
.
cc: s
h
ort_r
a
t::pr
i
nt: correctly print polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Ve
r
dool
a
ege
Export
s
eries as barvinok_enum
e
rate_series and
u
se
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n Verdoolaege
remove_paramete
r
_equ
a
l
i
ties: stop "removing" equalities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verd
o
olaege
series: leave freeing of P argument to ca
l
l
i
ng function
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
ola
e
ge
doc: document imp
l
e
m
e
n
t
ation of
the projecti
o
n theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
e
rdoo
l
aege
add
b
ar
v
inok_enumerate_e
_
series implementing the
p
roje
c
tion
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoolaege
genfun
.
cc: fix and
document
parallel po
l
ytopes class
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaege
Only com
p
ile zsolv
e
if gcc 3
.
4
or later is available
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Mov
e
GiN
a
C-independen
t
part of library to barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoolae
g
e
pol
y
lib: update
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaege
doc: how to count the number o
f
elem
e
nts in possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven
Ve
r
dool
a
e
ge
doc/im
p
lementat
i
on
.
tex: avoid mul
t
i
ply
define
d
label
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Verdoola
e
ge
latt
i
ce
_
width
.
c: try vert
i
ces o
f
previou
s
inte
g
er hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
d
o
c: document in
t
eg
e
r hull computation
commit
|
commitdiff
|
tree
2007-11-21
S
ven Verdoolaeg
e
hull
.
c
: a
d
d all points fo
u
nd
by sampling dir
e
ctly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n
Ve
r
doo
l
aeg
e
P
ossible opti
m
izations for g
e
neralized basi
s
reduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verdoo
l
aege
S
uppo
r
t use
o
f generalized ba
s
is reduction t
o
compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en
Verd
o
olaege
add Polyhedron_In
t
eger_Minim
u
m for com
p
uting the intege
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdool
a
ege
doc: doc
u
ment generalized basis reduction b
a
s
ed integ
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verd
o
olaege
doc/barvinok
.
bib:
add missing string
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoola
e
ge
add
more miss
i
ng assert
.
h #includes
commit
|
commitdiff
|
tree
2007-11-15
Sven V
e
rdo
o
laege
con
f
igure
.
in
:
o
nly
compile libbarvinok as a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sv
e
n Verdool
a
ege
P
o
lyhedron_Reduce
d
_
B
asis
:
don'
t
stop too
early when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Ve
r
doolaege
compute_width_dire
c
tions: only k
e
ep list of
distinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sv
e
n
V
e
r
doolaege
zsolve: don'
t
install library
commit
|
commitdiff
|
tree
2007-11-08
Sven Verd
o
olae
g
e
versio
n
.
c: sh
o
w
u
se of T
O
PC
O
M
commit
|
commitdiff
|
tree
2007-11-08
S
v
en Verdoolaege
configure
.
in: don'
t
s
e
t with_{poly,pi
p
}lib_pref
i
x from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaeg
e
Polyhed
r
on_Sample: be satisf
i
ed with a reaso
n
able
c
h
oice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
S
v
en Ve
r
dool
a
eg
e
cone_inte
g
er_hull: opt
i
onally print stats
commit
|
commitdiff
|
tree
2007-11-08
S
ven Ver
d
o
olaege
basis_redu
c
tion
:
keep tr
a
ck of number
o
f L
P
s
solved
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
erd
o
olaege
options:
m
ove --print-s
t
ats to library
commit
|
commitdiff
|
tree
2007-11-07
S
v
en
V
erd
o
olaege
bernstein:
rework
tes
t
ing framework to n
o
t depend o
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Ve
r
d
o
o
l
aege
bernstein: add p
i
e
c
ewise_lst:
:
is_equal
commit
|
commitdiff
|
tree
2007-11-07
S
v
en Ver
d
oolaege
support newer ve
r
sions of
G
iNaC (>= 1
.
3
.
8
)
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoo
l
aege
stan
d
ard_constra
i
nts: move
fr
o
m
t
opco
m
.
c to pol
y
sign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
polysign
.
h: remove dependency on lexm
i
n
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven
Verdoolaege
zs
o
lve: a
d
d ban
n
er
.
h t
o
distributio
n
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoolaege
Po
l
yhedr
o
n
_
La
t
tice_
W
idth_Di
r
ections: prin
t
progress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Ve
r
doolaege
basis_redu
c
tion_pip:
a
bort on invali
d
(em
p
t
y
) in
p
ut
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
README: explain how to ge
t
submodul
e
s
commit
|
commitdiff
|
tree
next