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: add monotonicity test
2008-03-31
S
ven Verdoolaeg
e
evalu
e
_r
a
nge_p
r
opagation: add mon
o
tonicity test
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdool
a
ege
b
arvinok
_
maximize: optionally use (basic) range
p
ropagation
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
doolaege
Add
some s
u
pp
o
rt for
de
a
ling w
i
th evalu
e
s that
represe
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
b
arvinok_enumerate: support use
o
f E
u
l
e
r-Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ve
r
doolaege
implement Bernoulli
_
sum a
s
c
onversion fr
o
m unweig
h
ted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
er
d
oo
l
ae
g
e
Bernoulli_sum_eval
u
e
:
expl
o
it
i
nteger bounds to
r
educe
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdool
a
e
g
e
k
eep track
o
f
n
um
b
er o
f
B
e
rnoul
l
i su
m
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ber
n
oulli
.
c:
p
rotect shared evalue
from m
o
di
f
ica
t
ion
s
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
erdo
o
laege
t
est Bernoulli sums based exact
enumeration
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvi
n
ok_c
o
un
t
_
with_options: compute (exact
)
B
ernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli
_
sum_evalue:
o
p
t
i
on
a
lly ha
n
d
l
e fracti
o
n
al
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
lattice_point
.
h: ex
p
o
r
t
fractional_part with C linkage
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
barvino
k
_enumerate_with_opt
i
ons:
comp
u
te (exac
t
)
B
ernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
Berno
u
lli
_
s
u
m_ev
a
lue: handle eq
u
alities
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
Bernoul
l
i
_
s
u
m_evalue: cut off some r
e
dund
a
nt par
t
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
B
ernoulli_sum_evalue: make
s
ure no
empty partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
Bernou
l
li_sum_evalue: remove redu
n
dant constraint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
bernoulli
.
c: minor
refa
c
torin
g
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
Ber
n
o
u
lli_sum: handl
e
conte
x
t constraints
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
Bernoul
l
i_sum_
e
value: make sure enough memory is alloca
t
ed
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
for_ea
c
h_lower_
u
pper_bound: add another ca
l
lba
c
k for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
v
e
rify
.
c: ad
j
u
st default rang
e
to context
i
f needed
commit
|
commitdiff
|
tree
2008-03-31
S
ven
Verdoolaeg
e
euler
.
cc: summat
e
_over_domain
:
only consider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
V
erdoo
l
aege
param_util
.
c: ex
p
ort Param_Vertex_Set_F
a
cet
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Param_Polyhedron_Facet: pass fac
e
t defining co
n
s
t
raint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoo
l
aege
genfun
.
cc: parallel_polytopes: don't bot
h
e
r
handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
e
value
_
split_do
m
a
ins_into_orthants: don't reduce eva
l
u
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
o
olaege
evalue
_
r
ead: on
l
y allow t
e
rms
t
o cross newlines inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
e
value_
r
ead: only accept im
p
l
i
cit multiplication on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_read:
accept constrain
t
s c
o
nt
a
i
n
in
g
"'
-
' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
evalue_bernstei
n
_coeffici
e
nts: ensure result p
a
rtitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verd
o
olaege
ber
n
stein: piecewise_lst: corr
e
ctly
p
rint and
e
valuate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdoolaege
remove_
a
ll_eq
u
aliti
e
s: keep removing parameter equ
a
li
t
i
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
up
d
ate
p
olyl
i
b
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
rdoolaeg
e
d
o
c: consistent use of
Kevin's initials
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Verd
o
ola
e
ge
doc: upd
a
te now published papers
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdoolaege
for
_
e
ach_lower_upper_bound: all
o
w
a
bsence of lo
w
er
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolae
g
e
R
e
vert
"ea
d
d_partitions: try t
o
combine multiple domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
V
erdool
a
ege
evalue_r
e
ad_parti
t
ion: put partitions back in the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
d
o
olaege
eva
l
u
e
:
r
e
d
u
c
e
_evalue: add note on some m
i
ssed
op
p
ortunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
v
en V
e
r
d
oolaege
b
e
rnstein
.
cc: handle input with unions + relatio
n
viol
a
ted
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
maximiz
e
.
cc: de
a
l w
i
th un
i
ons in in
p
ut du
r
ing verification
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Verd
o
olaege
evalue_substitute: properly h
a
ndle rela
t
ions
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdool
a
ege
e
v
alue
.
c:
clean up emul
a
nd eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
d
oolaege
evalue
_
r
e
ad
:
co
r
rect
l
y read variable n
a
m
es
commit
|
commitdiff
|
tree
2008-03-10
Sven Verd
o
ol
a
ege
evalue_read:
a
c
c
e
pt top level
"relat
i
on"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
update polylib
commit
|
commitdiff
|
tree
2008-02-29
Sven Verd
o
olaege
evalu
e
_backs
u
bstit
u
te:
add re
q
u
i
red m
o
d
u
lo co
n
st
r
ai
n
t
s
commit
|
commitdiff
|
tree
2008-02-26
Sven Ve
r
d
o
olaege
evalue
.
c: *_part
i
tions: sim
p
lify constrain
t
s before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
S
v
en
V
erdoolaege
doc: more
s
pecific
i
nformation on
b
uggy cddlib versi
o
ns
commit
|
commitdiff
|
tree
2008-01-28
Sven Verdoolaege
configu
r
e
.
i
n: require
c
ddlib 0
.
94e by testing for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Ve
r
doolaege
c
o
n
f
igure
.
in: only compi
l
e occ if co
d
e_gen library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoolaeg
e
ba
r
vi
n
ok
0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verd
o
olae
g
e
a
d
d some tests fo
r
implementation of pro
j
ection
theorem
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoolaege
d
o
c
:
d
ocument n
e
w
o
ptions
and new
a
pplications
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
aege
AU
T
HO
R
S:
u
pdate support in
f
ormation
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
genf
u
n
.
cc: short_ra
t
::print: c
o
r
r
ectly print polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolaege
E
x
port series as b
a
rvinok_
e
numerate_series and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
r
d
oolaege
remove_parameter_equalities
:
stop "removing" equalities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
series:
l
eave freeing o
f
P argument t
o
cal
l
ing function
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verd
o
ola
e
g
e
d
o
c
:
d
ocument imple
m
entation of the projection theo
r
em
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoolae
g
e
a
d
d barvinok
_
enumerate_
e
_
s
eri
e
s implementi
n
g the projection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdo
o
la
e
ge
g
e
n
f
un
.
cc: fix a
n
d document parallel polytopes class
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
e
r
d
oolaeg
e
Only comp
i
le
z
solve
if
gc
c
3
.
4 or later is
avai
l
a
ble
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doola
e
ge
Move GiNaC-independent par
t
o
f
l
i
brary to
b
arvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
a
e
ge
polylib: upd
a
te
commit
|
commitdiff
|
tree
2007-11-22
Sv
e
n Verdoola
e
ge
doc: how to cou
n
t the number of
elements in possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaege
doc/im
p
lemen
t
ation
.
tex: avoid mu
l
tiply d
e
fined
label
commit
|
commitdiff
|
tree
2007-11-21
Sven Ver
d
oolaege
lattice_wid
t
h
.
c:
try vertices of
p
re
v
ious i
n
teger hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ve
r
do
o
laege
doc: do
c
ume
n
t integer
hull com
p
ut
a
tion
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdo
o
la
e
ge
hull
.
c
: ad
d
a
ll
point
s
found by
s
ampling dire
c
tly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
Possible
optimizati
o
ns for generalized basis reductio
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
Ver
d
oolaege
Support use of generalize
d
basis reduction to comput
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
add Po
l
yhedron_Integer_Mi
n
i
m
u
m fo
r
computing the in
t
e
ge
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Verdoolaeg
e
doc: d
o
cument gen
e
r
al
i
zed basis re
d
u
ction based integ
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdo
o
laege
d
o
c
/barvinok
.
bib: add
m
i
ssing st
r
i
n
g
commit
|
commitdiff
|
tree
2007-11-17
Sv
e
n Verdoolaege
add
m
ore missin
g
as
s
e
r
t
.
h #includes
commit
|
commitdiff
|
tree
2007-11-17
Sven Verd
o
olaege
eval
u
e
.
c
:
add
missing inclu
d
e of a
l
loc
a
.
h
commit
|
commitdiff
|
tree
2007-11-17
S
v
e
n
Verdoolae
g
e
configure
.
in: pass path of
GMP installa
t
ion to P
o
lyLi
b
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
con
f
i
gure
.
i
n
: only compi
l
e libbarvino
k
as a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
en Verdoolaege
Polyhedron_Redu
c
ed_Basis: don't stop too early when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
ve
n
V
e
rdoo
l
aege
compute_
w
id
t
h_directions: only ke
e
p list of d
i
s
t
inct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
ven
Verdool
a
e
ge
zsolve: do
n
'
t insta
l
l
libra
r
y
commit
|
commitdiff
|
tree
2007-11-08
S
v
en Verdoolaege
versio
n
.
c
: s
h
o
w us
e
of TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdo
o
laege
configure
.
i
n: don't set
with_{poly,pip}lib_prefix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Verdoolaege
P
olyhedro
n
_Sampl
e
: be satisfied with
a reas
o
nable choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolae
g
e
cone_inte
g
er_hull: opti
o
nally print
stats
commit
|
commitdiff
|
tree
2007-11-08
S
v
en
Verdoolaege
basis_reduct
i
on: keep trac
k
of
n
u
mbe
r
o
f
LPs solved
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
options: move
-
-print-stats to libra
r
y
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
b
e
r
nstei
n
: re
w
o
r
k
testing fram
e
work to not depend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdo
o
laege
bernst
e
in: add piecewise_lst::is_equa
l
commit
|
commitdiff
|
tree
2007-11-07
S
v
en Verdool
a
ege
support new
e
r v
e
rsions of GiNaC (>
=
1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven Ver
d
oolaege
sta
n
d
ard_cons
t
raints: move from t
o
pco
m
.
c
to polysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoo
l
aege
polysign
.
h: remov
e
d
e
pendency
on lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sve
n
Ve
r
doolaege
zsolve: add banner
.
h t
o
di
s
tribution
commit
|
commitdiff
|
tree
2007-11-06
Sven
V
erdoolaeg
e
Polyhedron_Latti
c
e_
W
idth_Dir
e
ctions: print
pr
o
gress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven
Ver
d
oolae
g
e
basis_reducti
o
n_pip:
a
bort on
i
n
valid (empty) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolae
g
e
R
EADME: explain h
o
w
t
o ge
t
submodules
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
doc: document lattice width computation
commit
|
commitdiff
|
tree
2007-11-02
Sv
e
n Verdoolaege
some latti
c
e width
tes
t
s
from
Jon Yaggie
commit
|
commitdiff
|
tree
next