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_enumerate: use verify infrastructure for verifying generating functions
2007-10-25
Sven Verdoolaege
ba
r
vinok
_
en
u
merate:
use veri
f
y infrast
r
u
cture for verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
ge
n
fun
.
cc
:
print_power: drop
s
pace
s
around "/" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
e
ge
count_points_e: fall back
t
o
count_point
s
if there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdo
o
laege
Makefile
.
am: chec
k
-evalue: prin
t
n
ame of each
t
est
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
verify
:
a
d
d check_
p
oly_prin
t
helper fun
c
tio
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
e
g
e
ge
n
_fun: make
sur
e
cont
e
xt
is alw
a
ys
s
e
t
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
r
educer::r
e
d
uce: c
a
nonicali
z
e c
o
effici
e
nts in
each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
sh
o
rt_rat::print: correctly print out terms with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
V
e
rdoolaege
bar
v
inok_series: recheck for equa
l
ities after computing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
export Mat
r
ix_
R
ead f
o
r re
a
ding Matrix
f
r
om a stream
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rd
o
olaege
param_util
.
c:
a
dd Param_Verte
x
_Domain
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
d
o
o
l
a
e
g
e
util
.
c: s
u
pporti
n
g_constraints: return bit vector
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
polylib:
u
pda
t
e
for Mat
r
ix_Extend
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oola
e
ge
o
p
tions
.
c: use Polyhedron_Samp
l
e for coun
t
ing
i
nf
i
nite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
kee
p
tra
c
k of
a
nd use satur
a
t
ing constra
i
nts
i
n
P
a
r
am
_
Polyhedron
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
move value_gcd and
value_
l
cm to polylib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
B
ernoulli_sum_evalue: onl
y
compute e
x
act sum if approximatio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
Bernoulli
_
sum_
e
valu
e
: sum over va
r
iables w
i
th integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verd
o
ola
e
ge
eva
l
ue
.
c: export e
v
a
lue_var
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erd
o
ol
a
eg
e
Polyhe
d
ron_ExchangeCo
l
u
mns: norma
l
ize constraints
a
ft
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
expor
t
Polyhedr
o
n_Ex
c
hangeColumns
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
evalue_po
l
ynomial: optimiz
e
eval
u
ation in zer
o
commit
|
commitdiff
|
tree
2007-10-25
S
v
en V
e
rdoolaege
e
v
alue
.
c
: emul: handle another
special
c
ase
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaeg
e
evalue
.
c: eadd:
h
a
ndle some special cases
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdo
o
l
a
ege
introduce an
d
us
e
evalue_free
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
e
v
alue
.
c: e
a
d
d
: micro-optimiz
e
addition of two ration
a
ls
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
setting an approximat
i
on m
e
thod
now i
m
plies
p
o
lynomial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
r
doolaege
barvinok_sum
m
ate: optionally use Bernoulli/Faulhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
Be
r
noulli_sum_evalue: use eva
l
ue
_
fr
o
m_section_a
r
ray
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdo
o
l
aege
b
a
rvinok/pol
y
lib
.
h
: remove compatibili
t
y wit
h
o
ld
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven
Verdoolaege
mov
e
V
e
ctor_Op
p
ose
t
o
P
olyLib
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoola
e
ge
po
l
ytope_sc
a
n
:
reenable --direct
o
p
t
ion
commit
|
commitdiff
|
tree
2007-10-20
Sven Ve
r
doolaege
remove_all_equalities: keep removing
e
q
u
alities
u
ntil
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaeg
e
r
e
move_all_equ
a
lities: handle e
m
p
ty polyhed
r
on
det
e
cted
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sv
e
n Ve
r
doolaege
r
emove_all_equaliti
e
s:
minor c
o
de clean-up
commit
|
commitdiff
|
tree
2007-10-20
S
v
en Ver
d
oolaege
e
xport Polyhedron_M
a
trix_
V
iew
commit
|
commitdiff
|
tree
2007-10-16
Sven Ver
d
oolaege
polar_signed_cone_consumer
:
clean up memory on inap
p
ropr
i
ate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven Verd
o
ol
a
ege
P
aram_Inner_Product: fix use
of val
u
e_lc
m
commit
|
commitdiff
|
tree
2007-09-28
S
ven Ver
d
oolaege
doc: fix typo
in Michele V
e
rgne's
n
ame
commit
|
commitdiff
|
tree
2007-09-21
Sv
e
n V
e
rdoo
l
a
ege
Add mis
s
ing
files
f
rom polymak
e
c
l
ien
t
to
distribution
commit
|
commitdiff
|
tree
2007-09-21
Sven Ver
d
oolae
g
e
Use gmp's
gcd
rather than
PolyLib's
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoola
e
ge
p
o
lymake/README: mention --wi
t
h-barvinok confi
g
ur
e
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdool
a
ege
p
olymak
e
/Ma
k
e
file
.
in:
a
dd work-around for p
o
l
ymake 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sve
n
Verdoolaege
evalu
e
.
c: print_evalue: always print newline at the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven Verdoola
e
ge
options
.
c:
fix typo in
--approximation-
m
ethod
d
escription
commit
|
commitdiff
|
tree
2007-09-15
Sven
Verdoo
l
aeg
e
to
p
com:
fi
x
heur
i
s
t
ic
f
or selecti
n
g rows
to
u
se as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
barvinok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
S
ven Verdoo
l
aege
Merge branch 'topcom'
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Document T
O
PCOM based chamber
d
e
c
omposition
commit
|
commitdiff
|
tree
2007-09-11
Sven V
e
rdoolae
g
e
t
e
st TOPCOM c
h
ambe
r
dec
o
mposi
t
ion
commit
|
commitdiff
|
tree
2007-09-11
Sven Verd
o
olaege
Op
t
ionall
y
use TOPCOM
t
o compute chamber decompositions
.
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n Verdoolaege
lexmin: a
d
d
(prot
e
cted)
m
iss
i
ng
a
lgor
i
th
m
i
nclude
commit
|
commitdiff
|
tree
2007-09-11
S
v
en Ver
d
oolaege
Makefile
.
a
m
: add target for cr
e
a
ting dist
with g
i
t
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
S
v
e
n Ver
d
oolaeg
e
d
o
c: u
p
date voti
n
g
theo
r
y reference
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdoolaege
document barvinok_summate a
n
d barvi
n
ok_maximize
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Verdo
o
laege
doc
:
consiste
n
t use
of Barvinok's initi
a
ls
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdo
o
laege
barvinok_summate: correct opti
o
ns descr
i
ption
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
Document Euler-M
a
clauri
n
based su
m
mation
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: chang
e
exa
m
ple en
v
i
r
onm
e
nt
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
do
c
:
a
d
d
some hidden sectio
n
s to table of conte
n
t
s
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
V
e
r
dool
a
ege
doc: another d
o
c
ument refering to t
h
e l
i
b
r
ary
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erdoolaege
add some tests for E
u
l
e
r-Maclaurin based summat
i
on
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n
Verdoolaege
Euler
-
M
a
cla
u
r
in
based s
u
m
m
ation
for 1D pr
o
b
l
ems
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
Euler-Ma
c
laur
i
n based summ
a
tion for 2
D
problems
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verd
o
olaege
decomposer
.
cc: avoid use
o
f
half-open cones
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
aege
barvinok
_
s
ummate: verify solution
over who
l
e parame
t
er
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
intr
o
duce barvinok_
s
ummat
e
as a wrapper for eva
l
ue_sum
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
a
d
d evalue_m
u
l_
d
iv
commit
|
commitdiff
|
tree
2007-09-08
S
ven
V
er
d
o
olaege
e
v
alue_{div
,
mul}: han
d
le some
t
riv
i
al ca
s
es
more
efficiently
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oo
l
aeg
e
lattic
e
_point: export fra
c
t
i
onal_
p
art
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Ver
d
oolaeg
e
e
val
u
e
.
c: extra
c
t common cod
e
f
or construct
i
on based
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
ege
v
o
lume
.
c: ex
p
ort Para
m
_Polyhedron_Facet
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoo
l
aege
add evalu
e
_mul
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolaege
f
ix type of
evalue_polynom
i
a
l
argume
n
t
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
support computati
o
n of Bernoulli polynomials
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
sepa
r
a
te computation
of Be
r
noull
i
coefficients and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolaege
l
a
ttice_
p
oin
t
: use Param
_
Vertex_Common_Den
o
m
i
nator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olae
g
e
make decomposer
.
h
self-
c
ontained
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolaeg
e
reduce_domain: avoid
use of macro parameter with name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
aeg
e
ex
p
ort evalue_dup
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
ae
g
e
Use
p
iplib during basi
s
re
d
uctio
n
if
no ot
h
er LP solvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
eg
e
Use bundle
d
p
i
plib by defau
l
t
commit
|
commitdiff
|
tree
2007-09-08
S
ve
n
Verdoola
e
ge
add piplib module
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
ol
a
ege
U
se
bundled PolyL
i
b by default
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rd
o
olaege
a
dd polyli
b
submodule
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
b
e
rnstei
n
: allow linking
a
g
ains
t
u
n
ins
t
alled, b
u
t built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven Ve
r
do
o
laege
add more
missing assert
.
h #includes
commit
|
commitdiff
|
tree
2007-08-29
Sven
V
e
rdoo
l
aege
add
d
ummy implem
e
ntations of fu
n
ctio
n
s that depend
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven
V
erdool
a
ege
u
p
date
"
Counting w
i
th rationa
l
generating functio
n
s
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven
Verdoolaege
b
a
rvinok
.
cc: split
off part
c
onstructing ge
n
erating
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven
Verdool
a
ege
ba
r
v
inok
.
cc: split off
p
a
r
t
dealing with existential
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
S
v
en Ver
d
oolaege
*co
u
nter: a
v
oid recomputation of denominators when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven
V
e
rdoolaege
counter: r
e
move redun
d
ant member
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
change ty
p
e of
s
ome "sign"s to int as th
e
y can
only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
doc: update Al
g
orithmica
p
ubl
i
cation
commit
|
commitdiff
|
tree
2007-08-10
Sven Verdoolaege
evalue
.
c:
mak
e
p
arameter names of
t
yp
e
const char
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven Verdoolaege
sample
.
c
: Polyhe
d
ro
n
_RemoveFixedColumns: correctly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sven Verdo
o
l
aege
util
.
c
: remove_equalities: fix typo
commit
|
commitdiff
|
tree
2007-07-30
Sven Verdoolaege
Par
a
m_Polyhedron_Print
:
p
r
i
nt everything to given file
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sve
n
Verdoolaeg
e
barvin
o
k_enumerate_with_options:
don't add c
o
n
t
ext
.
.
.
commit
|
commitdiff
|
tree
next