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
update piplib for corrected Urs_parms handling
2008-03-31
S
v
en Ve
r
doolaege
v
erify
.
c:
a
djust default range t
o
context if needed
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ve
r
dool
a
e
g
e
eu
l
er
.
cc: sum
m
ate_over_dom
a
in: only consider
actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaeg
e
param_util
.
c: expo
r
t P
a
r
a
m_Vertex_Set_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
ool
a
e
ge
Pa
r
am
_
P
o
ly
h
edron
_
F
a
cet:
p
a
s
s f
a
c
e
t
d
efining cons
t
raint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolae
g
e
gen
f
un
.
cc: paralle
l
_polytopes: d
o
n't bother handli
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
eva
l
ue
_
split_d
o
mains_into_or
t
hants: d
o
n't reduce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
lae
g
e
eval
u
e_read:
o
nly
a
llow terms to cross new
l
ine
s
inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ev
a
lue_r
e
ad: on
l
y
accept implicit
multiplication
on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
evalue_read: accept constraints con
t
a
ining "'-'
s
pace
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
doolaege
evalue_
b
ern
s
tei
n
_c
o
e
f
ficients: ensure
r
esult partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Ve
r
doolaege
bernstein: piece
w
ise_lst
:
correctly print and
evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdo
o
laege
remove_all_
e
qualities: kee
p
removing param
e
ter
e
qualitie
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven Ver
d
oolaege
update polylib
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
er
d
oolaege
doc: consisten
t
use of K
e
vin's ini
t
ials
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdoolaege
doc
:
update n
o
w published
papers
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdoolaege
for_each_lower_upper_bound:
allow absence
o
f
low
e
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
rdool
a
eg
e
R
e
vert "eadd_part
i
tio
n
s:
try to combine mu
l
tiple domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Verdoolaege
evalue_read_par
t
itio
n
: p
u
t p
a
rtitions
b
ack
in the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
e
value: r
e
du
c
e_evalue: add n
o
te
o
n
some missed opportunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
bern
s
te
i
n
.
cc: handl
e
input with uni
o
ns + relation v
i
o
l
ated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verd
o
ola
e
ge
m
a
ximize
.
c
c
:
de
a
l with
u
nions in in
p
ut durin
g
v
e
r
i
ficat
i
o
n
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdo
o
laege
e
v
a
lue
_
s
ubstit
u
te: properly handle re
l
ations
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
eva
l
u
e
.
c: c
l
ean up emul
an
d
eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
eva
l
ue_r
e
ad:
c
o
r
rectly read
v
ariab
l
e names
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verdoolaege
evalue_rea
d
: accept top le
v
el "rela
t
ion"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
u
pda
t
e
p
olyl
i
b
commit
|
commitdiff
|
tree
2008-02-29
S
v
e
n Verdool
a
ege
e
value_backsubst
i
tute: add required m
o
dulo constrai
n
ts
commit
|
commitdiff
|
tree
2008-02-26
Sven Ve
r
doolaege
eva
l
ue
.
c: *_partitions:
simp
l
ify con
s
traints befor
e
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Verdo
o
l
a
e
ge
doc:
more specific info
r
m
a
tion on bugg
y
cddlib
v
ersi
o
ns
commit
|
commitdiff
|
tree
2008-01-28
Sven Ver
d
oolaege
configu
r
e
.
in: requir
e
cddlib 0
.
94e by te
s
ting for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Verdoolaeg
e
configure
.
in: on
l
y compile occ if code_
g
en library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
barv
i
nok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolaege
add some tests for implementation of projectio
n
theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaeg
e
doc
:
doc
u
m
e
n
t n
e
w op
t
io
n
s and
ne
w
a
p
p
licati
o
ns
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
r
d
oolaeg
e
AUTH
O
RS: update support
i
nfo
r
mation
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verd
o
ol
a
ege
g
e
nfun
.
cc:
s
ho
r
t
_ra
t
::print: correctly print po
l
ynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Export ser
i
es as barvinok_enumerate_se
r
ies a
n
d
use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oolaege
rem
o
ve
_
p
a
rameter_equ
a
lities: stop
"
re
m
o
v
ing" equalities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
aege
series:
l
eave freeing
of P
arg
u
ment to
c
allin
g
function
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n
Verdoola
e
ge
doc: docu
m
ent implementation of the
proje
c
tion theorem
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
V
erdoolaege
add
b
arvinok_enume
r
at
e
_e_series im
p
lementing the pr
o
j
e
c
t
ion
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doolaege
genfun
.
c
c
: fix
and doc
u
me
n
t pa
r
allel polytopes class
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
olaeg
e
Only compile zso
l
v
e if gcc 3
.
4 or lat
e
r is available
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Ver
d
oolaege
Move GiN
a
C-ind
e
pendent part of libra
r
y
t
o
b
a
rvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
polylib: update
commit
|
commitdiff
|
tree
2007-11-22
Sve
n
Verdoolaege
do
c
:
how t
o
count the nu
m
ber of elements in p
o
ssib
l
y
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaeg
e
do
c
/im
p
lemen
t
ation
.
te
x
: avoid multi
p
ly define
d
labe
l
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Verd
o
o
l
a
ege
lattice_wid
t
h
.
c: try vert
i
ce
s
of
p
revi
o
us integer
h
ulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc: document i
n
teger hull comp
u
tation
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erd
o
olaege
hul
l
.
c:
add all points found by sampling directly
t
o
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ven Verdoolaege
Possible optimiz
a
tions f
o
r generaliz
e
d
basis reduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
e
rdoolae
g
e
Sup
p
ort u
s
e
o
f ge
n
erali
z
ed b
a
sis reduction to compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
add
Polyhedron_
I
nte
g
er_Min
i
mum
f
or comp
u
t
ing the integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ve
r
doolaege
doc: document generalized basi
s
re
d
uction
b
as
e
d integ
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ven
Verdoolaege
doc/barvinok
.
bib: add missing str
i
ng
commit
|
commitdiff
|
tree
2007-11-17
Sven
Verdo
o
laege
add more miss
i
n
g
assert
.
h
#
i
ncludes
commit
|
commitdiff
|
tree
2007-11-15
S
v
en Verdo
o
laege
configure
.
in: o
n
ly compile libbar
v
inok as a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
Polyh
e
dron_
R
e
d
uced_Basis: do
n
'
t stop to
o
earl
y
when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
compute
_
width_dire
c
tions: onl
y
keep
l
ist of distin
c
t
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sve
n
Ve
r
doolaege
zsolv
e
: don't install library
commit
|
commitdiff
|
tree
2007-11-08
S
v
e
n
V
erdool
a
ege
version
.
c: s
h
ow use of
T
OP
C
OM
commit
|
commitdiff
|
tree
2007-11-08
S
ven Ve
r
doolae
g
e
configure
.
i
n
: do
n
't set with_{poly,pip}lib_p
r
efix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
Polyhedron_Sa
m
ple: be satisfied w
i
th a
r
eas
o
n
a
ble choic
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verd
o
olaege
cone_integer_hull: optionally print stats
commit
|
commitdiff
|
tree
2007-11-08
Sven Verd
o
olaege
b
a
sis_re
d
uction: kee
p
t
r
ack of
n
umber of LPs solved
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoo
l
aege
o
p
tions: move --print-stats to
library
commit
|
commitdiff
|
tree
2007-11-07
Sven Ver
d
oo
l
aege
bernstein: rework test
i
n
g
framewor
k
to not d
e
pen
d
on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verd
o
olaege
bernstein: ad
d
p
i
ecewise_
l
st::is_equal
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
erdoolaege
s
upport newer v
e
rsions of
GiNaC (>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven Ve
r
doo
l
a
e
ge
s
t
andard
_
constrain
t
s: move from topcom
.
c t
o
p
olysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven V
e
rdo
o
lae
g
e
polysign
.
h: remove depen
d
en
c
y on lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
S
v
en Ve
r
d
oolaege
z
s
olve: ad
d
b
anner
.
h
t
o distribution
commit
|
commitdiff
|
tree
2007-11-06
S
ven Verdoola
e
ge
Polyh
e
d
ron_Lat
t
i
c
e_
W
idt
h
_Directions: p
r
int p
r
o
g
ress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoolaeg
e
b
asis_reduc
t
ion
_
pip: abort on invalid (empty) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdo
o
l
a
eg
e
R
E
AD
M
E: ex
p
l
a
in
how to ge
t
submodules
commit
|
commitdiff
|
tree
2007-11-02
Sven
Verdoolaege
doc:
d
o
cument lattice
width
computation
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
some lattice width tests from Jon
Y
aggie
commit
|
commitdiff
|
tree
2007-11-01
S
ven Verd
o
ol
a
ege
Po
l
yhedron_
L
a
t
t
ice_Width: decide
on facets t
o
close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
S
ven Verdoolaege
add Po
l
yhedron_Lattice_Width f
o
r
computing la
t
tice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
hilbert
.
c: add Cone_Integer_
H
ull for
compu
t
ing
v
ertices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoo
l
a
e
ge
po
l
ysi
g
n: ad
d
p
i
p
-backed version
commit
|
commitdiff
|
tree
2007-10-31
S
v
e
n
Verd
o
olaege
polysign: add constrai
n
ts
_
opt to co
m
pute optimum ov
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rd
o
o
l
aege
polysign_
c
dd: switch to use of M
a
trix representation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaeg
e
polysi
g
n_glpk: switch to
u
se of
Matrix rep
r
esent
a
tion
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
ve
n
Verd
o
olaege
doc: document computation of H
i
l
bert basi
s
of a
c
one
commit
|
commitdiff
|
tree
2007-10-31
S
v
en V
e
rdoolaeg
e
Cone_
H
ilbe
r
t
_
Ba
s
is: use stand
a
rd_con
s
traints
to avoi
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
Use zsolve to compute Hil
b
e
r
t basi
s
of a cone
commit
|
commitdiff
|
tree
2007-10-31
S
ven Ve
r
doolaege
compi
l
e zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaege
zsolve: don't install h
e
aders and execu
t
a
b
les
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
o
o
laege
z
s
olve: initialize BackupTime in ZSolv
e
Context
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
oolaege
zsol
v
e: zs
o
lve
S
y
ste
m
: ad
d
mis
s
ing verbosity che
c
k
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsolv
e
: override LIBS f
r
om top
l
ev
e
l
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verd
o
olaege
add 4ti2-1
.
3
.
1+auto
c
onf-
0
.
1 banner
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolae
g
e
add
z
solve from 4ti2-1
.
3
.
1
+
a
u
toc
o
nf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdo
o
laege
param_ut
i
l
.
c: export bit
_
vector_count
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
topcom
.
c
:
e
xtract part of
c
o
de
for setting up standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sve
n
Verdoo
l
aege
gen_fun::Hadamard_produc
t
:
pr
i
nt progress indica
t
or
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Verd
o
olaege
move --verb
o
se option
to librar
y
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
gen_fun
:
:summ
a
te: handle full
s
pecial
i
z
ation
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
a
ege
Rep
l
ace incremental infinite set counter b
y
"r
e
g
ular
.
.
.
commit
|
commitdiff
|
tree
next