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
Sven Ver
d
o
ol
a
ege
c
om
p
il
e
pa
r
ker
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
Add par
k
er
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laeg
e
euler
.
cc: evalue_derive: hand
l
e constan
t
pol
y
no
m
ials
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
add some test
s
ets from cases 2004 and cc 20
0
5
p
ape
r
s
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoola
e
ge
ren
a
me
b
a
rvinok_maximize to b
a
rvinok_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
add a test for test_bound
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Ve
r
doolaege
ev
a
lu
e
_
r
an
g
e
_prop
a
g
ation: remove redundant polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
test_bound: record n
u
mb
e
r of polynomials as "siz
e
"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test_bo
u
nd:
conv
e
rt quas
i
pol
y
nomia
l
s to polynomial
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
tes
t
_bou
n
d: compare poly
n
omial bound
a
lgorithms
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
verify
.
c:
optimum: hand
l
e in
p
ut evaluating to n
e
gative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
doolae
g
e
verify
.
c:
e
x
t
ract evalue_
o
ptimum fr
o
m maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verd
o
o
l
aege
verify
.
c: extrac
t
commo
n
c
o
de
for
verifying
operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
o
olaege
evalue
_
range_pr
o
pag
a
tio
n
: add monoton
i
c
i
ty t
e
s
t
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
barvinok_maximize:
o
pt
i
onally u
s
e (basic) r
a
nge pr
o
pagatio
n
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
Add
s
ome
s
uppor
t
f
o
r dealing with ev
a
l
u
es that r
e
pr
e
sent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verd
o
ol
a
ege
barvinok_enumerate: supp
o
rt
u
se o
f
Eul
e
r-Macl
a
u
r
in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
g
e
im
p
l
e
ment Bern
o
ulli_sum
a
s
co
n
vers
i
on from unwei
g
hted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
B
ernoulli_
s
u
m
_evalue: ex
p
loit
i
nteger bounds to reduc
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
keep
t
rack
of number o
f
B
ern
o
ull
i
s
u
ms
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
bernoul
l
i
.
c: protect shared evalue f
r
om modifications
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
t
est Bernoulli
s
ums based
e
xac
t
enumer
a
tion
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
barvinok_count_with_optio
n
s
:
com
p
u
t
e
(exact)
Ber
n
oulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_s
u
m_eva
l
ue: opt
i
onally h
a
n
d
l
e f
r
actional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdo
o
l
aege
latt
i
c
e
_
p
o
int
.
h: export
f
ract
i
onal_part with C
l
inkage
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verd
o
olaege
barvin
o
k_enumerate_wi
t
h_o
p
tio
n
s:
c
ompute (e
x
a
ct) Bern
o
ulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
o
o
l
aege
Bernoulli_sum_e
v
a
l
ue
:
handle equalitie
s
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdo
o
laeg
e
Bernoulli_s
u
m_eval
u
e
: cut off
so
m
e
redundant
p
arts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
Bernoul
l
i_sum_evalue
:
make
sure n
o
e
m
p
ty par
t
itio
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
Bernoulli
_
sum_evalue: remove
r
e
dundan
t
co
n
straint
in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verd
o
o
l
a
ege
b
ernoulli
.
c
:
minor refa
c
torin
g
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
ola
e
ge
Be
r
noulli_sum: handle
context
c
ons
t
rai
n
ts
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdo
o
laege
Bernoulli_sum_evalue: make
s
ure en
o
ugh
m
e
m
o
ry is allocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
for_each_lower_upper_bound
:
a
d
d ano
t
h
e
r callback
for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
Verdoolaege
verify
.
c: adjust default range to context
if nee
d
ed
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
euler
.
cc: summ
a
te
_
o
v
er_domain: only co
n
sider ac
t
ual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
par
a
m
_u
t
il
.
c: e
x
port P
a
r
a
m_Ve
r
tex_Set_Fac
e
ts
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Par
a
m_Polyhedron_Facet: pass facet def
i
n
ing constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaeg
e
g
e
nfun
.
cc: parall
e
l_p
o
lytopes: don't
b
other handl
i
ng
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
evalu
e
_split_do
m
a
ins_
i
n
t
o_orth
a
nts: don't r
e
duce eval
u
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
evalue_r
e
a
d: onl
y
allow terms
t
o
cross newli
n
es
i
nside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
oolaege
evalu
e
_read: only accept implicit multiplicati
o
n
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaeg
e
e
v
alue
_
read: accept constraints containi
n
g "'-' s
p
ace
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doo
l
aege
ev
a
lue_bernstein_coeffic
i
ents:
e
nsure r
e
sult parti
t
i
ons
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdoolaege
b
e
rnstein:
p
iec
e
wi
s
e_lst: c
o
r
r
ectly
prin
t
and eva
l
uate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdool
a
ege
rem
o
ve_
a
ll_equal
i
tie
s
: keep removing paramete
r
e
qualities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
u
p
dat
e
polylib
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdoolae
g
e
d
o
c: consis
t
ent use of
Kevin's ini
t
ials
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
doc: upda
t
e
n
ow published
p
apers
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdoo
l
ae
g
e
for_each
_
lower_upp
e
r_
b
ou
n
d
:
allow absence of
lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Ve
r
doolaege
Rev
e
rt "eadd
_
partitions: try to c
o
mbine
multiple d
o
mains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdo
o
l
a
ege
evalue_re
a
d_parti
t
i
o
n: put partit
i
o
n
s
back in the
s
ame
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
e
v
alue: reduce_evalue: add note
on some missed opportuniti
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoo
l
a
e
ge
bern
s
tein
.
cc: handle in
p
ut w
i
t
h unions + relation vio
l
ated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoo
l
a
ege
maximiz
e
.
cc
:
de
a
l
w
ith unions in input du
r
ing verif
i
cation
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaeg
e
e
v
alue_
s
ubs
t
itute: properly handle rela
t
i
o
ns
commit
|
commitdiff
|
tree
2008-03-10
Sven
Verd
o
olaege
evalue
.
c:
c
l
ean u
p
emul
and
eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
e
r
d
o
olaege
evalu
e
_read: c
o
rrectly
r
ead
variable
n
a
m
es
commit
|
commitdiff
|
tree
2008-03-10
Sven Verd
o
olaege
ev
a
lu
e
_read: accept top level "rela
t
ion"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdool
a
ege
update
poly
l
i
b
commit
|
commitdiff
|
tree
2008-02-29
Sven
Verdoolaege
evalue_ba
c
k
s
ubstitute: add
required modulo c
o
nst
r
aints
commit
|
commitdiff
|
tree
2008-02-26
Sve
n
Verdoolaeg
e
eva
l
ue
.
c:
*
_pa
r
titions:
simplify constraints b
e
fore
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Ver
d
oola
e
g
e
doc: more specific info
r
mati
o
n on b
u
g
gy
c
ddl
i
b version
s
commit
|
commitdiff
|
tree
2008-01-28
Sven
Ver
d
oo
l
aege
c
onfigure
.
in: require cd
d
lib
0
.
94e by testing fo
r
bu
g
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Verdo
o
laege
c
onfigure
.
i
n: only compile occ if cod
e
_gen library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
laege
b
arvinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
aege
add some tests for impl
e
m
e
ntation of projection t
h
eorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
do
c
:
documen
t
new opt
i
ons and n
e
w application
s
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
AU
T
HORS
:
update supp
o
rt information
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoolaege
g
en
f
un
.
c
c: short_rat::print: correct
l
y p
r
int
p
o
l
ynomial
s
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdo
o
lae
g
e
E
x
p
o
rt series a
s
barvinok_enu
m
e
rate_series
a
nd
use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Ve
r
doo
l
a
e
ge
remove_parameter_equal
i
ties: stop "removing" equa
l
ities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdool
a
ege
series: leave freeing of P argument to calling funct
i
on
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoolaege
doc: docume
n
t implem
e
n
tation of
t
he pr
o
j
ection theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
olaege
add
b
arvinok_enumerate_e_series implementing the projection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Ve
r
doolaege
genfun
.
cc: fix and
d
ocument parallel polytopes cla
s
s
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
laege
Onl
y
compile zsolve if gcc 3
.
4 or
l
ater i
s
available
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolae
g
e
M
o
ve GiNaC-independent
part of libra
r
y to barvi
n
ok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
pol
y
l
i
b: update
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaege
doc: ho
w
t
o
count the nu
m
ber of
ele
m
ents in poss
i
bly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
S
ven V
e
rdo
o
laege
doc/
i
m
plementation
.
tex:
a
void multiply d
e
fined label
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
lattice_wi
d
th
.
c:
t
r
y
vertices of p
r
e
vi
o
us in
t
eger hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdoolaege
d
o
c: document integer hull
com
p
utation
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
hull
.
c:
a
dd all p
o
ints fo
u
nd b
y
s
ampling di
r
ectly
to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
Possible optimization
s
for gener
a
lized basis re
d
ucti
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verd
o
olaege
Support use of genera
l
ized basis reduc
t
io
n
to
c
o
m
p
ute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ver
d
oolaege
add Poly
h
edron_Integer_Minimum for
computing
t
h
e in
t
eger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Verdool
a
ege
doc: document generalized basis reduction
b
ased i
n
te
g
er
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ver
d
oolaege
d
o
c/barvin
o
k
.
bib: add missin
g
s
tring
commit
|
commitdiff
|
tree
2007-11-17
Sve
n
Verdoolaege
add
more
m
issing ass
e
rt
.
h
#includes
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolae
g
e
evalu
e
.
c: add missi
n
g inc
l
ude of alloca
.
h
commit
|
commitdiff
|
tree
2007-11-17
S
ven
V
erdoolaege
con
f
igure
.
in:
pass path of
G
MP installation to PolyLib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sv
e
n Ver
d
oolaege
configure
.
in:
o
nly compile libbarvinok
a
s
a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
e
n Verdoolae
g
e
Polyhedron
_
Red
u
c
e
d_
B
asis: don't stop too early when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
e
n Verdoo
l
aege
c
o
mpute_w
i
dth_di
r
ections:
only
k
e
ep
l
ist
o
f distinc
t
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
zsolve
:
don't insta
l
l library
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
erdoolaege
version
.
c: s
h
ow use of TOP
C
OM
commit
|
commitdiff
|
tree
2007-11-08
S
v
e
n Verd
o
olaege
c
o
nfigu
r
e
.
in
:
don't set with
_
{poly,pip}lib
_
pref
i
x from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
e
r
doola
e
g
e
P
o
lyhedron_Sample: be satisfied with a r
e
asonable
choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Ve
r
doola
e
g
e
c
o
ne_integ
e
r_hull: o
p
tionally p
r
i
n
t sta
t
s
commit
|
commitdiff
|
tree
next