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
make counter::add_falling_powers static
2007-10-25
Sven Verd
o
olaege
make counter::
a
d
d
_falling
_
p
o
wers static
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Ve
r
d
o
olaeg
e
merge
(
most
o
f) comm
o
n part of counter an
d
t
counter
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
icounter: handle
specialization of po
l
ynomials
commit
|
commitdiff
|
tree
2007-10-25
S
ve
n
Verdoolaege
icount
e
r: don't bother "normali
z
ing
"
the ex
p
o
nen
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
export neg_left_hermite
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
b
asi
s
_reduction_cdd: check fo
r
possibly incorre
c
t output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven
Verdoolae
g
e
Polyhedron_Sample: handle pol
y
he
d
r
o
n
b
ecomin
g
e
m
p
t
y
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
la
e
ge
gen_fun:
:
operator evalue *: alway
s
return a
v
alid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
gen_fun::op
e
r
a
tor evalu
e
*:
remove commented out debugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
barvinok_enumerate_e
.
cc
:
handle ver
i
fication of probl
e
m
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
barvinok
_
enum
e
r
a
te_e: opti
o
nally print stats
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ve
r
dool
a
ege
ba
r
vino
k
_enumer
a
te_e: support ve
r
ification of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
ba
r
vinok_enumer
a
t
e
_e: su
p
po
r
t co
n
version
of generat
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
lattice_points: another
mic
r
o-optimizati
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
l
attice_points_fi
x
ed: na
n
o-optimization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
g
e
n
_fun::add
:
con
t
ext of sum
s
hould be uni
o
n of contexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
barvinok_enumerate: us
e
verify infrastructure
f
or verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
ge
n
fun
.
cc: p
r
int_power
:
dro
p
spaces a
r
o
und "/" wh
e
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
count_points_e
:
fall
back to c
o
unt_
p
oints if
t
here
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdoolaeg
e
Makefi
l
e
.
am
:
ch
e
ck-evalue: prin
t
name of e
a
ch test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ver
d
oolaege
veri
f
y: add c
h
eck_poly_
p
rint helper functio
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun: make s
u
re con
t
ext
is
a
lways
set
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
r
doolaege
re
d
ucer::
r
educe: can
o
nicalize co
e
fficients in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
short_rat::pr
i
nt: co
r
rectly p
r
int out terms wi
t
h a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
barvin
o
k_ser
i
e
s
: recheck for equalities after comput
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
export
M
atr
i
x_Read
f
or readin
g
Matrix from
a
stre
a
m
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
param_ut
i
l
.
c: add Param_Vertex
_
Domain
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdoola
e
ge
util
.
c
:
suppo
r
ting_constrai
n
ts: return bit
v
ector
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoo
l
aege
pol
y
lib: up
d
a
t
e for Matrix_Ext
e
nd
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verd
o
o
l
a
e
ge
options
.
c:
u
se Po
l
yhedro
n
_Sa
m
ple for counting infini
t
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
keep
track of
and
use sat
u
rating co
n
straints in Param_Po
l
yhed
r
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
erdoolae
g
e
mov
e
value_gcd and
v
alue_lc
m
to p
o
l
ylib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
Bernoulli_s
u
m_
e
value: only com
p
ute
e
xact sum if approximat
i
o
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verd
o
olaege
Bernoulli
_
sum_evalue:
sum
o
ver
v
ariable
s
with i
n
te
g
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en V
e
rdool
a
e
g
e
evalue
.
c
:
e
xport evalue_var
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Polyhedron_ExchangeColumns:
normalize constraints after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdool
a
e
ge
expor
t
Poly
h
edron_Exchan
g
eCo
l
u
m
ns
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
oolaege
evalu
e
_
p
o
l
ynomial: optimi
z
e evaluation in zero
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
evalue
.
c: emu
l
: ha
n
dl
e
another special c
a
se
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
e
value
.
c:
e
add: handle s
o
me
s
p
ecial cases
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
e
g
e
intro
d
u
ce a
n
d
u
se evalue_free
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
doolaege
evalu
e
.
c: ea
d
d
:
micro-
o
ptimize add
i
t
i
o
n
of
two rat
i
o
n
als
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoola
e
ge
sett
i
ng a
n
appro
x
imation method now implies polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
barvinok_summate
:
optionally u
s
e Bernoulli/Faul
h
abe
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
B
e
rnoulli_sum_ev
a
lue: use evalue_from_section_a
r
ray
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
dool
a
ege
barv
i
no
k
/polylib
.
h: rem
o
v
e com
p
atibility with
older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ve
n
Verdo
o
laege
move Vect
o
r_O
p
p
o
se to
P
olyLib
commit
|
commitdiff
|
tree
2007-10-25
S
ven V
e
rdoolaege
polyt
o
p
e
_scan: reenable --direct
o
ption
commit
|
commitdiff
|
tree
2007-10-20
S
ven Verdoolaege
remove_all_e
q
u
a
lities: keep remo
v
ing equalities until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoola
e
g
e
remove_all_equalit
i
es: handle empty polyhedron d
e
tec
t
ed
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
S
v
en Ve
r
do
o
laege
remove_all_equalitie
s
:
min
o
r c
o
d
e
clean-up
commit
|
commitdiff
|
tree
2007-10-20
S
v
en Verdoolaeg
e
expo
r
t
Polyhedron_Matrix_View
commit
|
commitdiff
|
tree
2007-10-16
Sven
Verdoolaege
polar_sign
e
d_cone_consumer
:
cl
e
an up memory o
n
inappr
o
p
r
iate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
S
v
e
n Verdoolaege
Param
_
Inner_P
r
o
duct: f
i
x
u
se of value_lcm
commit
|
commitdiff
|
tree
2007-09-28
S
v
en Verdo
o
laege
doc: fix typ
o
in Michele
V
e
rgne
'
s
n
a
me
commit
|
commitdiff
|
tree
2007-09-21
Sven
V
erdoolaeg
e
Add miss
i
ng fil
e
s from polymake
c
lient to distribu
t
i
on
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdool
a
ege
Use gmp'
s
gcd ra
t
her than
Pol
y
Lib's
commit
|
commitdiff
|
tree
2007-09-21
Sve
n
V
erdool
a
ege
polymak
e
/README: mention -
-
w
i
t
h-barvinok
configure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdo
o
l
aeg
e
p
o
l
y
make/Makefile
.
in: add wo
r
k-around
f
or polymake 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven
V
erdoolaeg
e
evalue
.
c: print_evalue
:
alway
s
print ne
w
line at the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven Verdoolaege
options
.
c: fix typo in --ap
p
roxim
a
tion-me
t
h
o
d description
commit
|
commitdiff
|
tree
2007-09-15
Sven Verdoolaege
topcom: fix he
u
r
isti
c
for selecting rows
t
o
u
s
e as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n Verdoolaege
ba
r
vinok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
S
v
e
n
Verdoolaege
Merge
branch 'topc
o
m'
commit
|
commitdiff
|
tree
2007-09-11
S
v
en Verd
o
olaege
Document T
O
PCOM base
d
c
h
amber de
c
omposition
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n
V
erdool
a
ege
test TOPCOM cha
m
b
e
r decomposition
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
Ver
d
o
o
l
ae
g
e
O
p
ti
o
nally use
TO
P
COM to c
o
mpute chamber decompositi
o
ns
.
commit
|
commitdiff
|
tree
2007-09-11
S
ven Verdoolaege
lexmin
:
ad
d
(pro
t
e
c
ted) m
i
s
s
ing algorithm i
n
clude
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n
V
e
r
dool
a
ege
Ma
k
efile
.
am:
add target
f
or c
r
eat
i
ng
dist wit
h
git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoo
l
a
e
ge
d
o
c: u
p
da
t
e
voting theory r
e
ference
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoo
l
aege
document b
a
rvinok_
s
umma
t
e
and barvinok
_
maximize
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
e
r
d
oolae
g
e
doc: consi
s
tent
use of
B
a
rvin
o
k's in
i
ti
a
ls
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdoolaege
barvino
k
_
summate: correct options desc
r
iption
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaeg
e
Documen
t
Euler-Maclaurin based summation
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdoolaeg
e
d
oc: change example en
v
ironment
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erdoo
l
aege
d
o
c
: add some hidden sectio
n
s t
o
ta
b
l
e
of conten
t
s
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc
:
an
o
ther document refering
to the
l
ibr
a
ry
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verdoo
l
aege
add s
o
me tes
t
s for
Euler-Ma
c
laurin
b
ased summation
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
Euler-Maclaurin
based summation for 1D p
r
ob
l
e
m
s
commit
|
commitdiff
|
tree
2007-09-10
Sven V
e
rdoolaege
Eule
r
-Mac
l
auri
n
based summat
i
on for 2D p
r
oblems
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdo
o
laege
decomposer
.
cc: avoid use of
half-
o
pen cone
s
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
barvino
k
_summate: verify
s
o
luti
o
n
over whole pa
r
ame
t
er
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolaege
introduce barvinok
_
summate as
a
w
ra
p
per for evalue_sum
commit
|
commitdiff
|
tree
2007-09-08
S
v
en V
e
rdoolae
g
e
add evalue
_
mul
_
div
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
e
v
a
lue_{div
,
mul}: handle some trivial cases more efficientl
y
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
lattice_point
:
ex
p
or
t
fractiona
l
_part
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
aege
evalue
.
c: extr
a
c
t
common
c
o
de f
o
r construction bas
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
volume
.
c: e
x
por
t
Param_
P
o
lyh
e
dron_
F
acet
commit
|
commitdiff
|
tree
2007-09-08
S
v
en
V
e
rdoolaeg
e
add evalue_m
u
l
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoolaege
fix typ
e
of
ev
a
l
u
e_polynom
i
a
l argument
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
supp
o
r
t comput
a
tion
of Berno
u
lli polynomials
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
s
ep
a
rate compu
t
ation of
B
ernou
l
l
i
c
oe
f
f
icien
t
s and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olaege
lattice_p
o
int: us
e
Param_Vert
e
x_Common_
D
e
n
omin
a
tor
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
make decomposer
.
h self-
c
ontai
n
ed
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
V
e
r
d
o
o
l
aege
reduce_do
m
ain
:
avoid us
e
of macro parame
t
er wi
t
h
name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
ex
p
ort evalue_du
p
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
e
rdoola
e
ge
Use piplib
dur
i
ng basis reduction if n
o
ot
h
e
r LP s
o
lvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olaege
Use bundl
e
d piplib
by
d
e
fault
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolaege
a
d
d piplib m
o
dule
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
V
e
rdoola
e
ge
U
s
e
bund
l
ed PolyL
i
b by def
a
u
l
t
commit
|
commitdiff
|
tree
next