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
Bernoulli_sum: handle context constraints
2008-03-31
Sve
n
V
e
rdo
o
l
a
e
ge
Bernoulli_sum: handle context con
s
t
r
aints
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verd
o
olaege
for_e
a
ch_l
o
wer_upper_bo
u
nd: add another
c
allback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
verify
.
c:
adjus
t
def
a
ult range to context if needed
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
eul
e
r
.
c
c: s
u
mmate_o
v
er_domain: only con
s
ider actua
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
doolaege
param_
u
ti
l
.
c: export
P
aram_Vert
e
x_Set_F
a
cets
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
Param_
P
olyhedron_Face
t
: pass
f
a
c
et
defining constr
a
int
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
genfun
.
cc: parallel_polytopes: do
n
't
bother hand
l
ing
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
do
o
laege
evalue_split_d
o
mains_into_
o
rt
h
ants:
d
o
n't redu
c
e evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
evalue
_
read: only allow t
e
rm
s
to cros
s
newlines insi
d
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
evalue_
r
ead: only
a
ccep
t
implicit m
u
ltiplication
on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verdoolaege
evalue
_
read: accept c
o
nstraints containing "'-'
space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oola
e
ge
evalu
e
_ber
n
stei
n
_coe
f
fi
c
ients:
e
nsure res
u
lt p
a
r
titions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
erdo
o
l
a
ege
b
e
rnstein: piec
e
wise_lst: correc
t
ly print and evalua
t
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
r
e
move_
a
ll_equalities:
k
eep re
m
oving param
e
ter
e
qu
a
lities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
e
rdoolaege
update polylib
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdool
a
ege
doc: consisten
t
use
o
f Kev
i
n's initials
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdoolaege
d
o
c
:
update now pub
l
ished papers
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdoo
l
ae
g
e
fo
r
_each_lower
_
upper_b
o
und:
allo
w
a
bsence o
f
lowe
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdoolaege
R
e
vert "ead
d
_partitions:
t
ry t
o
c
om
b
ine
m
u
lt
i
pl
e
domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Verdool
a
eg
e
ev
a
lue_read_partition: put part
i
tions ba
c
k in
t
he same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
doolaege
eval
u
e:
r
e
duce_evalue:
a
dd note on
s
ome misse
d
opportunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdoolaege
bernstein
.
cc:
handle input
w
ith unions
+
r
elation vio
l
ated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
rdoolaege
maximize
.
cc:
d
eal
w
i
th un
i
ons in input during
verification
commit
|
commitdiff
|
tree
2008-03-10
Sven Verd
o
olaege
ev
a
lue_
s
ubstitute: properly handle rela
t
ions
commit
|
commitdiff
|
tree
2008-03-10
Sven Verd
o
olaege
e
va
l
ue
.
c
: clean
u
p emul and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven Verd
o
ol
a
ege
eval
u
e
_read: corre
c
tly r
e
ad variabl
e
name
s
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
doolaege
evalue_
r
ead: ac
c
ept top level
"
rela
t
ion"
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdoolaege
updat
e
p
olylib
commit
|
commitdiff
|
tree
2008-02-29
Sven
V
e
r
d
ool
a
ege
evalue_bac
k
substitute: add required
modulo const
r
ain
t
s
commit
|
commitdiff
|
tree
2008-02-26
Sven Ver
d
oo
l
a
ege
e
v
alue
.
c: *_part
i
t
ion
s
:
s
i
m
plify constraints
b
efore
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven
Verdool
a
ege
doc: m
o
r
e speci
f
ic informatio
n
on b
u
gg
y
cddlib
v
ersion
s
commit
|
commitdiff
|
tree
2008-01-28
Sven
Verdoola
e
ge
c
o
nfigure
.
in: re
q
uire cdd
l
ib
0
.
94
e
by testing for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Verdoolae
g
e
con
f
igure
.
in: only compile occ if cod
e
_
g
en
library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
e
g
e
barvin
o
k 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdo
o
laege
a
d
d so
m
e tests for i
m
p
lementa
t
ion of projection
th
e
ore
m
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolaege
doc: do
c
ument ne
w
o
p
tions and new applications
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
ege
AUTH
O
RS: update s
u
pport informatio
n
commit
|
commitdiff
|
tree
2008-01-16
S
ve
n
Verdo
o
l
a
ege
genfun
.
cc:
short_rat::p
r
int: correctly print
polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Ex
p
ort ser
i
es
as barvinok_enumerate_series and us
e
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
aeg
e
remove_parame
t
er_equalities: stop
"
r
emo
v
ing"
e
qualitie
s
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doolaege
series: leave freeing of
P
argumen
t
to
ca
l
ling functi
o
n
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
d
oc: d
o
cument implementa
t
ion of the pr
o
jection theorem
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaege
add bar
v
inok_e
n
um
e
rat
e
_e_series
implementing the pr
o
j
ecti
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
d
o
ol
a
ege
gen
f
un
.
cc: f
i
x
a
nd
d
ocument par
a
llel po
l
y
t
opes
class
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doo
l
aege
Move GiNaC-
i
ndependent part
of library to bar
v
inok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
o
l
aege
pol
y
lib:
u
p
date
commit
|
commitdiff
|
tree
2007-11-22
Sven
V
erdoolaege
doc: how to
c
ount the numb
e
r of e
l
ements in po
s
s
ibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Ver
d
oolaege
do
c
/implement
a
tion
.
tex: avo
i
d mult
i
p
l
y d
e
f
i
ned label
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n V
e
r
d
o
o
la
e
ge
latt
i
ce_wid
t
h
.
c: tr
y
vertice
s
of p
r
ev
i
ous integer hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdoolae
g
e
doc: document int
e
ger hull
computa
t
ion
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdo
o
la
e
g
e
hull
.
c: add all p
o
in
t
s found by sampling
d
irec
t
ly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoola
e
ge
Po
s
sib
l
e op
t
imi
z
atio
n
s for
gener
a
l
i
zed b
a
sis reduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
Supp
o
rt use of generalized basis
reduction to compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ven Ve
r
doolaege
add Polyhed
r
on_Integer_Minimum for
computin
g
the integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdoolaege
doc: document generaliz
e
d bas
i
s reduction
b
a
s
e
d
int
e
ger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc/barvinok
.
bib:
a
dd missing string
commit
|
commitdiff
|
tree
2007-11-17
Sven V
e
rdoolaeg
e
a
dd mor
e
missi
n
g asse
r
t
.
h
#inc
l
udes
commit
|
commitdiff
|
tree
2007-11-15
S
v
en Verdo
o
l
a
e
ge
c
o
n
figure
.
in: only
compile li
b
ba
r
vinok as a stati
c
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sv
e
n
V
e
rdoo
l
aege
Polyhedron_Redu
c
e
d
_B
a
sis: don't sto
p
too e
a
rly when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven
Verdoolaege
com
p
ute_width_d
i
re
c
tions: only keep list of di
s
tinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdool
a
eg
e
z
so
l
ve:
d
on't
install
lib
r
ary
commit
|
commitdiff
|
tree
2007-11-08
Sven V
e
r
d
o
ola
e
ge
v
e
rsion
.
c:
sh
o
w
use
of TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven
Verdo
o
laege
configure
.
i
n: don't
s
et with_
{
p
o
ly,pip}l
i
b
_prefix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Ve
r
doolaege
Polyhedron_Samp
l
e:
b
e
satisfie
d
with
a r
e
asonable choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
S
ven Verdoolaege
cone
_
i
n
t
e
ger_hul
l
: opt
i
onally print stats
commit
|
commitdiff
|
tree
2007-11-08
S
v
en
V
erdoolaege
basis_r
e
duction:
k
e
e
p
tr
a
ck of number of
L
Ps solved
commit
|
commitdiff
|
tree
2007-11-08
S
ven Verdoolaege
opti
o
ns: move --print-sta
t
s to
l
ibrary
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
bernstein:
r
e
work
t
esting fr
a
mework to n
o
t d
e
pend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
b
e
rnstein
:
add piecewise_ls
t
::is_e
q
ual
commit
|
commitdiff
|
tree
2007-11-07
Sven Ve
r
doolaeg
e
sup
p
ort newer versions of GiNaC (
>
=
1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven
Verdoolaege
standa
r
d_constraint
s
: move
f
r
o
m topcom
.
c to po
l
ysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
polysign
.
h: remove dependency on lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sve
n
Verdoolae
g
e
zsolve: add ba
n
ner
.
h
to distribution
commit
|
commitdiff
|
tree
2007-11-06
Sven Ve
r
do
o
laege
Po
l
yhedron_Lattice_Width
_
Direction
s
:
print progress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoolaege
basis
_
r
eduction_pip:
abort on invalid (empty)
input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
S
v
en Verd
o
olae
g
e
README:
explain
h
o
w t
o
get submodules
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdo
o
l
a
e
ge
doc: document l
a
tti
c
e width comp
u
tation
commit
|
commitdiff
|
tree
2007-11-02
Sve
n
Ve
r
d
oolaege
so
m
e lattice wi
d
th tests
from
J
o
n
Yag
g
ie
commit
|
commitdiff
|
tree
2007-11-01
Sven
Verdoolaege
Polyhedron_Lattice_Width:
dec
i
de o
n
facets t
o
cl
o
se
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
a
d
d Pol
y
hedron_Lat
t
ice_Wid
t
h for comput
i
ng lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
S
v
en
V
erdo
o
laege
h
ilbert
.
c: add Co
n
e
_I
n
teger_
H
ull
for computing vert
i
c
es
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
oolae
g
e
polysign: add pip-backed
v
e
rsion
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
polysign: add constra
i
nts_
o
pt to compute optimum ove
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoolaeg
e
polysign_cdd
:
swit
c
h
t
o
use of M
a
trix repre
s
enta
t
ion
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Ve
r
do
o
lae
g
e
polysig
n
_glpk
:
s
w
itch to us
e
of M
a
trix representation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdoolaeg
e
d
oc:
document c
o
m
p
u
t
ation of Hilbert basis o
f
a cone
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoo
l
ae
g
e
Cone_Hilbert_
B
as
i
s: use standard_constraints
t
o
a
void
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
Ver
d
o
olaeg
e
U
se zsolve to c
o
m
p
ute
H
ilbert basis
of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doolae
g
e
compile z
s
olve
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doolaege
zsolve: do
n
't
i
nstall
headers and executable
s
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
ge
zsolve: ini
t
ialize BackupTime i
n
ZSolve
C
ontext
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoolaege
z
solve: zsol
v
eSystem: add m
i
ss
i
ng verb
o
sity che
c
k
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdo
o
lae
g
e
zsolve
:
override L
I
BS from top leve
l
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoolaege
add 4t
i
2
-1
.
3
.
1+autocon
f
-0
.
1 banner
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoo
l
a
ege
add zsolve from 4t
i
2-1
.
3
.
1
+
autoconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdoolae
g
e
param_util
.
c
: export bit_vector_co
u
nt
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verd
o
olae
g
e
t
o
pcom
.
c:
e
xtract pa
r
t o
f
c
ode
f
o
r
set
t
i
n
g up standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Verdo
o
l
aege
g
en_fun::Ha
d
amard
_
product: pri
n
t progress indicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Verdoola
e
ge
move --verbose option t
o
l
ibrary
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
g
e
n_fun::sum
m
ate: handle full spec
i
a
lizat
i
o
n
commit
|
commitdiff
|
tree
next