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_e: support verification of generating functions
2007-10-25
Sven Verdoolaege
barvino
k
_enumerate
_
e: suppo
r
t
v
er
i
f
i
cation of
g
enerating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
barvino
k
_e
n
umerate_e:
s
u
ppo
r
t c
o
n
v
e
rs
i
on of gene
r
ati
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoo
l
a
ege
lattice_points
:
a
nother micro-
o
ptimization
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoola
e
ge
latti
c
e_points_fixed: nano-
o
ptimiz
a
tion
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun
:
:add: context of
sum should be union
o
f
c
ontexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
barv
i
nok_enumera
t
e: use verify
i
nfrastructure for
v
e
r
i
f
y
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
g
e
n
fu
n
.
cc: print_power: drop spaces around "
/
" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
count_points_e: fall b
a
ck to count_poi
n
ts if there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
M
a
kefi
l
e
.
am:
c
h
eck-e
v
a
l
u
e: print na
m
e
o
f
each t
e
st
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
ve
r
i
f
y: add che
c
k_poly_print h
e
l
p
er func
t
ion
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
g
e
n_fun: ma
k
e sur
e
context is always set
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
re
d
uce
r
::reduce: canonicalize coef
f
i
c
ients in e
a
c
h
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
Verdoolaege
short_rat::
p
rint: correctl
y
p
r
int out term
s
wit
h
a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdo
o
laege
barvinok_series: rec
h
eck
f
o
r equal
i
ties after c
o
mputing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
e
xpo
r
t M
a
trix_
R
ead for reading Matrix from a str
e
am
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdool
a
ege
pa
r
am_util
.
c: add
P
a
ram_Vertex
_
Do
m
a
i
n
commit
|
commitdiff
|
tree
2007-10-25
S
ven
Verdoolaege
uti
l
.
c: su
p
porting_const
r
aints: retur
n
bit vecto
r
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
polylib:
u
pdate for Matrix_Ex
t
end
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
o
p
t
ions
.
c:
use Poly
h
edron_Sa
m
ple
f
or c
o
unting infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
keep track of a
n
d u
s
e sat
u
ra
t
ing
con
s
tr
a
ints in Param_Polyhedron
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
er
d
oolaege
m
ove valu
e
_
g
cd an
d
value_lcm to polyl
i
b
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
r
d
oolaege
B
ernoulli
_
su
m
_evalue
:
o
n
ly comput
e
exa
c
t sum
i
f ap
p
r
oximati
o
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
dool
a
ege
Berno
u
l
l
i
_
s
u
m_evalue: sum ov
e
r variables wi
t
h
in
t
eger
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
evalue
.
c: export eva
l
ue
_
var
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
ool
a
e
g
e
Polyhedron_ExchangeCol
u
mns: normalize const
r
aints after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laeg
e
export Polyhe
d
r
o
n
_
E
xch
a
ng
e
C
olumns
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
e
value_polyno
m
ial:
optimi
z
e
ev
a
luation
in zero
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
doolaege
evalue
.
c:
em
u
l:
handle another special cas
e
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
d
oola
e
g
e
eva
l
ue
.
c
:
eadd: handle some special
cases
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
introdu
c
e
and use eval
u
e_fre
e
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ve
r
d
o
o
laege
eva
l
ue
.
c: ead
d
: micro-optimize
a
ddi
t
ion of two rati
o
nals
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
setting an
a
p
pr
o
xi
m
ation method
n
o
w
implies polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
bar
v
ino
k
_
s
ummate
:
opt
i
onall
y
u
s
e Bernoulli/Faulhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaeg
e
B
ernoulli_sum_ev
a
lue: use eval
u
e_from_
s
ectio
n
_ar
r
ay
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verd
o
olaege
barvinok/p
o
ly
l
ib
.
h:
remove compa
t
ibility with older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ve
r
doolae
g
e
move Vector_O
p
p
o
se t
o
PolyLib
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
ool
a
e
ge
polytope
_
s
c
a
n: reenable --direct opti
o
n
commit
|
commitdiff
|
tree
2007-10-20
Sve
n
Verdo
o
l
aege
remo
v
e_all_equalities:
k
eep removing
equalities until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaeg
e
remove_all_
e
qualitie
s
: handle
empty polyhedron detected
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
remove_all_equali
t
ies: minor c
o
de
cl
e
an-up
commit
|
commitdiff
|
tree
2007-10-20
S
ven Verdoo
l
aege
expo
r
t Po
l
y
h
edron
_
M
atrix_View
commit
|
commitdiff
|
tree
2007-10-16
S
ven
Verd
o
olaege
po
l
ar_sig
n
ed_con
e
_con
s
ume
r
:
clean up
memo
r
y on
i
nappropriat
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven Verdoolaege
Param_In
n
er_Product: fix u
s
e of
v
a
lue_l
c
m
commit
|
commitdiff
|
tree
2007-09-28
Sven Ver
d
ool
a
ege
doc: fix typo
in
Michele Vergne's
name
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
Ad
d
missing files from polymake clie
n
t to d
i
stributio
n
commit
|
commitdiff
|
tree
2007-09-21
Sven
Verd
o
o
l
aege
Use gmp's gcd rather
than PolyLib's
commit
|
commitdiff
|
tree
2007-09-21
S
ven Verdoolaege
polyma
k
e/
R
EADME: men
t
ion --w
i
th-barvinok
configu
r
e
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdo
o
l
a
ege
polymake/Makefile
.
in:
add work-aroun
d
f
or
p
olymake 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
evalue
.
c
: print_
e
value: alwa
y
s print newl
i
ne at
t
he
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven Ve
r
doolaege
options
.
c
:
fix t
y
p
o
in --approxi
m
a
ti
o
n
-
metho
d
description
commit
|
commitdiff
|
tree
2007-09-15
Sve
n
Verdoolaege
topcom
:
fix heuristic for
s
electing r
o
ws to
u
se as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven V
e
rdoolaege
barvinok 0
.
2
5
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
erd
o
olaege
Merge branch 'topcom'
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n
V
erd
o
olaege
Document TOPCOM based chamb
e
r dec
o
mposition
commit
|
commitdiff
|
tree
2007-09-11
Sven Ver
d
oolae
g
e
test TOPC
O
M
c
hamber decompositi
o
n
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaeg
e
Optionally use TOPC
O
M
to compute chambe
r
decompos
i
tions
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
lexmin
:
ad
d
(protected) missing
al
g
orit
h
m i
n
clu
d
e
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaeg
e
Makefile
.
am:
add target for creat
i
ng
dist with
g
it
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: upd
a
te
v
oti
n
g
t
h
eory referenc
e
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdoolaege
d
ocument barvinok
_
s
ummate and
b
arvinok_maximize
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdool
a
ege
do
c
: consistent use of Bar
v
inok's init
i
a
ls
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoola
e
ge
bar
v
i
nok_su
m
m
ate:
correct opt
i
o
ns description
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Ver
d
oo
l
a
e
g
e
Document Euler
-
Maclaurin
b
ased sum
m
ation
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc:
chan
g
e examp
l
e environm
e
nt
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erdoolaege
doc: add some hidden sec
t
ions to tab
l
e of co
n
tents
commit
|
commitdiff
|
tree
2007-09-10
S
v
e
n V
e
rdoolae
g
e
doc: another
docum
e
nt refer
i
ng to the
library
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
ad
d
some tests
f
or Euler-M
a
clauri
n
based summation
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
Eul
e
r-Macl
a
urin based su
m
mation
for 1D proble
m
s
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Ve
r
doo
l
aege
Euler-M
a
c
l
aurin
based summati
o
n for 2D problem
s
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoo
l
aege
decomposer
.
cc: avoid use o
f
half-open co
n
es
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoola
e
ge
barvino
k
_summate: verify sol
u
t
ion over whole parameter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
a
e
ge
i
n
tr
o
duce barvinok_summate as a wra
p
per for
e
valu
e
_
s
um
commit
|
commitdiff
|
tree
2007-09-08
Sven
Ver
d
oolaege
add evalue_m
u
l
_div
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
evalue_{div,mul}: handle some tri
v
ial cases more efficiently
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
o
l
a
ege
lat
t
ic
e
_
point: export fractional_part
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
evalue
.
c: extract
c
o
m
mon code
f
or c
o
nstruction b
a
sed
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaeg
e
v
o
lume
.
c:
e
x
p
or
t
Param_Polyhedron_Facet
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verd
o
olaeg
e
a
dd ev
a
lue_mul
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olaege
fi
x
t
y
pe of evalue_polynomial ar
g
ument
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoo
l
aege
support
c
omputation of B
e
rnoulli polynomials
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Ve
r
d
oolaege
sep
a
rate com
p
utati
o
n of Bernoulli
coeff
i
cients
and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
ve
n
Verd
o
o
l
aege
lattice_po
i
nt: use Param_V
e
rtex_Common_Denominator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaeg
e
make decompos
e
r
.
h sel
f
-con
t
a
ine
d
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolaege
re
d
uce_domain: avoid use of macro
p
ar
a
m
e
ter with
name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
ve
n
Ve
r
do
o
laege
export
e
value_dup
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Ver
d
oolaege
Use piplib dur
i
ng bas
i
s
r
educt
i
on
i
f
n
o oth
e
r LP solvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
Use b
u
ndle
d
pipli
b
by defaul
t
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add pip
l
i
b module
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verd
o
o
laege
Use bu
n
dled PolyLib
by defa
u
lt
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaege
add polylib
submodule
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
aeg
e
berns
t
e
in:
a
l
low linking against uninstalled, but built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sv
e
n
Verd
o
olaege
add more missing assert
.
h #inc
l
u
d
e
s
commit
|
commitdiff
|
tree
2007-08-29
Sven V
e
rdoolaege
add
d
ummy implementation
s
of functions that de
p
end
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolaeg
e
update "Cou
n
ti
n
g with r
a
tio
n
a
l
gene
r
ating functions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
S
ven Ve
r
doolaege
barv
i
nok
.
cc: split off part constructing g
e
n
e
r
a
ting
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdo
o
l
aege
barvino
k
.
cc
:
split
o
ff part dealing
with existential
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoo
l
aege
*counter: avo
i
d
recomputation
o
f
denomin
a
tor
s
w
hen
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Ver
d
o
ola
e
ge
coun
t
er: remove
redundant m
e
mber
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoola
e
ge
change type of some
"
sig
n
"s to int
a
s th
e
y ca
n
only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven
V
erdoolaege
doc:
u
p
date Algor
i
t
hm
i
ca publi
c
ation
commit
|
commitdiff
|
tree
next