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
doc: document new options and new applications
2008-01-16
Sv
e
n Ver
d
oolaege
doc: doc
u
ment new option
s
and new applications
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
AUTHORS: update support information
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
olaeg
e
g
e
n
fun
.
c
c
: short_
r
at::p
r
int: correc
t
ly
print pol
y
nomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oola
e
ge
Export
seri
e
s as barvinok_enumerate_series and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoolaege
remove_pa
r
ameter_equalities:
stop "remo
v
ing" eq
u
aliti
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolae
g
e
serie
s
: leave fre
e
ing of P argument to calling functi
o
n
commit
|
commitdiff
|
tree
2008-01-16
S
ven Ver
d
o
olaege
doc: document implementation of the projecti
o
n
t
heor
e
m
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoolaeg
e
add barvinok_
e
numerate_e_series im
p
lementing th
e
projection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
l
a
ege
gen
f
un
.
c
c: fi
x
and d
o
cumen
t
para
l
lel
p
olytop
e
s class
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
ege
Move Gi
N
a
C
-independent part of libr
a
r
y
to bar
v
inok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
p
o
lylib: updat
e
commit
|
commitdiff
|
tree
2007-11-22
S
v
en Verdoolaege
doc: how
t
o
count
t
he nu
m
ber o
f
elements in possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven V
e
rdo
o
laege
doc/impl
e
mentation
.
tex: avoid multiply de
f
ine
d
l
a
b
el
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdoola
e
ge
la
t
tice
_
wi
d
th
.
c: try
vertices of previous integer hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc: document integer hull c
o
mputation
commit
|
commitdiff
|
tree
2007-11-21
S
ven Verdoolaege
hull
.
c: add a
l
l points found by samplin
g
direc
t
ly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
Possible optimizati
o
ns f
o
r generalized
b
asis reduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
S
upport use of generalized b
a
sis
reduction to comp
u
te
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
ad
d
Po
l
yhedron_Integer_Minimum for computin
g
the integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven V
e
rd
o
olaege
doc: document generalized basis reduction based integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdo
o
laege
doc/bar
v
inok
.
bib
:
add missin
g
string
commit
|
commitdiff
|
tree
2007-11-17
S
v
e
n Ve
r
doolaege
add mor
e
m
issing assert
.
h #includes
commit
|
commitdiff
|
tree
2007-11-15
Sven V
e
rdoolaege
co
n
fi
g
ure
.
i
n: only compile
l
ibbarvi
n
ok
a
s
a
stat
i
c
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven
V
e
r
doolae
g
e
Polyhedr
o
n_Red
u
ced_Ba
s
is:
don't s
t
op too early
when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
ven Verdoo
l
aege
compute_width_direct
i
ons:
o
nly keep list of distinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
e
n
V
erdoo
l
aege
zsolve: don't install l
i
brary
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdool
a
ege
vers
i
on
.
c: sh
o
w use o
f
T
O
PCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
configure
.
in
:
don't set with_{poly,pip}lib_prefix
f
r
o
m
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoo
l
aege
Po
l
yhedron_Sample
:
b
e
sa
t
isfied with a reasonable
c
h
o
ice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
S
v
en
V
e
rdoolaege
cone_integer_hull: optionally print stats
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
ba
s
is_reduction: ke
e
p
track of
n
um
b
er of LPs solved
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
V
erdo
o
laege
options: move --pr
i
n
t
-
sta
t
s to library
commit
|
commitdiff
|
tree
2007-11-07
S
ven Verdoo
l
aege
bernstein: rework t
e
s
ting framework to
n
ot d
e
pend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
erdool
a
ege
be
r
nstein: ad
d
piecewise_lst::is_equal
commit
|
commitdiff
|
tree
2007-11-07
Sven Ve
r
doolaege
support
newe
r
versions of GiNaC (>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven V
e
rdoolaege
standard_constra
i
nts: move from to
p
com
.
c to polysig
n
.
c
commit
|
commitdiff
|
tree
2007-11-07
S
ven
Verdoolaege
p
olysign
.
h: remove depe
n
den
c
y
on lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sve
n
Verdoola
e
ge
zsolve: add banner
.
h to distribut
i
o
n
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdo
o
la
e
ge
P
olyhedron_Lattice_Width_Directio
n
s: print progres
s
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven
Verdoolaege
basi
s
_
r
e
ductio
n
_pip: abor
t
on invalid (empty) i
n
put
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Ve
r
dool
a
e
g
e
README: explain how to
get submodules
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
doc: document lattice
widt
h
computation
commit
|
commitdiff
|
tree
2007-11-02
S
ven Verdoolaege
some latt
i
c
e
width t
e
sts from Jo
n
Yaggie
commit
|
commitdiff
|
tree
2007-11-01
Sven V
e
rdoola
e
ge
Po
l
yh
e
dron_Lattic
e
_Wid
t
h: d
e
ci
d
e
o
n
fac
e
t
s
to close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
S
ven Verd
o
olaege
add Polyhedron_Lattice_Width
f
or computing lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven
Verdoolaege
h
i
lbert
.
c: add C
o
ne_Inte
g
er_Hull
for c
o
mputin
g
ve
r
tices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doolaege
polysign: add pip-ba
c
k
e
d
versi
o
n
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolae
g
e
polysign: ad
d
c
onstraints_op
t
t
o
compute optim
u
m
o
v
er
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
laege
pol
y
sign_cdd: sw
i
tch
to
use o
f
Matrix re
p
r
e
sentation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
do
o
l
a
ege
polysign_glpk: switch
t
o use of Matrix
repres
e
ntat
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdoolaeg
e
do
c
: document computa
t
ion of H
i
lb
e
rt basi
s
o
f a
c
one
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
Cone_
H
ilbert_Basis: use standard_constrain
t
s to avo
i
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
U
s
e zsolve t
o
compute Hilbert basis of a
cone
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rd
o
olae
g
e
co
m
pile zsolve
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdool
a
e
g
e
zsolv
e
: don'
t
install headers and
e
x
ecut
a
b
l
e
s
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolae
g
e
zso
l
ve: initialize BackupTime in ZSol
v
eCon
t
ext
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n
Verdool
a
ege
zs
o
l
ve: zsolveSystem: add mis
s
ing
v
e
r
bosity
c
heck
commit
|
commitdiff
|
tree
2007-10-31
S
v
e
n Verdoolaege
zsol
v
e:
o
verride
L
IBS fr
o
m to
p
l
evel
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaege
add
4ti2-1
.
3
.
1+autoconf-0
.
1
ban
n
er
commit
|
commitdiff
|
tree
2007-10-31
S
v
en V
e
r
doolaeg
e
a
d
d zsolve from
4
ti2-1
.
3
.
1
+autoconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoolae
g
e
param_u
t
il
.
c: export bit
_
vector
_
count
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
laege
topc
o
m
.
c: extract
part of c
o
de for setting up standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sv
e
n Verdoolaege
gen_f
u
n::H
a
dama
r
d
_product: print progr
e
s
s indicato
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
S
v
en Verdoolae
g
e
move --verbose opti
o
n to lib
r
ary
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
e
ge
gen_fun::
s
ummate: handle full special
i
zation
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
a
e
ge
R
e
place in
c
remental infi
n
ite set counter b
y
"regular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rd
o
olaege
ma
k
e counter::add_falling
_
powers static
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ver
d
oolaege
merge (m
o
s
t
of)
c
omm
o
n part of counter and
t
coun
t
er
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rd
o
o
l
aege
ic
o
unter
:
han
d
le specializa
t
i
o
n of po
l
ynomials
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
rdoo
l
aeg
e
icount
e
r: d
o
n't bother "nor
m
alizi
n
g"
the expo
n
ents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
e
x
p
o
rt neg_lef
t
_hermite
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
basis_re
d
ucti
o
n_cdd:
check
f
or possibly incorrect output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
e
rdoo
l
ae
g
e
Po
l
yhedron_S
a
mp
l
e: hand
l
e polyhedr
o
n becoming
empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun::opera
t
or
e
value *: alwa
y
s
r
eturn a vali
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
g
e
n_f
u
n::operator evalue
*
: r
e
mo
v
e commented out
debug
g
ing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
ae
g
e
barv
i
nok_enumerate_e
.
cc: handle verification of pr
o
blems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
ba
r
vinok
_
enumerate_e
:
optionall
y
p
r
i
n
t stats
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verd
o
olaege
barvinok_enumerate_e: suppo
r
t
v
erific
a
tio
n
of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
ba
r
vi
n
ok_enumerate_e: sup
p
o
r
t conversion of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ver
d
oolaege
latt
i
ce_points: another m
i
cro-optimization
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
lattic
e
_poi
n
ts_fixed: n
a
no-optimi
z
ation
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
gen_
f
un::
a
dd:
conte
x
t of sum should be u
n
ion o
f
contexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvino
k
_enumerate
:
use verify infrastructur
e
for v
e
r
i
fying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen
f
un
.
c
c:
print_power: drop
s
paces aroun
d
"/" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
count_po
i
nts_e: fall
b
a
c
k t
o
c
o
unt_
p
oints if there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
la
e
ge
M
akefile
.
am: che
c
k-ev
a
lue: pri
n
t
name of each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoo
l
aege
v
erify: add
check_pol
y
_print helper fun
c
tion
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoo
l
a
ege
gen_fun: make sure
c
ontext
i
s
always set
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdo
o
laege
reducer::r
e
duce: cano
n
icaliz
e
coef
f
icients in e
a
ch
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
ol
a
e
g
e
s
h
o
rt
_
rat::pri
n
t: correctly pr
i
n
t
o
ut t
e
r
ms with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
barvinok
_
series
:
recheck for equalities after comp
u
ting
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
export Matrix_Read
f
or
r
ea
d
ing M
a
trix from a stream
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
param_u
t
il
.
c:
add
P
a
r
am_
V
ertex_Do
m
ain
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
util
.
c
:
supp
o
rti
n
g_co
n
straints: re
t
urn bit vector
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
po
l
ylib: update for
Matrix_Ex
t
e
n
d
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
op
t
i
ons
.
c
:
us
e
Pol
y
hedro
n
_Sample for counting infinit
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
kee
p
tr
a
ck
o
f
a
nd use
satur
a
ting constrai
n
t
s
in
P
aram_Poly
h
e
d
ron
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
move value_gcd and val
u
e
_
lcm to p
o
lyli
b
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Bernoulli_su
m
_e
v
alue:
on
l
y compute exact
sum if approxim
a
tio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoo
l
aege
Bernoulli_
s
um_eva
l
u
e
: sum over variable
s
with i
n
teger
.
.
.
commit
|
commitdiff
|
tree
next