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
barvinok 0.28
2007-10-31
Sven
V
erdoolaege
polysi
g
n_glpk
:
s
wi
t
ch to
use
o
f
M
a
t
r
ix represe
n
tation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
doc: document computation of Hilbert b
a
sis o
f
a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdoolae
g
e
Cone_Hil
b
e
r
t_Basis: use s
t
a
ndar
d
_c
o
nstr
a
ints to
avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
ege
Use
z
s
olv
e
to
c
omput
e
Hilbert ba
s
is of a c
o
ne
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoolaege
compile zso
l
v
e
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doolaege
zsolv
e
: do
n
'
t
install h
e
aders
a
n
d exe
c
utables
commit
|
commitdiff
|
tree
2007-10-31
S
ven Ve
r
doolae
g
e
zsolve: initi
a
lize B
a
ckupTi
m
e
in ZSolveConte
x
t
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaeg
e
zsolve: zs
o
lveSystem: add missing verbosity check
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdoolaege
zsolv
e
:
ov
e
rride LI
B
S from top level
commit
|
commitdiff
|
tree
2007-10-31
S
v
e
n Verdoolaeg
e
a
dd 4ti2
-
1
.
3
.
1+a
u
toconf
-
0
.
1 banner
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
g
e
add zsolve fro
m
4ti2-1
.
3
.
1+aut
o
conf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdool
a
e
g
e
pa
r
am
_
util
.
c: export bit_vec
t
or
_
count
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
g
e
t
o
p
c
om
.
c:
ext
r
act p
a
r
t of
c
ode for s
e
tting up standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven
Verdoolaege
gen_fun::Hadamard_product
:
print
p
ro
g
ress indicato
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Ver
d
o
o
laeg
e
m
o
ve -
-
verbose op
t
ion
t
o library
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
g
e
n
_fun::
s
u
mmate: han
d
l
e fu
l
l spe
c
i
a
lization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
R
eplace incremental infinite set cou
n
ter by "regular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdo
o
lae
g
e
m
a
ke counter::add_f
a
lli
n
g_powers static
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
merge (most o
f
)
common part of counter and
tc
o
unter
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
icounter: handle speciali
z
ation
o
f
pol
y
nom
i
als
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n V
e
rdoolaege
ic
o
u
n
ter: don
'
t bother
"normalizing"
t
he
e
xp
o
nen
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ve
r
doolaege
export neg
_
l
ef
t
_hermite
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaeg
e
basis_re
d
u
ction_cd
d
:
check for possib
l
y inco
r
rect output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
V
e
rd
o
olaege
P
olyhedr
o
n
_
Sample:
h
andle p
o
lyhedron becomi
n
g empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
gen_fun:
:
ope
r
ator evalu
e
*
: always return
a
v
ali
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ve
n
Verd
o
ola
e
ge
g
en_
f
un::operato
r
evalue *: rem
o
ve commented out d
e
bugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
barvinok_enumerate_e
.
c
c: han
d
le verification
o
f problems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
ba
r
vin
o
k_e
n
u
m
erate_e
:
optionally
print stats
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
barvinok_enumerate_e: support verifica
t
io
n
o
f
generatin
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvin
o
k
_
en
u
merat
e
_e: support
conversion o
f
ge
n
e
ra
t
ing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
lattice
_
point
s
:
anot
h
er micro-opti
m
ization
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
latti
c
e_
p
oi
n
t
s_fixed: nano-optimi
z
ati
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_
f
un::ad
d
: contex
t
o
f
s
u
m
should be union of conte
x
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
rdoolae
g
e
barvino
k
_
enumer
a
t
e
:
u
se verify infrastruct
u
re
for verif
y
in
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
erdo
o
laege
genfu
n
.
cc:
p
rint_power: drop spac
e
s around "/
"
w
hen
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
c
ount_p
o
int
s
_e: fall back
t
o count
_
points if there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolae
g
e
Makefi
l
e
.
am: check-evalue: print name
o
f each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
d
o
olaege
verify:
a
dd c
h
e
c
k
_poly_
p
rint helpe
r
function
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
ge
n
_fun
:
m
ake sure
c
on
t
e
xt is always set
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
r
e
d
ucer::reduce: canonica
l
i
z
e
coefficients in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaeg
e
short_
r
at:
:
print: co
r
re
c
tly print out te
r
ms with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
ae
g
e
barvinok_series: rechec
k
for equal
i
t
i
e
s aft
e
r
c
omp
u
t
ing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
export M
a
trix_Read for r
e
adi
n
g M
a
trix
from a stream
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
par
a
m_util
.
c:
ad
d
P
aram_Ve
r
tex_Domain
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
util
.
c: supportin
g
_const
r
aints:
return
b
it vector
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Ver
d
o
ol
a
ege
polylib: update f
o
r
Matrix_Extend
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
options
.
c: use Polyhedron_Sample for counting infin
i
te
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
keep track
of and use satur
a
ti
n
g constraints in Pa
r
a
m
_
Polyhedron
commit
|
commitdiff
|
tree
2007-10-25
S
ven Ve
r
do
o
lae
g
e
move value_g
c
d a
n
d value_lc
m
to
polylib
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
V
erdoolaege
Bernoulli_sum_evalue: only compute exact s
u
m if approximatio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
B
ern
o
ull
i
_sum_evalue: sum o
v
er varia
b
les
w
ith integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
ola
e
ge
evalue
.
c: export evalue_var
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
Polyhedron_Exch
a
n
g
e
Columns: normalize
c
onstraints aft
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
export P
o
lyhedron_ExchangeColumns
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
e
val
u
e_polyno
m
ia
l
:
op
t
imize evaluati
o
n in zero
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verd
o
o
l
aege
e
v
alu
e
.
c:
e
m
ul: handle another special case
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
erd
o
olaeg
e
evalue
.
c
: eadd:
h
andle so
m
e
special
ca
s
es
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
i
n
troduce
an
d
use eva
l
u
e_f
r
e
e
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
oolaege
ev
a
l
u
e
.
c: ead
d
: micro-
o
ptimiz
e
a
d
dition
o
f two rationals
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdo
o
laege
setti
n
g
an approximation method now implies polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erd
o
ola
e
g
e
barvinok_su
m
mate: optiona
l
ly u
s
e Bernoulli/
F
aulhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
Bernoulli_
s
um_evalue: use ev
a
l
ue
_
fro
m
_
s
e
ctio
n
_array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
barvi
n
ok/polylib
.
h: remo
v
e com
p
atibility w
i
th
o
ld
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
d
oolaege
move Vector_Oppose t
o
Po
l
yLib
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
rdoo
l
a
e
g
e
polytope_scan: reenable --dir
e
ct opti
o
n
commit
|
commitdiff
|
tree
2007-10-20
Sven Ve
r
doola
e
g
e
remove_all_equalities
:
k
e
ep
r
emoving equalities until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sve
n
Verdoo
l
a
eg
e
remove_all_equal
i
ties
:
handle empty polyhedron detecte
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven
V
erdool
a
ege
rem
o
ve_
a
ll
_
equalities: minor code clean
-
up
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
ex
p
ort Polyhedron
_
Matr
i
x_Vi
e
w
commit
|
commitdiff
|
tree
2007-10-16
S
ven
Ver
d
oo
l
aege
pola
r
_
s
igned_cone_consumer:
clean up memory o
n
inappropri
a
te
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
S
v
en Verdoo
l
aege
Param_Inner
_
Prod
u
ct: fix use of value_lcm
commit
|
commitdiff
|
tree
2007-09-28
Sv
e
n Verdoolaege
doc: fix
t
ypo
in Mic
h
e
l
e Vergn
e
'
s
name
commit
|
commitdiff
|
tree
2007-09-21
Sven
V
e
rdoola
e
ge
A
d
d
m
issing
fil
e
s
fr
o
m
p
olymake
client to distributio
n
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoo
l
ae
g
e
Use gmp's gcd rat
h
er than
Poly
L
i
b
's
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaeg
e
polymake/README: men
t
ion -
-
with-barvinok
configure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
S
ve
n
Ve
r
doolaege
polymake/Makefile
.
i
n: add work
-
aro
u
nd for polymake 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sv
e
n Verdoolaege
evalue
.
c: print_
e
value
:
always
prin
t
new
l
ine at the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sve
n
Verdoo
l
aege
o
p
tions
.
c: fix
t
ypo in --approxi
m
ati
o
n-method descriptio
n
commit
|
commitdiff
|
tree
2007-09-15
Sven Verd
o
olaege
to
p
com:
f
ix heuristic fo
r
s
electi
n
g rows to use as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
S
v
en Verdoola
e
ge
barvinok
0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
erdoolaege
Merge branch 'topc
o
m'
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Doc
u
men
t
TOPCOM based
c
ha
m
ber d
e
co
m
p
o
s
itio
n
commit
|
commitdiff
|
tree
2007-09-11
S
v
e
n Verdoolaeg
e
test TOP
C
OM
c
h
a
mber decompositio
n
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n Verdoo
l
aege
Optionally use TO
P
COM to
c
omput
e
c
h
ambe
r
d
ecompositions
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdo
o
laege
lex
m
in: add (pr
o
tected) missing algorithm inc
l
ude
commit
|
commitdiff
|
tree
2007-09-11
Sven Verd
o
olaege
Makefile
.
am:
a
d
d target for creating dist with git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
S
ve
n
V
e
rdoolaege
doc: upd
a
te voting theory ref
e
rence
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaeg
e
doc
u
ment barv
i
n
o
k_s
u
mmate
and
b
arvinok_maximize
commit
|
commitdiff
|
tree
2007-09-10
S
ven
Verdoolaege
doc: consist
e
nt use of Barvinok's initials
commit
|
commitdiff
|
tree
2007-09-10
S
ven Ver
d
oo
l
aege
barvinok_summate: cor
r
e
c
t
opt
i
ons
de
s
cripti
o
n
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Verdoolaege
Document Euler-M
a
c
l
aurin b
a
sed summation
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Verdoolaege
doc: change exa
m
ple en
v
i
r
onment
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Ver
d
ool
a
ege
doc:
a
dd some hidden sectio
n
s
to table
of contents
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: anoth
e
r document ref
e
ring to the libra
r
y
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verdoola
e
ge
add some tests for Euler-Maclau
r
in bas
e
d
su
m
m
a
tion
commit
|
commitdiff
|
tree
2007-09-10
Sven V
e
rdoolaege
Eu
l
er-Maclaurin based su
m
mation for 1D problems
commit
|
commitdiff
|
tree
2007-09-10
Sven Ver
d
oolaege
Euler-Maclau
r
in bas
e
d
s
um
m
ation for 2D proble
m
s
commit
|
commitdiff
|
tree
2007-09-08
Sven
Ve
r
d
oolaege
decomposer
.
cc: avoid use of half-open
cones
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoo
l
aeg
e
barvinok_summate:
ve
r
ify solution
o
v
e
r
whole p
a
rameter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
r
d
o
o
laege
introduce barv
i
no
k
_
s
umma
t
e as a wra
p
per for eval
u
e_sum
commit
|
commitdiff
|
tree
next