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
Sven Verd
o
o
l
a
e
ge
eval
u
e
_range_prop
a
gation: add
m
onoton
i
city
t
est
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvi
n
ok_maximiz
e
: optionally
u
se (basic) range p
r
o
p
a
g
a
t
ion
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolae
g
e
Add some support fo
r
dealing with e
v
alues that rep
r
esent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoola
e
ge
barv
i
nok_
e
n
umerate: support use of Eu
l
e
r-
M
aclau
r
i
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
impl
e
ment Bern
o
ulli_sum
as co
n
version from unwe
i
ghted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Ber
n
oul
l
i_sum_evalue: exploit integer boun
d
s
t
o reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
keep track of number
o
f Bern
o
u
lli sums
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
erdoolaege
b
e
rnoull
i
.
c: protec
t
shared evalue from modification
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test Berno
u
lli sums b
a
s
e
d
exact enumera
t
i
on
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
barvin
o
k_count_with_o
p
tions: compute (exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
Bernoulli_sum_e
v
a
l
u
e
:
op
t
ionally handle fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ver
d
oolaege
lattice_point
.
h: exp
o
rt frac
t
ional_pa
r
t
wi
t
h C
l
inkage
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdoolaege
b
a
rvino
k
_enumerate_with_options: compute (exact) Berno
u
lli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolae
g
e
Bernoulli_sum_
e
value: handle eq
u
alities
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
Be
r
noulli_sum_eva
l
ue:
cut off some
r
edundant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Be
r
n
o
u
l
li_sum_eva
l
u
e
: ma
k
e
sure no empty
partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ve
r
doolaege
Ber
n
oulli_sum_evalue: remove redundant const
r
a
int in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
b
e
r
n
o
u
lli
.
c: minor r
e
factoring
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolae
g
e
Berno
u
lli_sum: handle context constr
a
ints
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ver
d
o
ol
a
e
g
e
Bernoull
i
_s
u
m_eval
u
e
:
make sure enou
g
h memory
is all
o
cat
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaeg
e
f
o
r_each
_
lower_
u
pper_bound: add another c
a
llback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
v
e
rify
.
c: adjust def
a
ult range to context if ne
e
ded
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdoolaeg
e
e
uler
.
cc
:
summate_over_domai
n
:
on
l
y
co
n
sider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
par
a
m_util
.
c: export Par
a
m_Vertex
_
Set_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
P
a
ram_Po
l
yhedron_
F
ace
t
:
p
ass
facet defining constra
i
nt
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n V
e
rdoolaege
gen
f
un
.
cc: parallel_poly
t
opes:
d
on't
bo
t
her han
d
l
ing
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdool
a
ege
e
va
l
ue_spl
i
t_domains_into_orthants: don't
redu
c
e evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
Ve
r
doola
e
ge
evalu
e
_read: on
l
y allow terms to cross
ne
w
lines
inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ver
d
o
ola
e
ge
eval
u
e_read: only accept impl
i
c
it mul
t
iplication on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n V
e
rdoolaege
eval
u
e_read: accept constraints containing "'-'
s
pace
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
ev
a
lue_ber
n
stei
n
_coeffici
e
nts: ensure
r
esult part
i
tions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaeg
e
bernste
i
n: pie
c
e
w
ise_lst:
c
or
r
ectly p
r
int
a
nd ev
a
luate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdo
o
laege
re
m
ove_all_equalit
i
es
:
keep removing
p
aramete
r
e
q
ualities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n
Verdoo
l
aege
update
p
olylib
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
doc: c
o
nsiste
n
t use of Kevin's
initials
commit
|
commitdiff
|
tree
2008-03-24
Sven
Ve
r
doolaege
doc:
update now pub
l
i
s
hed pap
e
rs
commit
|
commitdiff
|
tree
2008-03-24
Sven Ve
r
d
oolaege
for_ea
c
h_
l
o
w
er_upper_bound:
allow absenc
e
of
l
o
wer
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en
V
e
rdoolaege
R
e
vert "ea
d
d_partitions: try to c
o
mb
i
ne multip
l
e
domain
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
rdoolae
g
e
evalue
_
read_
p
artitio
n
:
put partit
i
ons back i
n
the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Ver
d
oolaege
evalue: reduce_evalue: a
d
d
note on s
o
me mis
s
ed opp
o
rtu
n
iti
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdool
a
ege
bernstein
.
cc: handle
in
p
ut
with unions + rel
a
tion
violate
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
ma
x
i
m
i
ze
.
cc: de
a
l wit
h
unions in
input
during verification
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Verdoolaege
evalue
_
subst
i
tute:
p
roper
l
y handle relations
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Verdool
a
ege
eva
l
ue
.
c: clean up emul and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Ver
d
oolaege
evalue
_
r
e
ad:
correctly read variabl
e
names
commit
|
commitdiff
|
tree
2008-03-10
S
ven V
e
r
dool
a
ege
evalue_read: accept top le
v
el "
r
elat
i
o
n
"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaeg
e
u
p
d
at
e
poly
l
ib
commit
|
commitdiff
|
tree
2008-02-29
Sv
e
n
Verdoo
l
aege
ev
a
lue_
b
acksubsti
t
ute: ad
d
r
e
quired modulo constr
a
ints
commit
|
commitdiff
|
tree
2008-02-26
Sve
n
Verdoolae
g
e
evalue
.
c:
*
_partitions:
simpl
i
fy cons
t
raints before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Verdo
o
laege
d
o
c
:
more specific information on
b
uggy cddlib vers
i
ons
commit
|
commitdiff
|
tree
2008-01-28
Sven Verd
o
olaege
co
n
f
i
g
ure
.
i
n
:
require c
d
dlib 0
.
94e b
y
te
s
ting fo
r
bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Ve
r
doolaege
co
n
figure
.
in: o
n
ly compile occ
if code_
g
e
n librar
y
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdo
o
laege
b
a
r
vinok
0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
g
e
a
d
d
s
ome tests for implementation
o
f
p
rojection theo
r
em
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoolaege
doc: do
c
ument n
e
w op
t
ions and
n
ew applications
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
ge
AU
T
HORS:
up
d
ate
support information
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
d
oolaege
genfun
.
cc: sh
o
rt_rat::
p
rint:
correctly print polyn
o
m
ials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdool
a
e
g
e
Export seri
e
s
a
s b
a
rvinok_en
u
m
e
rate
_
se
r
ies and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n Ver
d
oolaege
remo
v
e_parameter_equalities: stop "removing" e
q
ualities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oolaege
se
r
i
e
s: leave
f
reeing of P a
r
g
u
m
ent to
c
alling function
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doolaeg
e
do
c
: do
c
ument im
p
lem
e
nt
a
tion of t
h
e
p
rojection
the
o
rem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
a
dd barvinok
_
en
u
merate_e_series implementing t
h
e projection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaeg
e
g
enfun
.
cc:
fix
and d
o
cument pa
r
allel polytop
e
s class
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n Verdoo
l
ae
g
e
Only c
o
mpile zsolve if gcc
3
.
4
or
l
ater is ava
i
l
a
ble
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n
Ve
r
doolaege
Move GiNaC-
i
n
dependent part of library
t
o barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en V
e
r
d
oolaeg
e
polylib:
u
pdate
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdool
a
ege
doc: how to
c
o
unt t
h
e number
o
f
elements i
n
possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Ver
d
oolaege
d
oc/im
p
lementat
i
on
.
tex: avoid multiply
d
e
fined label
commit
|
commitdiff
|
tree
2007-11-21
Sven Verd
o
ola
e
ge
la
t
tice_width
.
c:
t
ry ver
t
i
c
es of previous integer hull
s
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven V
e
rdo
o
laege
doc: document integer hull computation
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Verdoolaege
hull
.
c
:
add all points
f
o
und by sampling direc
t
l
y
t
o
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
Possible optimi
z
at
i
ons for
g
ener
a
lized bas
i
s reduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
Support use of
ge
n
eral
i
zed basis re
d
u
c
tion to compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven V
e
r
doolaege
add Po
l
yh
e
dron_Integer_Minimum for
comput
i
ng the in
t
ege
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n
Verdoolaege
d
o
c: document g
e
neralized basis reduction
based integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ven Verd
o
olaege
d
oc/barv
i
n
ok
.
bib
:
add miss
i
ng string
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
add
m
ore missing assert
.
h #incl
u
de
s
commit
|
commitdiff
|
tree
2007-11-17
Sven
Verd
o
olaeg
e
e
value
.
c: add missing include o
f
alloca
.
h
commit
|
commitdiff
|
tree
2007-11-17
S
ven Ver
d
oolaege
configu
r
e
.
in: pass p
a
th of GMP installation to
P
olyLib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sv
e
n Verdool
a
ege
conf
i
gure
.
in: only c
o
mpile
libbarvinok
a
s
a
static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Ver
d
oolaege
Polyhedro
n
_R
e
d
u
ced_Basi
s
: don't st
o
p too
e
arly when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
compute_width_dire
c
tions: only keep list of distinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven
Verdo
o
laege
zso
l
ve: don
'
t install library
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
ver
s
ion
.
c:
show use o
f
T
OPC
O
M
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoo
l
ae
g
e
configure
.
in: don
'
t
s
et
with_
{
pol
y
,pip
}
lib_pref
i
x from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
S
ven
Verdoo
l
aege
Po
l
yhe
d
ron_Sample: be s
a
tisfi
e
d with a reasonable choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven V
e
rdoolae
g
e
cone
_
integer_hull:
optionally p
r
int s
t
ats
commit
|
commitdiff
|
tree
2007-11-08
S
v
en Verdoolaege
basis_r
e
ductio
n
: keep t
r
ack of
number of LPs solved
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
op
t
ions:
m
o
ve --print-stats to
library
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
berns
t
ei
n
: rework testing
fram
e
work to not depend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n Verdoolaege
bernstei
n
: add piecewise_ls
t
:
:
is_equal
commit
|
commitdiff
|
tree
2007-11-07
Sven Ve
r
doolae
g
e
s
u
p
p
ort newer
versions of GiNaC (>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven Verd
o
olaeg
e
standard_c
o
nstraints:
m
ove from topcom
.
c to
p
olysi
g
n
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoo
l
aege
polysign
.
h: remov
e
d
epend
e
ncy on lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n
Verdo
o
l
aege
zso
l
ve: add
b
anner
.
h to distribut
i
on
commit
|
commitdiff
|
tree
2007-11-06
Sven
Ver
d
oolaege
Polyhedron_Lat
t
i
c
e_Width_Directio
n
s: print progress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Verd
o
olaege
basis_redu
c
t
ion_pip: abort on inv
a
lid (empty)
i
n
pu
t
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
REA
D
M
E
:
explain ho
w
to get submo
d
u
les
commit
|
commitdiff
|
tree
2007-11-02
Sven Ve
r
doolaege
doc:
d
ocu
m
en
t
lattice width
c
omputation
commit
|
commitdiff
|
tree
2007-11-02
Sven
Verdool
a
ege
some lattice widt
h
t
e
sts from Jon Yaggie
commit
|
commitdiff
|
tree
next