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
compile parker
2008-04-02
S
ven Verdoolaege
compile parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
A
dd parker
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
eu
l
er
.
cc: evalue_derive: hand
l
e c
o
nstant polyno
m
ials
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
a
dd some test sets fr
o
m
cases 2004 and cc 2005 p
a
pers
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laeg
e
re
n
ame barvi
n
ok_maximize to barvin
o
k
_
bound
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ver
d
oolaege
add
a te
s
t for test_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
evalu
e
_r
a
nge
_
propagation: remo
v
e red
u
nda
n
t p
o
lynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
test_bound
:
record number
o
f
polynomials as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
erdoo
l
aege
test_bo
u
nd
:
convert quasi
p
olynomials to poly
n
omials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
test_bou
n
d: comp
a
re p
o
lyn
o
mial bound a
l
gorithms
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ver
d
oolaege
verif
y
.
c
:
optimum: handle input evaluat
i
ng to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
o
olaege
verify
.
c: extra
c
t evalue_
o
ptimum from ma
x
imize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
verify
.
c: extract c
o
mmon
code f
o
r verifying
o
p
e
ration
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
V
e
rdool
a
eg
e
evalue_range_propagation: add mon
o
t
o
nicit
y
test
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ba
r
vinok_maxi
m
ize:
o
ptiona
l
ly use (basic) range p
r
opagati
o
n
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
Add
s
ome sup
p
o
rt for d
e
aling with evalues that represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdool
a
eg
e
barvi
n
o
k
_enumerate: supp
o
r
t
use of E
u
l
e
r-Macla
u
rin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaeg
e
implement Bernoulli_sum a
s
conversion
f
rom unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
Ber
n
oul
l
i_sum_eval
u
e: exploit integer
bounds to reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
keep track
o
f number of B
e
rnoulli s
u
ms
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolae
g
e
bernou
l
li
.
c: protect
shared evalue from
m
o
d
ifications
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
tes
t
Bernou
l
li sum
s
base
d
exa
c
t e
n
u
m
eration
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdo
o
laege
barvinok_c
o
unt_with_options: comput
e
(exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
Bernoulli_sum_eva
l
ue: optiona
l
ly handle fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
lattice_point
.
h: expo
r
t fractional
_
part with C linkage
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
barvinok_en
u
merate_with_op
t
ions: c
o
mpute (
e
xact) Ber
n
oulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doo
l
aege
Bernoull
i
_sum
_
evalue: han
d
le equ
a
lities
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdo
o
laege
Bernoulli_su
m
_evalue: cu
t
off so
m
e r
e
du
n
dant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Ber
n
oulli_sum_evalue:
m
ake
s
ure no empty part
i
tions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
ol
a
ege
Bernou
l
li_su
m
_ev
a
lue: remove redundant con
s
t
r
ain
t
in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
a
e
ge
b
e
rno
u
ll
i
.
c: minor re
f
actoring
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
Bern
o
ulli_sum: handle co
n
t
e
x
t
c
onstrain
t
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
e
g
e
Bern
o
ulli
_
sum_ev
a
lue: make sure
e
nough me
m
o
r
y is allocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
for_each_lowe
r
_up
p
er_bound: add another ca
l
lback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdo
o
laege
verify
.
c: adjust def
a
ult range
t
o context if ne
e
ded
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
eule
r
.
cc:
s
u
m
mate_over_
d
om
a
in: onl
y
consider
a
ctual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
param_util
.
c: expo
r
t Param_Vertex
_
Set_Fa
c
e
t
s
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
d
oolaege
Param_Polyh
e
dron_F
a
cet: p
a
ss face
t
defining constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
genfun
.
cc: parallel_polytopes: don't bother hand
l
ing
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
evalue_split_domains_
i
n
t
o_or
t
hants:
d
on't
reduce e
v
al
u
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
e
value_read:
o
nly allow te
r
ms to cross newlines inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
evalue
_
r
e
ad
:
only ac
c
ept implic
i
t
multip
l
ication on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
evalue_read: accept constra
i
n
ts containin
g
"'-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
evalue_bernstein_coefficients: ens
u
re resul
t
partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdoolaege
bernstein:
pie
c
e
wi
s
e_lst: correct
l
y print and evalu
a
te
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Verdo
o
l
a
ege
re
m
ove
_
all_equalities: k
e
ep removing para
m
eter
equalit
i
es
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
e
n
Ve
r
doolaege
upd
a
te polylib
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
d
oc: consist
e
nt use
o
f Kevin's initials
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
erdool
a
ege
doc: update now publis
h
ed p
a
pers
commit
|
commitdiff
|
tree
2008-03-24
Sven Ver
d
oo
l
aeg
e
f
o
r_each_lower
_
up
p
er_bound: allow ab
s
e
n
ce of
lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven Ve
r
dool
a
ege
R
evert
"
e
a
d
d_
p
a
r
titions
:
try
t
o combi
n
e multiple domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoo
l
a
ege
eva
l
ue_rea
d
_partition: put par
t
itions back in the
s
a
me
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
Verdoolaege
evalu
e
:
r
educe_evalue: add
note on some missed oppor
t
uni
t
i
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
berns
t
e
in
.
cc:
handle in
p
u
t with union
s
+ relation vi
o
lated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
maximi
z
e
.
c
c
: deal with u
n
ions in input during ve
r
i
f
ic
a
tio
n
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue
_
substitute:
p
ro
p
e
rly handle re
l
ations
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoola
e
ge
evalu
e
.
c: clea
n
up emul
and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue_read: correctly read
v
ariable names
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n V
e
r
doolaege
e
v
alue_re
a
d: acce
p
t top level "rela
t
i
on
"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdool
a
ege
update poly
l
ib
commit
|
commitdiff
|
tree
2008-02-29
S
ven
V
erdoolaege
e
v
alue_back
s
ubstitute: add required modulo constraints
commit
|
commitdiff
|
tree
2008-02-26
Sven Verdoo
l
aege
evalue
.
c:
*
_
p
artitions: simp
l
ify c
o
nstrai
n
ts before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Verdo
o
laege
d
o
c
: more sp
e
cific information
on buggy cddlib versio
n
s
commit
|
commitdiff
|
tree
2008-01-28
Sven Ve
r
doolae
g
e
c
o
n
figure
.
in: require c
d
dlib
0
.
9
4
e by testing
f
or bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sv
e
n Verdoolae
g
e
configure
.
i
n
: only
co
m
pil
e
occ
if
code_gen li
b
rary
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
barvinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erd
o
olaege
add some
tests for im
p
le
m
ent
a
tion of p
r
ojection th
e
ore
m
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
o
olaege
doc: document new o
p
t
ion
s
and
ne
w
applications
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
aege
A
UT
H
ORS: update support infor
m
a
tion
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Ve
r
doolaege
g
e
nfun
.
cc: short_rat
:
:print: correc
t
ly print p
o
l
y
no
m
i
a
ls
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n
Verdoola
e
ge
E
x
por
t
series a
s
b
a
rvinok_enumera
t
e_series and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoolaeg
e
re
m
ove_parameter_eq
u
alit
i
e
s
: stop "removing" equalitie
s
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
series: leave
f
reein
g
of P
argum
e
n
t
t
o cal
l
i
ng fun
c
tion
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n
Verdoolaege
doc: docu
m
ent imp
l
e
me
n
tation of th
e
p
r
ojecti
o
n theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
aege
add barv
i
nok
_
enumerate_e_series implementing
t
he p
r
ojection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Ve
r
do
o
laege
genfun
.
cc: fix and document par
a
llel polytope
s
class
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
O
nly compile zso
l
ve if gcc 3
.
4
or lat
e
r
i
s
a
vailable
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoolae
g
e
Mov
e
GiNaC-ind
e
pendent part
of lib
r
ary to barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
po
l
ylib: update
commit
|
commitdiff
|
tree
2007-11-22
Sven V
e
rdoolaeg
e
doc: how to count the number
of el
e
m
ent
s
i
n possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven
V
erdoolaege
doc/i
m
plementation
.
tex: avoid multiply
d
efi
n
e
d la
b
el
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdool
a
ege
latt
i
ce_width
.
c
: try v
e
rt
i
ces of previou
s
integer h
u
lls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc: document integer
hull co
m
p
uta
t
io
n
commit
|
commitdiff
|
tree
2007-11-21
S
v
e
n
Ve
r
doolaege
hull
.
c:
a
dd all points foun
d
by s
a
m
p
ling
d
irec
t
ly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdool
a
ege
Possible optimizations for generalized basis reduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdool
a
ege
Support use of
g
eneralized basis redu
c
tion to compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Verd
o
olaege
add Poly
h
edron_Intege
r
_Minimum for computing the
i
nteger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verdoolaege
d
oc
:
d
o
cument g
e
nera
l
i
zed
basis reduc
t
i
o
n based integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc/barvinok
.
bib:
a
dd m
i
ssing
s
tring
commit
|
commitdiff
|
tree
2007-11-17
Sv
e
n Ver
d
oolae
g
e
a
dd
m
ore mi
s
si
n
g assert
.
h #includes
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
evalue
.
c: add missing
i
nc
l
ude of a
l
loca
.
h
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolae
g
e
configure
.
in: pass path of GMP
i
nstallation to PolyLib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
c
o
nfigure
.
i
n: only compi
l
e
l
i
bbar
v
inok
as a
s
t
atic
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
Polyhedron_Reduced_Basi
s
: don't stop too early
when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
compute_wi
d
th_dir
e
ctions:
o
nl
y
keep list of distinc
t
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
en Verdoolaege
zsolve
:
don't install
libr
a
ry
commit
|
commitdiff
|
tree
2007-11-08
S
v
en Verdool
a
ege
v
ersion
.
c: show use of TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Verd
o
olaege
confi
g
ure
.
i
n
: don't se
t
with_{poly,
p
ip}lib_prefi
x
fr
o
m
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Ver
d
oo
l
a
ege
P
o
lyhedron_Samp
l
e
:
be
satisf
i
ed
w
ith a
r
easonable cho
i
ce
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
S
v
en
V
er
d
oolaege
cone_integ
e
r_hull:
o
ptionally
p
rint stats
commit
|
commitdiff
|
tree
next