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
summate.c: add missing return values
2008-03-31
Sven Verdoolaege
ve
r
ify
.
c: extra
c
t
c
omm
o
n code for verifying operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalu
e
_range_p
r
opagat
i
on: add monotonicity test
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoo
l
aege
barvino
k
_max
i
m
i
ze: o
p
tion
a
lly use (basic) range propagati
o
n
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
Add s
o
me support for dealing with evalu
e
s t
h
at repres
e
nt
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
Verdo
o
laege
b
a
rvinok_
e
numerat
e
: su
p
port use of
E
uler-Macl
a
urin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ve
n
Ver
d
o
o
laege
imp
l
ement B
e
rnoulli_sum
as con
v
ersi
o
n from unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
Bernoulli_su
m
_evalue: exploit
inte
g
er bounds to
reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
keep tr
a
ck of numb
e
r of Be
r
noull
i
su
m
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
bernoull
i
.
c: pr
o
tect shared eval
u
e f
r
o
m mo
d
ificatio
n
s
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdool
a
ege
test
Be
r
n
oulli sums based
e
xact enumerat
i
on
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
ba
r
vinok_count_with_options: c
o
m
p
ut
e
(e
x
a
ct) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum_evalue: opti
o
nal
l
y
handle
f
rac
t
ional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
lattice_point
.
h: export fra
c
tio
n
a
l_
p
art with C li
n
kage
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ver
d
oolaege
barvinok_enu
m
erate_
w
ith_option
s
:
c
ompute (exact)
B
ernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
Bernoulli_sum
_
eval
u
e: handle equalities
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
Bernoulli_sum_evalue:
cu
t
o
ff
s
ome
r
e
dundant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bern
o
ulli_sum_evalue: m
a
k
e
sure
no
empt
y
p
a
rt
i
tions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
er
d
oolaege
Bernoulli_sum_e
v
alue: rem
o
ve redu
n
dant
constraint
i
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
bernoulli
.
c: mi
n
or refactoring
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ve
r
doo
l
aege
Bernoulli_sum: handle c
o
ntext constrai
n
ts
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdo
o
lae
g
e
Bern
o
u
lli_sum_evalue: make
s
ure enough
mem
o
ry
is
a
llocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoola
e
ge
for_each_lower_uppe
r
_b
o
und
:
add
a
no
t
her callback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ver
d
oolae
g
e
verify
.
c: ad
j
u
s
t default range t
o
contex
t
if ne
e
ded
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rd
o
olaege
euler
.
cc: summate_over_domai
n
:
only consider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
Verdoolae
g
e
param_util
.
c: export
Pa
r
am_Vertex_S
e
t_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
Param_Polyhedron_Facet: pass
facet defining
constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
genfun
.
cc: parallel
_
polytop
e
s
:
do
n
't bot
h
er h
a
n
dling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
eval
u
e_split_do
m
ains_
i
nto_orthants
:
don't r
e
duce
e
v
alue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
evalue_read: only allow
t
erms to cross newlines i
n
si
d
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_read: only accep
t
im
p
l
icit multi
p
l
ication on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoo
l
aege
evalue_read
:
accept
cons
t
raints
c
ontaini
n
g "'-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
evalue_bernstein_c
o
efficients: ensure result par
t
iti
o
ns
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoo
l
a
ege
bernstein: piecewise_ls
t
: correctly p
r
int
a
n
d
evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdoolaege
r
emove_a
l
l_equalities: keep
r
e
mov
i
ng param
e
te
r
equa
l
i
t
ie
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
u
pdate
p
olylib
commit
|
commitdiff
|
tree
2008-03-24
S
v
en
Verdoolaege
d
oc: consis
t
ent u
s
e
of Kevin's in
i
tial
s
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdoolaege
doc: update now published papers
commit
|
commitdiff
|
tree
2008-03-24
S
v
en
V
erdo
o
l
a
ege
for_each
_
lower_upper_
b
ound:
all
o
w abs
e
nce
o
f lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
erdoolaege
Rev
e
rt
"eadd_partitions: try to combine m
u
ltipl
e
d
omains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
e
v
alue_read_partition: pu
t
partit
i
ons back in the
s
ame
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Ver
d
oo
l
aege
evalu
e
:
reduce_evalue: add note on some miss
e
d o
p
por
t
unities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdo
o
laege
bernstein
.
cc:
h
andle input with unions
+ r
e
l
a
tion
v
iolate
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
maximize
.
cc:
d
ea
l
wit
h
uni
o
ns
in in
p
u
t
dur
i
ng
v
erific
a
tion
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue_substitute: properly hand
l
e
relations
commit
|
commitdiff
|
tree
2008-03-10
Sven Verd
o
o
laege
e
value
.
c:
clean
up emul and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoola
e
ge
evalue_read:
correc
t
ly read
v
ar
i
abl
e
names
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue_
r
ead: ac
c
ept top lev
e
l "re
l
atio
n
"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
u
p
date po
l
ylib
commit
|
commitdiff
|
tree
2008-02-29
Sven Verdoolaege
evalue_backsubstitut
e
:
add requ
i
re
d
mod
u
lo constraints
commit
|
commitdiff
|
tree
2008-02-26
Sven Verdoola
e
ge
evalue
.
c: *_partiti
o
n
s: sim
p
lify
constraints before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
S
ven Ve
r
doolaege
doc: more sp
e
cif
i
c information on
b
uggy cddlib
versions
commit
|
commitdiff
|
tree
2008-01-28
Sven Verdoola
e
ge
conf
i
gure
.
in:
r
equire cd
d
lib 0
.
94e by t
e
sting for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Ve
r
do
o
laege
configure
.
in: only comp
i
le
o
cc
i
f code_g
e
n lib
r
ary
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
barvinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oolaege
add some
t
ests
f
or
i
mplementation
o
f
projec
t
i
on th
e
orem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaeg
e
doc
:
document new options and n
e
w
ap
p
lications
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
AUTH
O
RS:
u
pd
a
te support information
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
genfun
.
c
c
:
short_rat::print:
c
o
r
rectly print
p
olyn
o
mial
s
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
ege
Export s
e
ries as bar
v
in
o
k_enumerate_series and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
r
e
move_parameter_equ
a
lit
i
es: stop "removing" equalities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n
V
e
rd
o
olae
g
e
s
e
r
ies: leave freeing of
P
argument to calling
function
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolae
g
e
doc: d
o
cument implementation of
t
he
p
r
ojectio
n
theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
e
g
e
add ba
r
vinok_enumerate_e_series
implementing t
h
e
projecti
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Ve
r
d
oolaege
genfun
.
cc: fix and docu
m
e
n
t
p
arallel polytopes class
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
ege
Only compile zsol
v
e if gcc 3
.
4 o
r
later is available
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
e
r
d
o
o
l
aege
Move
GiNaC-in
d
e
penden
t
p
art
of libra
r
y to barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoo
l
aege
p
o
l
y
lib: up
d
ate
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaege
doc: ho
w
to count
th
e
number of elem
e
nts in possib
l
y
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven V
e
rdool
a
eg
e
doc/implementation
.
tex:
av
o
id multiply
d
efined labe
l
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Ver
d
oolaege
lattice
_
w
idth
.
c: try v
e
r
t
ices of previous integer hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verd
o
olaege
d
o
c: document
integer hu
l
l
computa
t
ion
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
hull
.
c
: add
all
p
oints
found
by samp
l
i
n
g dire
c
tly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
V
erdoolaege
Po
s
si
b
le optimizations f
o
r ge
n
eralized ba
s
is reduct
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoola
e
ge
Support us
e
of
g
eneral
i
zed
b
asi
s
reduction to compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoo
l
aege
a
dd Polyhe
d
ron_
I
nteger_Minim
u
m
f
or computing th
e
i
n
teger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Verd
o
olaege
d
oc: document
gene
r
alize
d
b
asis
r
e
ducti
o
n base
d
integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
d
oc/barvin
o
k
.
bib
:
add
missi
n
g
string
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
add mor
e
m
i
ssi
n
g assert
.
h #includes
commit
|
commitdiff
|
tree
2007-11-17
S
ven Verdoolaege
e
v
al
u
e
.
c: add
mi
s
sing include of alloca
.
h
commit
|
commitdiff
|
tree
2007-11-17
Sven
V
erdool
a
ege
co
n
figur
e
.
in: pass path
o
f GMP
installatio
n
to Pol
y
Lib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoola
e
ge
co
n
fi
g
ure
.
i
n
:
only compile libbarvinok as a stat
i
c
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sve
n
Verdoolaege
Polyhedron_Reduced
_
Basis: don'
t
stop to
o
e
ar
l
y w
h
en
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
e
n
Verdoo
l
aege
compute_width_
d
irec
t
io
n
s: only
k
e
e
p l
i
st o
f
distinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
en Verdoolaeg
e
zsolve:
don
'
t
i
nstall
l
ibrary
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoo
l
aege
v
ersi
o
n
.
c: s
h
o
w
use of TO
P
COM
commit
|
commitdiff
|
tree
2007-11-08
S
ven Ve
r
do
o
laege
c
o
n
figure
.
in: don
'
t
s
et
wi
t
h_{poly,pip}lib_pre
f
ix fro
m
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Ver
d
oolaege
Po
l
yhedro
n
_Sam
p
l
e:
be satisfi
e
d with a reas
o
nable choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
cone_
i
n
teg
e
r_hull: opt
i
onally print stats
commit
|
commitdiff
|
tree
2007-11-08
S
v
en Ve
r
doolaege
basis_reduc
t
io
n
: k
e
ep track o
f
number of L
P
s
s
o
lved
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Verdool
a
ege
o
pti
o
ns
:
move --print
-
stats
to
l
ib
r
ary
commit
|
commitdiff
|
tree
2007-11-07
S
v
e
n
Verdoolaege
bernst
e
in: re
w
ork
testing framework to not dep
e
nd on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
ber
n
s
t
ein: add
p
iecewis
e
_
lst:
:
is_e
q
ua
l
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
support newer versions
o
f GiNaC
(
>
= 1
.
3
.
8
)
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
s
t
andard_const
r
ai
n
ts:
mo
v
e from
topcom
.
c to polys
i
gn
.
c
commit
|
commitdiff
|
tree
2007-11-07
S
ven Ve
r
d
o
olaege
po
l
ysign
.
h:
rem
o
v
e
dependency
o
n lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven
Verd
o
olaege
zsolve: ad
d
ba
n
n
er
.
h
t
o
distribution
commit
|
commitdiff
|
tree
2007-11-06
Sven
V
e
rdoo
l
ae
g
e
Polyhedron_Latt
i
ce_Wi
d
th_Direction
s
: pri
n
t progress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven
V
erdoolaege
ba
s
i
s
_
reductio
n
_pip: abo
r
t
o
n
i
nvalid (
e
mpty) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven
V
erd
o
o
l
aege
R
E
ADME: e
x
plain how to get submo
d
u
l
es
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
doc:
d
ocumen
t
lattice width computation
commit
|
commitdiff
|
tree
next