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
evalue_range_propagation: remove redundant polynomials from results
2008-03-31
Sven Verdoolaege
evalue
_
ran
g
e_propagation:
re
m
ove redu
n
d
a
n
t
polynomia
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdo
o
laege
test_bou
n
d: re
c
ord nu
m
b
er
of polynomia
l
s
as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
t
est_b
o
un
d
: c
o
nvert quasipolyno
m
i
als to polyn
o
mials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verd
o
ol
a
ege
test_bound: compare p
o
l
y
nomia
l
bound algorithms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
veri
f
y
.
c: optimum: han
d
l
e
i
n
p
u
t
evalu
a
ting to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
verify
.
c: extra
c
t
evalue_
o
ptimum from maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ve
r
doolaege
v
erify
.
c: extract common code fo
r
verifying o
p
eration
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_range_
p
ro
p
agation: add mo
n
oton
i
city test
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ver
d
oolaege
barvinok_maximize: optionally use (basic) range propagat
i
on
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Add some support for dealing with evalues
that represe
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
e
rdoolaege
barvinok_enumera
t
e:
support use of Euler-Ma
c
l
a
urin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdo
o
l
aeg
e
imple
m
e
n
t Bernoul
l
i_sum
a
s conv
e
rsion from unweigh
t
ed
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
erdoolaege
Bernoul
l
i_su
m
_evalu
e
:
explo
i
t int
e
ger bounds to r
e
duce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaeg
e
keep track of numbe
r
of Berno
u
lli sums
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
Verdool
a
ege
bernoulli
.
c
:
prote
c
t share
d
evalue fr
o
m
mo
d
i
f
i
c
a
tio
n
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
t
est Bern
o
u
lli sums b
a
sed
exact enumeration
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
ba
r
vin
o
k
_
c
o
u
n
t_with_options: compute (exac
t
) Ber
n
oulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
B
e
rnoulli
_
su
m
_evalue:
o
ptio
n
ally ha
n
dle fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
latt
i
ce_po
i
nt
.
h
:
export fractional_p
a
rt wi
t
h C l
i
nk
a
ge
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
ol
a
ege
barvinok_enumerate_with_
o
ption
s
: c
o
mp
u
te
(exact) Bernoull
i
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bern
o
ulli_sum_eva
l
u
e
:
handle equalities
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
Bernoulli_sum_ev
a
lue: cut off some redundan
t
parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
Bernoulli_sum_ev
a
lue:
make sure no empty
p
artitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
Bernoulli_sum
_
e
v
alue:
r
emove redundant constraint
i
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
o
laege
bern
o
ulli
.
c: minor r
e
f
a
ctoring
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
Bernoulli_sum: handl
e
con
t
ext
constr
a
ints
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdo
o
laege
Bernoulli
_
s
um_evalue
:
make sure enough mem
o
r
y is
allo
c
ated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ver
d
oola
e
ge
for_e
a
ch_lower_upp
e
r_bou
n
d
: add another call
b
a
ck f
o
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
v
e
rify
.
c: adjust
d
e
f
ault r
a
nge
t
o
c
o
nte
x
t if needed
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
dool
a
ege
eu
l
e
r
.
cc: s
u
mmate_over
_
domai
n
: on
l
y consider
actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
V
erdoolaeg
e
param_util
.
c
:
e
xport Para
m
_Ver
t
ex_Se
t
_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
a
e
ge
P
a
ram_Polyhedron_Facet: pass facet defining constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
genfun
.
cc: pa
r
all
e
l_polytop
e
s: do
n
'
t
bother handlin
g
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
d
oolae
g
e
evalue_split_domains_into_o
r
thants: don't
r
educe eval
u
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolae
g
e
evalue
_
re
a
d: only allo
w
t
e
rms to cros
s
newlines in
s
id
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
evalu
e
_read: only accept implic
i
t multiplicatio
n
on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
evalu
e
_
r
e
ad: ac
c
ept constraint
s
c
ontaining "'-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_
b
e
r
n
s
tein_coe
f
ficie
n
ts: ensure result partiti
o
ns
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
b
e
rnste
i
n:
pi
e
cew
i
s
e_lst:
c
orrectly print
a
nd ev
a
l
uate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
e
r
doo
l
a
e
ge
remove_all
_
equalities: keep r
e
movi
n
g para
m
ete
r
equalities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
upd
a
te pol
y
lib
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
doc: consist
e
nt
u
se of Kev
i
n'
s
initia
l
s
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
doc
:
u
p
date
now published pape
r
s
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
for_each_lower_upper_bound: a
l
low
a
bsenc
e
of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
r
d
o
o
l
a
e
ge
Revert "eadd_pa
r
titions: try to
c
ombin
e
m
ultiple do
m
ains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdoolaege
e
value_
r
ead_pa
r
tition: put partitions b
a
ck in
t
h
e
same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Ver
d
oolae
g
e
e
v
a
l
ue: reduc
e
_evalue: add note on some m
i
s
se
d
o
p
portu
n
itie
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
bernstein
.
cc: handle in
p
u
t
with u
n
ions + relatio
n
violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
ven Ve
r
doolaege
maximize
.
cc
:
d
e
al wi
t
h un
i
ons in input during ver
i
fication
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n
V
erdoolaege
evalu
e
_sub
s
titute: pr
o
perly h
a
ndle rela
t
i
ons
commit
|
commitdiff
|
tree
2008-03-10
S
v
en
V
e
r
d
o
olaege
evalue
.
c: clean up emul and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
erdoolaege
evalue_
r
ead: correctly
read v
a
ri
a
b
le nam
e
s
commit
|
commitdiff
|
tree
2008-03-10
Sven
Verdoolaege
eva
l
ue_re
a
d: accept top level "
r
elation"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
upda
t
e polylib
commit
|
commitdiff
|
tree
2008-02-29
Sven Verdoolaege
evalue_backsubstitute:
add required modulo con
s
traints
commit
|
commitdiff
|
tree
2008-02-26
Sven V
e
r
d
ool
a
ege
evalue
.
c:
*
_p
a
rtitions: simplify constraints befo
r
e
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Verdoolaege
doc: more sp
e
cific in
f
ormati
o
n o
n
buggy cddlib v
e
rsio
n
s
commit
|
commitdiff
|
tree
2008-01-28
Sven Verdool
a
ege
co
n
fig
u
re
.
in: r
e
quire cdd
l
ib
0
.
94e b
y
test
i
ng for b
u
g
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven
V
e
rdoolae
g
e
configure
.
in: only c
o
mpile occ if co
d
e_gen library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
b
a
rvinok
0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoolaeg
e
ad
d
some tests for implementati
o
n of proj
e
ction the
o
rem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
doc:
do
c
u
ment new opti
o
n
s and new appl
i
cations
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
A
U
THORS:
u
pdate supp
o
r
t
in
f
ormation
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolaege
ge
n
fu
n
.
cc: sho
r
t_rat::print: correctly pri
n
t polyno
m
i
als
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
er
d
oolaege
E
xport seri
e
s as barvinok_enumerate_series
and u
s
e
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verd
o
olaege
rem
o
v
e_paramet
e
r_
e
qual
i
ties
:
stop "removing" equal
i
ties
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n
V
e
rdoolaege
series: l
e
a
ve freein
g
of
P
argument to calling
function
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
doc: d
o
cument
i
mplementat
i
on of
the projec
t
ion theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
ad
d
barvi
n
ok_en
u
merate_
e
_ser
i
es implemen
t
ing the projection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoolaege
ge
n
fun
.
cc: f
i
x and
document
p
arallel polytopes class
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
aeg
e
Only compil
e
zsolve
if gcc
3
.
4 or later is available
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoolaege
M
ove
GiNa
C
-independent
part of library
to barvin
o
k
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
olaege
p
o
l
y
l
ib: update
commit
|
commitdiff
|
tree
2007-11-22
Sv
e
n Verdoo
l
a
e
ge
doc
:
ho
w
to
c
oun
t
the num
b
er
o
f ele
m
en
t
s in possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven
V
e
r
doolaege
do
c
/implementation
.
tex: avoid multiply defined
l
a
b
el
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Verdo
o
l
a
ege
la
t
tic
e
_w
i
dth
.
c
:
try vertices of
previous integer hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Ver
d
o
olaege
doc: document
i
nte
g
e
r
hu
l
l computation
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdoolaege
h
u
ll
.
c:
add all point
s
found by sampli
n
g
directly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoola
e
ge
Possible opt
i
mizations f
o
r generalized
b
a
si
s
reduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
Verdoolaege
Sup
p
ort
use
o
f gene
r
alized basis r
e
d
uction to compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erd
o
ola
e
ge
add
P
oly
h
edron_Intege
r
_Min
i
mum for computi
n
g
t
he
i
nt
e
ger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ven Verdool
a
ege
doc: d
o
cument gen
e
ra
l
ized basis reduction ba
s
ed integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ve
n
Verdoolaege
d
o
c/barvinok
.
bib:
add missing str
i
ng
commit
|
commitdiff
|
tree
2007-11-17
Sve
n
V
erdoolaeg
e
ad
d
m
o
re missing assert
.
h #inc
l
udes
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
configure
.
in: only compile lib
b
arvi
n
ok as a
static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verd
o
olae
g
e
Polyhedron_Reduced
_
Basi
s
:
do
n
't stop
too early whe
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
co
m
pute_wi
d
th_directions
:
only ke
e
p list of distinc
t
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
e
n
Verdo
o
l
aege
zsolve: don't install li
b
r
ary
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdo
o
laege
versi
o
n
.
c: sho
w
use of TO
P
CO
M
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
con
f
i
g
ure
.
i
n: don'
t
set with_{poly,pip}
l
ib_prefix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolae
g
e
Polyhedr
o
n_
S
ample: be sati
s
f
ied w
i
th a reasonable choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven V
e
rdoola
e
g
e
cone_i
n
teger_hu
l
l
:
optionally p
r
in
t
stat
s
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
basis_red
u
ct
i
on: keep track of num
b
er of LPs so
l
v
e
d
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoola
e
g
e
o
pt
i
ons: mo
v
e --print-stats t
o
library
commit
|
commitdiff
|
tree
2007-11-07
Sven V
e
rd
o
ol
a
ege
ber
n
ste
i
n: rework t
e
sting fr
a
mewo
r
k
to
not depend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
S
ven Verdo
o
laege
bernstein: add piecewis
e
_lst:
:
is_eq
u
al
commit
|
commitdiff
|
tree
2007-11-07
Sven Ver
d
oolae
g
e
s
upport newer versions of G
i
NaC (>= 1
.
3
.
8
)
commit
|
commitdiff
|
tree
2007-11-07
S
v
en Verdoolaege
standar
d
_cons
t
raints:
mov
e
from topcom
.
c
t
o polysig
n
.
c
commit
|
commitdiff
|
tree
2007-11-07
S
v
e
n Verdoola
e
g
e
polysign
.
h
: rem
o
ve dep
e
n
dency on lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sve
n
Verdoolaege
z
s
ol
v
e: add banner
.
h to distribution
commit
|
commitdiff
|
tree
next