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_evalue: remove redundant constraint in one of the cases
2008-03-31
Sve
n
Verdoolaege
Bernoulli_sum_evalu
e
: r
e
m
ov
e
re
d
undant
c
onstr
a
int i
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
bernoulli
.
c
:
min
o
r r
e
factoring
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Be
r
no
u
l
li_
s
um: handle context constr
a
ints
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
for_each_low
e
r
_upper_bound: add ano
t
he
r
c
allback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
verify
.
c: adjus
t
d
efault range to conte
x
t i
f
needed
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
euler
.
cc
:
summ
a
te_o
v
er_domain: only
co
n
sider actua
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verdoola
e
ge
param_uti
l
.
c: e
x
port Param_Vert
e
x
_
Set_Fac
e
ts
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
Param
_
Polyhedron_Facet: pass facet defining co
n
straint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
g
enfu
n
.
cc: par
a
llel_polytope
s
: don't bo
t
her ha
n
dling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
evalue_s
p
lit_domains_into_orthants: don't reduce e
v
alue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
o
lae
g
e
evalue_read: only
a
llo
w
terms to cro
s
s newline
s
in
s
i
d
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
ae
g
e
evalue_read: only accept imp
l
icit mu
l
tip
l
ication on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
e
v
alue_r
e
a
d
: acc
e
pt constraints
c
o
n
taining "'-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_ber
n
stei
n
_coeff
i
cients: ensure resul
t
partitio
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verd
o
o
l
aege
bernstei
n
:
piecewise_lst
:
cor
r
ectl
y
print
a
nd
e
v
a
luate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdoolaege
remo
v
e_a
l
l_equalities: kee
p
removing parameter eq
u
alities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
V
erdoolaege
update polylib
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdoo
l
ae
g
e
doc: co
n
si
s
tent use of Kevin's in
i
t
i
als
commit
|
commitdiff
|
tree
2008-03-24
Sven Ver
d
oolaege
doc:
update now
pub
l
ished papers
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Verdoolaege
for_each_lower_upper_bound: allow ab
s
enc
e
of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
Ve
r
doolaege
Revert "e
a
dd_partit
i
ons: try to combine
multiple domai
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven Verdoolaege
evalue_
r
ead_partitio
n
: put partiti
o
ns ba
c
k i
n
the
s
ame
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdo
o
l
a
ege
evalue: reduce_ev
a
lue: a
d
d
note on some missed opportunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verd
o
olaege
bern
s
tein
.
cc: h
a
n
dl
e
i
n
put with union
s
+ relation viol
a
ted
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
m
a
ximize
.
c
c
:
d
ea
l
with unions in
i
nput during ve
r
ification
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
erdoolaege
evalue
_
substi
t
ute:
p
roperly
h
andle relations
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue
.
c:
clea
n
up
e
m
ul and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdo
o
laege
evalu
e
_read:
c
orre
c
tly read variable names
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Ver
d
oolaege
evalue_
r
e
a
d: ac
c
ept
top lev
e
l "relati
o
n"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoo
l
aege
u
p
date polylib
commit
|
commitdiff
|
tree
2008-02-29
S
ven Verdool
a
ege
ev
a
lue_backsub
s
t
i
tute: add requ
i
red m
o
dulo
c
o
n
s
t
raints
commit
|
commitdiff
|
tree
2008-02-26
S
ven V
e
rdoolaege
ev
a
l
u
e
.
c:
*
_pa
r
titions: sim
p
l
i
f
y
c
o
nstraints
be
f
ore
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Verdoolaege
doc: more spe
c
ifi
c
information on buggy cddlib versions
commit
|
commitdiff
|
tree
2008-01-28
Sven Verdo
o
lae
g
e
co
n
figure
.
i
n: require c
d
dlib
0
.
94e by te
s
ting for b
u
g
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
S
ve
n
Verdoolaege
con
f
ig
u
re
.
in:
only comp
i
le oc
c
i
f c
o
d
e
_gen library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
barvinok 0
.
2
6
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoolaege
add
some
t
ests
for implementation of projection the
o
rem
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Ve
r
doolae
g
e
doc: documen
t
new opt
i
on
s
a
n
d new a
p
p
lication
s
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
la
e
ge
AUTHORS: updat
e
suppo
r
t info
r
mation
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n V
e
rdoolaege
genfu
n
.
c
c
:
s
hort_rat::print: correc
t
ly print polyn
o
mials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
olaege
Exp
o
rt series as barvinok
_
enumerate_series and
u
se
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
e
r
doolaeg
e
remov
e
_param
e
ter_equ
a
lities: stop "removing"
equa
l
i
t
ies
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoo
l
aege
s
er
i
es: le
a
ve
freeing of P
argument to call
i
ng function
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
doc: document implementation of
th
e
projec
t
ion t
h
eo
r
em
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oolaege
a
dd
barvi
n
ok_e
n
umerate_e_serie
s
imple
m
enting
the projecti
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verd
o
olaege
gen
f
un
.
cc: fix and document p
a
ralle
l
po
l
ytopes cl
a
ss
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoolaege
M
o
ve
GiNaC
-
i
n
depend
e
nt
part of libra
r
y
to bar
v
inok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Ve
r
doolaege
polyl
i
b
: update
commit
|
commitdiff
|
tree
2007-11-22
S
ven Verdoolaege
do
c
: how
t
o c
o
unt the number
of
e
l
e
m
e
n
ts in possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaege
doc/i
m
plem
e
ntation
.
t
e
x: avo
i
d
mul
t
iply defined
la
b
e
l
commit
|
commitdiff
|
tree
2007-11-21
S
ven Verdoola
e
ge
latti
c
e_width
.
c
: try ve
r
tices of prev
i
ous integer hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoo
l
aege
d
o
c: d
o
cument int
e
ger hu
l
l computation
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdool
a
ege
hul
l
.
c: add all
poin
t
s fo
u
n
d
b
y sa
m
pli
n
g directly
t
o
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ver
d
oolaege
Po
s
sible optimi
z
ations for gen
e
ralize
d
b
a
s
i
s red
u
ction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n
Verdoola
e
ge
Support use of genera
l
ized basis
r
ed
u
c
tion
t
o compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n
Verdoolaege
ad
d
P
o
lyhedron_Integ
e
r
_Minim
u
m
for c
o
mputing
t
h
e in
t
eger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc: doc
u
ment
g
eneralized bas
i
s reduction
based integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Ver
d
oo
l
aege
d
o
c/barv
i
nok
.
b
i
b: add m
i
ssing string
commit
|
commitdiff
|
tree
2007-11-17
Sven Ve
r
d
oolaege
add more missing asse
r
t
.
h #includes
commit
|
commitdiff
|
tree
2007-11-15
Sven V
e
rd
o
ola
e
ge
config
u
r
e
.
i
n: only compi
l
e libba
r
vinok as a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven
Verdo
o
laege
P
o
lyhedron_Reduced_Basis:
d
on
'
t stop too early
w
hen
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven
V
erdoolaege
compute_width_d
i
rections: on
l
y keep list of dist
i
nct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
zsolve: don't
i
nstall library
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdool
a
ege
version
.
c: show us
e
of
TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven Ver
d
oolaege
c
onfigure
.
in
:
don't set w
i
t
h
_{poly,pip}lib_prefix fro
m
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven
Verdoolaege
Polyhedr
o
n_Sa
m
p
le: be satisfied w
i
th a reaso
n
able choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
erdo
o
l
ae
g
e
cone_i
n
teger_hul
l
: optiona
l
ly p
r
int
s
t
a
t
s
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Verdoo
l
aege
b
asis_
r
edu
c
t
ion: kee
p
tra
c
k o
f
numbe
r
of LPs solved
commit
|
commitdiff
|
tree
2007-11-08
Sven
Verdoolaege
opti
o
ns: mov
e
--print-stats
to libra
r
y
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n Verdoolae
g
e
be
r
n
stein: rework t
e
s
ting framework t
o
n
o
t
depend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
bernstein: add piecewise_
l
st::is_equal
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolae
g
e
su
p
port new
e
r
v
e
rsions of GiNaC (>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven V
e
rdoolaege
s
tandard_co
n
straints:
move from
topcom
.
c to
p
olysi
g
n
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n
V
e
r
doolaege
polysign
.
h
: remov
e
dependency on lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
S
v
e
n
Verdoolaege
zsolve: add banner
.
h to distr
i
bution
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoo
l
aege
Po
l
yhedron_Lattice_Width_Directions:
p
rint pr
o
gress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Verd
o
olaege
basis_
r
eduction_pip:
a
bor
t
o
n inval
i
d (empty) inpu
t
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Ve
r
doolaege
README: expla
i
n h
o
w
to ge
t
s
u
b
m
odul
e
s
commit
|
commitdiff
|
tree
2007-11-02
Sven V
e
rdoo
l
aege
d
o
c
: document lattice width comp
u
tati
o
n
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoo
l
aege
som
e
latt
i
ce width
test
s
from Jon Yaggie
commit
|
commitdiff
|
tree
2007-11-01
S
v
en Verdoo
l
aege
Polyhedron_Lattice
_
Width: decid
e
on face
t
s to close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
add Polyhedro
n
_Lattice_Width for computing latt
i
c
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven
Verdoolae
g
e
hilbert
.
c: add Cone_Inte
g
er_Hull for computing ve
r
tices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolae
g
e
p
oly
s
i
g
n
: add pip-backed ve
r
s
i
on
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
olaege
polysign: add constra
i
nt
s
_
o
pt
to compute opti
m
um ov
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoo
l
ae
g
e
po
l
ysign_
c
dd: swit
c
h to use
o
f
M
a
t
r
ix repr
e
sentation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
polysign_glpk: s
w
itch t
o
use of Matrix
repres
e
ntation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
e
rdoolaege
doc: do
c
ument com
p
utation
of Hilbert ba
s
is of a c
o
n
e
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoolae
g
e
Cone_Hilbe
r
t_Bas
i
s
: use standard_cons
t
raints to av
o
id
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdo
o
l
a
e
g
e
Use zsolv
e
to compute Hilbe
r
t basis
o
f a con
e
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Ver
d
o
olaege
c
o
mpile zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoolae
g
e
zsolve:
d
on't ins
t
all headers and exe
c
uta
b
les
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdo
o
la
e
ge
zsolve:
initialize BackupTime
in ZSolveContext
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoolaege
z
s
o
lve: z
s
olveS
y
stem: add missing
verbosity check
commit
|
commitdiff
|
tree
2007-10-31
S
v
e
n
Verdoolaege
zsolve: overrid
e
LIBS from
t
o
p level
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdoolaege
add 4ti2-1
.
3
.
1+autoc
o
nf
-
0
.
1 banner
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
a
dd
z
s
o
lv
e
from 4ti2
-
1
.
3
.
1+
a
u
toconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
par
a
m
_util
.
c:
e
xp
o
rt bi
t
_
ve
c
tor_count
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
e
rdoolaege
topcom
.
c:
e
xtrac
t
part of code for setting up standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Verdoolaege
gen_fun::Hadam
a
rd_
p
roduct: pr
i
nt progres
s
indicator
.
.
.
commit
|
commitdiff
|
tree
next