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
Param_Polyhedron_Facet: pass facet defining constraint add Value *
2008-03-31
Sven Verdoolaeg
e
P
a
ram_P
o
ly
h
ed
r
on_F
a
cet
:
pass facet defining
constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaeg
e
genfun
.
cc:
p
arallel_polyto
p
es:
d
on'
t
bother
h
andling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
e
v
a
lue_split_
d
omains_into_
o
r
t
hants: don
'
t
r
e
d
uce e
v
alue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_read: only allow terms
t
o cross newlines insi
d
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolae
g
e
evalue_read:
on
l
y accept
i
m
pli
c
it m
u
ltipli
c
ation on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
eva
l
ue
_
r
e
ad: acc
e
pt
c
o
n
straints contain
i
ng "'-' sp
a
ce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
evalue_berns
t
ein_coe
f
fi
c
ients: ensure
r
es
u
lt part
i
tions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Verdoolaege
bernstein: piec
e
wis
e
_lst:
correctly
p
rint
a
n
d
e
v
a
luate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
remove_all
_
eq
u
a
lities: keep remov
i
ng parameter equalitie
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdoola
e
ge
update
polylib
commit
|
commitdiff
|
tree
2008-03-24
S
v
en
V
erdoolaege
do
c
:
c
o
nsistent use of Kevin's in
i
ti
a
ls
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
doc: up
d
ate now published papers
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
erdoolaege
f
o
r
_each_lo
w
er_u
p
per_bou
n
d: allow abs
e
nce of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven V
e
r
do
o
laege
Revert "eadd_partiti
o
ns:
t
ry
to c
o
mbine
mul
t
iple d
o
mains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n
V
erdoolaege
evalue_read_partit
i
on:
p
ut part
i
tions back in t
h
e
s
ame
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Verd
o
olaege
evalue: reduce_
e
value: add
note on some missed opportunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verd
o
olaege
bernstein
.
c
c: handle i
n
put with u
n
ions
+ r
e
lation viola
t
ed
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
d
o
o
lae
g
e
ma
x
imize
.
cc
:
dea
l
with
u
nio
n
s
in input duri
n
g verificat
i
o
n
commit
|
commitdiff
|
tree
2008-03-10
Sven Verd
o
olae
g
e
ev
a
lue_sub
s
titute:
pro
p
erly handl
e
re
l
at
i
o
ns
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdo
o
lae
g
e
evalu
e
.
c
:
clean u
p
e
m
ul and
eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue_
r
ead: correct
l
y read var
i
able na
m
e
s
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
doolaege
evalue_read: a
c
cep
t
top le
v
e
l
"relat
i
on
"
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verdoolaege
up
d
ate
p
olyli
b
commit
|
commitdiff
|
tree
2008-02-29
Sven
V
erd
o
o
laege
e
v
a
lue_backsubstit
u
te: add requ
i
r
ed mod
u
lo
c
o
n
straints
commit
|
commitdiff
|
tree
2008-02-26
Sven Verdoolaege
evalu
e
.
c: *_
p
a
r
t
iti
o
n
s: simpl
i
f
y constraints before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
S
ven Ve
r
doola
e
ge
d
o
c: m
o
re spec
i
fic information on b
u
ggy c
d
dl
i
b vers
i
o
ns
commit
|
commitdiff
|
tree
2008-01-28
Sven Ver
d
oolaege
confi
g
ur
e
.
in:
require cddli
b
0
.
94e
b
y te
s
ting for b
u
g
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Verdoo
l
aege
configure
.
in
:
only c
o
mpile occ
i
f
code_gen library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n
Verdoolaege
barvinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verd
o
olaege
add som
e
te
s
ts for
implementation of projection theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaeg
e
doc: docum
e
nt new
o
ptions and new applic
a
tio
n
s
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Ver
d
oola
e
ge
AUTH
O
R
S
:
up
d
ate support information
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
genfun
.
cc:
s
hort_rat::print: correc
t
ly print polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaeg
e
Export series a
s
barvinok_en
u
me
r
ate_series
a
nd use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
remove_parameter
_
equalities: stop "removing
"
equalities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
serie
s
: leav
e
freei
n
g of P arg
u
ment to callin
g
functio
n
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoolaege
doc: document implementation of
t
he proj
e
cti
o
n theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
add barvinok_enume
r
a
t
e
_e_seri
e
s implemen
t
i
ng the pr
o
jection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
olaege
genfu
n
.
cc: fix and document para
l
lel p
o
lyt
o
pes class
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
e
rdoo
l
a
ege
On
l
y co
m
pile z
s
o
l
ve if gcc 3
.
4 or late
r
is avai
l
a
b
le
commit
|
commitdiff
|
tree
2008-01-16
S
ven
V
erdo
o
laege
Move GiNaC-indep
e
ndent part of li
b
rary to barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
laege
poly
l
ib: update
commit
|
commitdiff
|
tree
2007-11-22
Sv
e
n
Verdoolaege
d
o
c:
how to count
t
he number of elements in possi
b
ly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaeg
e
doc/implemen
t
ation
.
tex: a
v
oid multip
l
y
d
e
f
ined l
a
bel
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdo
o
laege
lattice_width
.
c: try verti
c
es o
f
prev
i
ous integer hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
Verdoolaege
d
oc: do
c
ument
i
n
t
eger hull co
m
putat
i
on
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Verdoolaege
hull
.
c: add
a
ll points found by sampling dir
e
ctl
y
to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Verdo
o
laege
Possibl
e
o
p
timizatio
n
s for generalized
basis redu
c
tio
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoola
e
ge
Su
p
por
t
use
o
f
g
eneralized basis reduction to comp
u
t
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
add Polyhedron_Int
e
g
er_Minimum for computing
t
he
i
n
teger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdoolaege
doc:
docu
m
ent
g
eneralized basis reducti
o
n
b
a
s
e
d integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdool
a
ege
doc/ba
r
vinok
.
bib:
a
dd missing string
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
add m
o
re
m
i
s
sing assert
.
h #inc
l
udes
commit
|
commitdiff
|
tree
2007-11-17
Sven
Verdoolaege
evalue
.
c: add missing include o
f
alloca
.
h
commit
|
commitdiff
|
tree
2007-11-17
Sven Ver
d
oola
e
g
e
configure
.
i
n: pass pat
h
of GMP insta
l
l
ation to PolyLib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
configure
.
i
n: only compil
e
libb
a
rvinok as a sta
t
ic
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sv
e
n V
e
rdoolae
g
e
Polyhe
d
r
o
n_Redu
c
ed_Basis:
don't stop
t
oo ear
l
y when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Ver
d
oolaege
co
m
pute_w
i
dth_directio
n
s: o
n
ly keep list of d
i
stinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoo
l
aege
z
solve: don't ins
t
a
ll library
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n Ver
d
ool
a
eg
e
version
.
c: show use of TO
P
COM
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
configure
.
in:
d
on't s
e
t with_{p
o
ly,pip}lib_prefix fr
o
m
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoo
l
aege
Polyhedron_
S
ample:
be
s
atisfie
d
w
i
th a
r
eason
a
ble choic
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoo
l
a
e
ge
c
o
n
e
_
int
e
g
e
r_hull: opti
o
nally p
r
int stats
commit
|
commitdiff
|
tree
2007-11-08
S
v
en Ve
r
doolaege
b
asis_r
e
duct
i
on: k
e
ep track of nu
m
ber of LP
s
solved
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
erdool
a
ege
op
t
ions: move --
p
rint-stats to library
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoola
e
ge
bern
s
tein: rework t
e
st
i
ng framework
to not
de
p
end on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdool
a
ege
ber
n
st
e
in: add piecewis
e
_lst::is_eq
u
a
l
commit
|
commitdiff
|
tree
2007-11-07
S
v
en V
e
rdoo
l
aege
support newer versions of G
i
NaC
(
>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven Ver
d
oolaege
s
t
andar
d
_constraints: move fr
o
m
t
o
pc
o
m
.
c to polysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
erd
o
olaeg
e
polysign
.
h: remove dependency on lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
S
ven Verdoolaege
zsolve
:
a
dd
banner
.
h to
distribution
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoo
l
a
ege
Polyh
e
dron_L
a
ttice_Wid
t
h_Directions:
p
r
int progress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoolaege
basis_redu
c
tion
_
pip: abort on invalid (empty
)
input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verd
o
olae
g
e
README: explain how to get
s
u
bmodules
commit
|
commitdiff
|
tree
2007-11-02
Sv
e
n Verdoolaege
doc: docume
n
t lattice
w
idth computation
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
som
e
lattice width t
e
sts
f
rom Jon Yagg
i
e
commit
|
commitdiff
|
tree
2007-11-01
S
v
en Ve
r
doolaege
Polyhedron_Latt
i
ce_Width: decide on face
t
s to cl
o
s
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Ve
r
d
o
olaege
add
Poly
h
e
d
ro
n
_
L
attice_W
i
d
t
h
fo
r
com
p
uting la
t
tice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoo
l
aege
h
ilbert
.
c: add Cone_Intege
r
_H
u
ll
f
o
r computing vertices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
polysign: add p
i
p-backed
v
ersion
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
ool
a
ege
polys
i
gn: add const
r
aints_opt to compute optimum
over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
pol
y
s
i
g
n
_cdd: switch to use
o
f Matrix representatio
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
l
aege
polysign
_
g
lp
k
: switch to use of
M
atrix rep
r
esentation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
doc
:
d
o
cument
c
o
mputation of Hil
b
ert basis o
f
a co
n
e
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoolaege
Cone_Hilbert_Basi
s
: u
s
e
s
tand
a
rd_constraints to avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
e
n Verdoolaege
Use
z
solve to compute Hilber
t
b
asis of a
c
one
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
ol
a
ege
comp
i
le zs
o
lve
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
olaege
zsolve: don't inst
a
ll headers
and exec
u
t
ables
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoo
l
aege
z
s
o
l
v
e: init
i
alize BackupTim
e
in ZSolv
e
Context
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
z
solve: zsolv
e
Sys
t
e
m
: add missin
g
verbosity che
c
k
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
oolaege
zsolve: override L
I
BS from top leve
l
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaege
add 4ti2
-
1
.
3
.
1
+auto
c
on
f
-0
.
1
b
a
n
ner
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoolaege
add zsolve from 4ti2-1
.
3
.
1
+
aut
o
conf-
0
.
1
commit
|
commitdiff
|
tree
2007-10-31
S
ven
V
erdoolaege
param
_
ut
i
l
.
c: exp
o
r
t
b
it_vecto
r
_co
u
n
t
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
aege
topcom
.
c
:
extract par
t
of
code
fo
r
set
t
ing up standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
S
v
e
n Verdoolaege
g
e
n_fun::H
a
damard_
p
r
o
duct:
prin
t
progress indicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Verdoolaege
m
o
ve --v
e
rbose option t
o
library
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
gen_fun::s
u
mmat
e
: han
d
l
e
f
ull spe
c
ializat
i
on
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdo
o
laege
R
eplace in
c
remental
i
nfinite se
t
counter by
"
regular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verd
o
olaege
m
a
ke c
o
unter::add_falling
_
po
w
ers
static
commit
|
commitdiff
|
tree
next