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
bernoulli.c: minor refactoring
2007-10-31
Sven Verdoolaege
param
_
util
.
c:
export bit_ve
c
tor_
c
ount
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaege
topcom
.
c: extra
c
t
p
art of code f
o
r
setting up standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
S
ven Verdoolaege
gen_fun::H
a
d
a
m
ard
_
produc
t
: p
r
in
t
progress indicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sv
e
n
V
e
r
doolaege
move --ve
r
bose
option
t
o library
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
gen_fun::summate:
hand
l
e full specialization
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
Replace in
c
remen
t
a
l
infinite set counter by "re
g
ular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ve
r
doolaege
m
a
ke counter::add
_
falling_
p
owers sta
t
ic
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
V
erdoolaege
merge (mos
t
o
f) c
o
mmon
p
art of counter and tco
u
nter
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
ico
u
nter: h
a
nd
l
e spec
i
alization
of polyn
o
mials
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
V
erdoolaege
ico
u
n
t
er: don't bother "nor
m
alizing
"
the
exponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
expor
t
neg_left_hermite
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verd
o
olaege
bas
i
s
_
reduction_c
d
d: check fo
r
p
o
ssibly incorrect output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
P
o
l
yhedron_Sam
p
le: h
a
ndle po
l
yh
e
dron be
c
o
m
ing empt
y
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdool
a
ege
gen_f
u
n:
:
o
p
e
r
a
t
or ev
a
lue *: always
r
eturn a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erd
o
olaege
gen_fun::o
p
e
r
ato
r
e
value
*: remove
commented out debugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdoola
e
ge
barvin
o
k_
e
num
e
rate_e
.
cc: handle verification of problems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_enumerate_e: op
t
ionally p
r
int
stats
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvin
o
k
_
enumerate_e: sup
p
ort ver
i
fication of
g
enerating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok
_
enum
e
rate_e:
s
u
p
p
ort conversion
o
f generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
eg
e
lattice_points: anothe
r
micro-
o
p
t
i
mizat
i
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
lat
t
ice_point
s
_f
i
xed: nano-optim
i
zation
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
g
e
n_f
u
n::add: context
of sum shou
l
d be un
i
on of
c
o
ntexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_enumerate:
use
verify
infrastructure for ver
i
f
y
ing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdool
a
eg
e
genfun
.
cc: print_p
o
w
e
r: drop
space
s
a
round "/" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
V
e
rdoolaege
count_points_e: fall bac
k
t
o
count_poin
t
s
i
f there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
Makefi
l
e
.
a
m
: check-e
v
alue: print
n
ame of each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoo
l
a
ege
verify: a
d
d check
_
poly_print helper function
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verd
o
olaege
gen_
f
un:
ma
k
e sure context is always set
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
reducer::re
d
uc
e
: ca
n
onic
a
lize co
e
fficient
s
in eac
h
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
s
h
or
t
_
r
at::print: corre
c
tly print out te
r
m
s with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Verdo
o
laege
barv
i
n
o
k
_series: recheck for
e
qualities aft
e
r co
m
puting
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdool
a
ege
export Matrix_
R
ead for readi
n
g Matri
x
f
r
om
a
stream
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaeg
e
param
_
util
.
c: add Pa
r
am_Vertex_Domain
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
util
.
c: supporting_
c
onstra
i
nts: r
e
t
urn bit vector
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
p
o
lylib: update for Matrix_
E
xt
e
nd
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
options
.
c: use Polyhedr
o
n_Sampl
e
for counting infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
keep tra
c
k of
a
nd use s
a
turating con
s
t
r
ain
t
s
in Param_Polyhed
r
on
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
m
o
ve value_gcd and
value_lcm to pol
y
lib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
B
e
rno
u
lli_sum_evalue: only
compute exact sum if approx
i
matio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
Bernoulli_sum_evalue:
sum over v
a
riable
s
w
i
th integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaeg
e
eva
l
ue
.
c:
e
xport evalue_var
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Ve
r
doola
e
ge
Polyhedron_Exch
a
ngeColumns: normalize constrain
t
s afte
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
export Poly
h
edro
n
_Exch
a
ngeColu
m
ns
commit
|
commitdiff
|
tree
2007-10-25
S
v
en V
e
rdoolae
g
e
evalue_polyno
m
ia
l
:
optimize ev
a
lua
t
io
n
in z
e
r
o
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
evalue
.
c: em
u
l
: ha
n
dle anothe
r
s
pecial case
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
la
e
g
e
evalue
.
c
:
e
a
dd:
hand
l
e some special
c
ases
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
e
r
doola
e
ge
int
r
oduce
a
nd
use evalue_fr
e
e
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Ve
r
doolaege
eval
u
e
.
c: eadd: micro-optim
i
ze additio
n
of two rationals
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verd
o
olaege
setting an approximation method now impl
i
es polyn
o
mial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
barvinok_summate
:
o
p
tionally use Berno
u
lli/Faulhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
Bernoulli_sum_evalue: use evalue_from_sec
t
ion_array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
ba
r
vinok/pol
y
lib
.
h: remove compatibility with older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
move
Vector_Oppose to PolyLib
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
polytope_scan: reenable --di
r
ect
o
pti
o
n
commit
|
commitdiff
|
tree
2007-10-20
S
ven Verdoolaege
remov
e
_all_equalities: keep re
m
oving equalities until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Ver
d
oolaege
re
m
o
v
e
_all_equalities: han
d
le
e
m
p
ty po
l
yhedron d
e
tected
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven
V
erdoola
e
g
e
r
emo
v
e_all_equalities
:
minor
c
ode cl
e
a
n-u
p
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdool
a
ege
export Polyhedron_Matrix_View
commit
|
commitdiff
|
tree
2007-10-16
Sven Ve
r
do
o
l
a
eg
e
pola
r
_s
i
g
n
ed
_
con
e
_consu
m
er: clean up memory on inappropriate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sve
n
Verdoolaege
Pa
r
am
_
In
n
er_Produ
c
t: fi
x
use
of
v
a
l
ue_lcm
commit
|
commitdiff
|
tree
2007-09-28
Sven Verdool
a
ege
doc: fix
typo in M
i
c
h
ele V
e
r
g
n
e
's
name
commit
|
commitdiff
|
tree
2007-09-21
Sven Ve
r
doolaege
A
dd mi
s
sin
g
files
f
rom poly
m
ake
c
li
e
nt t
o
dist
r
ibuti
o
n
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolae
g
e
Use gmp's gcd rat
h
er
t
ha
n
P
o
lyLib's
commit
|
commitdiff
|
tree
2007-09-21
Sven V
e
rdoo
l
aege
polymake/README
:
menti
o
n --with-barvinok co
n
f
i
gure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven V
e
rdoolaege
polyma
k
e/Makefile
.
in: ad
d
work-around for pol
y
make 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaeg
e
e
v
alue
.
c: print_evalue:
alwa
y
s
print ne
w
line at the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
S
ven Ve
r
doola
e
ge
options
.
c:
fix typo in --approx
i
m
ation-method descripti
o
n
commit
|
commitdiff
|
tree
2007-09-15
Sven V
e
rdoolaege
topcom: fix
h
e
uristic f
o
r se
l
ec
t
i
n
g ro
w
s to
u
se as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
barvino
k
0
.
2
5
commit
|
commitdiff
|
tree
2007-09-11
S
v
e
n
Verd
o
olaege
M
e
rge
bran
c
h 'topcom'
commit
|
commitdiff
|
tree
2007-09-11
S
ven Verdoolaege
Documen
t
TOPCOM
b
ased chamber
decomp
o
sition
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
e
r
d
oolaege
t
es
t
TOPCO
M
chamber d
e
composit
i
on
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
Verdoolae
g
e
Optionally use TOP
C
OM to co
m
pute chamber decompo
s
it
i
o
ns
.
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
er
d
oolaege
lex
m
in: add (protected) missi
n
g algorithm
i
nclude
commit
|
commitdiff
|
tree
2007-09-11
Sven
Verdoolaege
Ma
k
efile
.
am: add targe
t
f
or creating d
i
s
t
wi
t
h gi
t
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Ver
d
oolaege
do
c
:
update voting
t
heory reference
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verdoola
e
ge
docu
m
e
nt barvinok_summate and ba
r
v
i
nok_maximize
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoola
e
ge
doc: consistent use of Barvinok's
i
nit
i
als
commit
|
commitdiff
|
tree
2007-09-10
S
ven
V
e
rdoolaeg
e
barvinok_
s
ummate: corr
e
c
t op
t
ions description
commit
|
commitdiff
|
tree
2007-09-10
S
v
en
Ver
d
o
olaege
Document Euler-
M
aclaurin base
d
sum
m
ation
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Ver
d
oolaege
doc:
change example enviro
n
me
n
t
commit
|
commitdiff
|
tree
2007-09-10
Sven Verd
o
olaege
doc: add some hid
d
en
sections to
t
able
of con
t
ents
commit
|
commitdiff
|
tree
2007-09-10
Sven
Ver
d
o
olaege
d
oc: another doc
u
men
t
refering to the
l
ib
r
ary
commit
|
commitdiff
|
tree
2007-09-10
Sven Ve
r
doolaege
add
s
o
me tests for Euler-Maclau
r
in
b
ase
d
summation
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdo
o
l
a
ege
Eu
l
er-M
a
claurin
b
ased
s
u
mmation fo
r
1D problems
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Ve
r
doolae
g
e
Euler-Maclaurin based summation
f
or 2D problems
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
aege
decomposer
.
cc: avoid
u
se of h
a
lf-op
e
n
cone
s
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolaege
ba
r
v
inok_summa
t
e: verify solution over w
h
ole
parameter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
introduce bar
v
ino
k
_
s
ummate as a wrapper for e
v
a
lue_sum
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n
Verdoolaege
add eval
u
e_mul_div
commit
|
commitdiff
|
tree
2007-09-08
S
ven V
e
r
do
o
laege
evalue_{div,
m
ul}:
h
a
ndle some trivial cases more efficiently
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
lattice_point: export
fra
c
tiona
l
_par
t
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolae
g
e
eva
l
u
e
.
c: ext
r
act c
o
mmon code
f
o
r
const
r
uctio
n
based
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolaege
vol
u
me
.
c:
e
xpo
r
t Param_Polyhedron
_
F
a
cet
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add evalue_mul
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoolaege
fix type
of
e
value_poly
n
o
m
ial arg
u
m
en
t
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoola
e
g
e
s
u
pport
c
ompu
t
ation of Bernoulli polynomi
a
l
s
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
dool
a
ege
s
e
para
t
e computation
o
f
Bernoulli coef
f
icients a
n
d
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oola
e
ge
lattice
_
point: use Param_Vertex_Com
m
on_D
e
nom
i
n
ator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
make decompo
s
er
.
h sel
f
-contained
commit
|
commitdiff
|
tree
next