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.25
2007-09-11
Sven
V
erdoo
l
aege
b
arvi
n
ok
0
.
25
commit
|
commitdiff
|
tree
2007-09-11
S
ven
Verdoolaege
M
e
r
g
e br
a
nch 'topcom'
commit
|
commitdiff
|
tree
2007-09-11
Sven Ve
r
doo
l
aege
Docu
m
e
nt TOPCOM based ch
a
mber decomp
o
sition
commit
|
commitdiff
|
tree
2007-09-11
Sven Verd
o
o
l
aege
t
e
st TOPCOM chambe
r
decomposition
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Opti
o
nally us
e
T
O
PCOM to compute ch
a
mber
d
ec
o
mpositions
.
commit
|
commitdiff
|
tree
2007-09-11
S
v
en Verdoolaege
lexmin: add
(pro
t
e
c
t
e
d) mi
s
sing algorithm
in
c
l
ude
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoo
l
aege
Make
f
ile
.
am: add target
f
o
r creating d
i
st with git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
S
v
e
n
Ve
r
doolaege
doc: update voting th
e
ory
reference
commit
|
commitdiff
|
tree
2007-09-10
Sven V
e
r
doolaege
document barvin
o
k_summate an
d
barvino
k
_maximize
commit
|
commitdiff
|
tree
2007-09-10
S
ven Ve
r
d
oolaege
doc:
c
onsistent use of Barvinok's initial
s
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
barvino
k
_summate:
correct optio
n
s
description
commit
|
commitdiff
|
tree
2007-09-10
Sven V
e
rdoolaege
Document E
u
ler
-
Maclaurin based summation
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verdoo
l
aeg
e
doc: change example
e
nvironme
n
t
commit
|
commitdiff
|
tree
2007-09-10
Sven V
e
rdoolaege
doc: add
s
ome
hidde
n
sections
t
o table of
c
ontent
s
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdool
a
ege
doc: another doc
u
m
ent refe
r
i
n
g t
o
the library
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
add s
o
me t
e
sts for Euler-
M
aclaurin
based summati
o
n
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
E
u
ler-Maclaur
i
n based
s
um
m
ation for 1D p
r
obl
e
ms
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Verdoolaege
Euler-Maclaurin based summat
i
on for
2
D
probl
e
ms
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolaege
decomposer
.
cc: avoid use of half-open con
e
s
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdool
a
ege
b
arvin
o
k_summate: verify solutio
n
ove
r
who
l
e parameter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n
Verdoolaege
in
t
roduc
e
barvinok_su
m
mate
as a
wrappe
r
f
o
r evalue_sum
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoolaege
add
evalue_mul_d
i
v
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
aege
eva
l
ue
_
{div,m
u
l}: han
d
l
e
some trivial cases m
o
re efficientl
y
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
lat
t
ice_point: export
f
ractional_part
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolaege
evalu
e
.
c: extract common co
d
e for construction bas
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoo
l
aege
volume
.
c: expo
r
t
P
aram_Polyh
e
dron_
F
acet
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
aege
add
e
value_mul
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
fix type of eval
u
e_polynomial argumen
t
commit
|
commitdiff
|
tree
2007-09-08
S
v
en
V
erdo
o
laege
s
u
ppo
r
t
c
omputation of
Bernoul
l
i polyno
m
ials
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
se
p
ar
a
te computa
t
ion of Bernoull
i
coef
f
icients and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdo
o
laege
lattice
_
po
i
n
t
: use Par
a
m_Vertex_Common
_
D
e
nominato
r
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
e
ge
m
ak
e
d
ecomposer
.
h
self-contai
n
ed
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolaege
reduce_dom
a
in: av
o
i
d
u
se of macro pa
r
am
e
ter with n
a
me
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
export evalue_dup
commit
|
commitdiff
|
tree
2007-09-08
S
ven
V
erdoolaeg
e
Use piplib during basi
s
reduction if no other LP solvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
Use bundled piplib by d
e
fault
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolaege
add pipl
i
b module
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
Use
b
un
d
le
d
P
ol
y
Lib by de
f
ault
commit
|
commitdiff
|
tree
2007-09-08
S
ven
V
e
rdoolaege
add polylib s
u
bmod
u
le
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n V
e
r
doolaeg
e
ber
n
stein: allo
w
linking
agai
n
st un
i
nsta
l
led, but b
u
ilt
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven V
e
rdoolaege
add more missi
n
g assert
.
h #includes
commit
|
commitdiff
|
tree
2007-08-29
Sven
Verdoolaege
add dummy i
m
plement
a
tions
o
f functions that depend
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Ver
d
o
olaege
upda
t
e
"
C
ounting with ration
a
l
generatin
g
functions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolaege
b
a
rvinok
.
cc
:
s
p
lit off part constru
c
t
i
ng g
e
n
erating
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven V
e
rdool
a
ege
barvinok
.
cc: split off
p
art dealing w
i
th exist
e
n
t
ial
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
*counte
r
: avoid re
c
omputatio
n
of denominators whe
n
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sv
e
n Verdoolaege
counter: remo
v
e redundant member
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
c
hange type o
f
some "sign"s to int as they
can only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
S
v
en Verdoo
l
aeg
e
d
o
c
: updat
e
Algorithmica pu
b
l
ica
t
ion
commit
|
commitdiff
|
tree
2007-08-10
Sven Verdoolaege
evalue
.
c: m
a
ke parame
t
e
r names of typ
e
c
o
nst
c
har
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven Verdoolae
g
e
sample
.
c: Pol
y
hedro
n
_RemoveFix
e
dColumns: correctly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sven Verdoolaege
util
.
c: rem
o
ve_equalities: fix
typo
commit
|
commitdiff
|
tree
2007-07-30
Sven V
e
rdoo
l
aege
Pa
r
am_Polyhedron_Print:
p
rint
e
verything to given
f
ile
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven
V
e
r
doola
e
ge
barvinok_en
u
m
erate_wit
h
_op
t
ions: do
n
't add cont
e
xt
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
barv
i
nok
.
c
c
: don't
f
r
e
e P argument in enumerate
commit
|
commitdiff
|
tree
2007-07-29
Sven Verd
o
olaege
remove_
a
ll_equalitie
s
: also remove equ
a
liti
e
s
i
n
c
o
n
text
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
volu
m
e
.
c
: avoi
d
war
n
i
ngs
commit
|
commitdiff
|
tree
2007-07-27
Sven Verdoolaege
expo
r
t P
a
r
a
m
_Inne
r
_Product
commit
|
commitdiff
|
tree
2007-07-25
Sven Ve
r
doolaege
barvino
k
_enumerate
.
cc: add minimal ch
e
ck on input
commit
|
commitdiff
|
tree
2007-07-19
Sv
e
n Ve
r
doolaege
more pr
o
totype change
s
to
c
o
n
st char *
commit
|
commitdiff
|
tree
2007-07-19
Sven Verd
o
olaege
evalue
:
print
_
evalue: m
a
k
e
p
aram
e
te
r
names const char*s
commit
|
commitdiff
|
tree
2007-07-11
Sven Verdoo
l
aege
Always c
o
mpile poly
t
ope_scan
commit
|
commitdiff
|
tree
2007-07-11
Sven Ver
d
ool
a
ege
poly
t
ope_sca
n
: use arg
p
for argument parsin
g
commit
|
commitdiff
|
tree
2007-07-05
S
ven Verdoolaeg
e
d
o
c
: fix
t
y
p
o
commit
|
commitdiff
|
tree
2007-07-04
S
v
e
n Verdo
o
lae
g
e
confi
g
u
re
.
in
:
allow
specification of default prefi
x
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sven Verdoolaege
consol
i
date c
a
lls to Polyhed
r
on2Param_Doma
i
n
commit
|
commitdiff
|
tree
2007-07-03
Sve
n
Verdoolae
g
e
volu
m
e
.
c:
f
ix typo in comment
commit
|
commitdiff
|
tree
2007-07-01
Sve
n
Verdoolaege
Makefile
.
a
m
: ad
d
$(EXEEXT
)
for cygwin
commit
|
commitdiff
|
tree
2007-07-01
Sven
V
erd
o
olaege
Makefile
.
am: forc
e
reb
u
ild libr
a
ri
e
s in subdir
s
if
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
S
v
e
n
Ve
r
doolaege
only t
e
st barvinok_ma
x
imize if
it has bee
n
/can b
e
cre
a
ted
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
ba
r
vin
o
k 0
.
24
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verd
o
olaege
test
l
ib
.
cc: work around
i
ncomplete n
a
m
e
s
pace su
p
port
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdoolaege
scale
.
c:
enumerate_
n
arrow_f
l
ated
:
don'
t
simplify c
o
nstraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdool
a
ege
decl
a
re varia
b
les at start of
code block
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdoolaege
doc: update documenta
t
ion of options
a
nd
s
ome functions
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
do
o
l
aege
Poly
h
ed
r
on_
S
ampl
e
: fact
o
r polyhed
r
on if pos
s
i
b
l
e
commit
|
commitdiff
|
tree
2007-06-30
S
v
en
V
erdoolaege
Polyhedron_Sample: compute ve
r
tices of
1
D po
l
yhedra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdool
a
ege
Polyh
e
dron_Sa
m
ple: r
e
m
ove
all
equalities f
r
om polyhed
r
on
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
e
n
Verdoolaege
add possibi
l
ity to use
G
L
P
K
as
LP solver
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoo
l
aege
P
olyhedr
o
n
_Sam
p
le: po
s
tpone removal of rays until we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Polyhedr
o
n_Sample: use lp solv
e
r for finding range
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
lexmin: m
o
ve
c
hoice of lp s
o
l
ver to u
s
e outside bas
i
s
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
doolaege
p
o
ly
s
ign
.
h: use correct nam
e
of PL_pol
y
hed
r
on_affine_sign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
doola
e
ge
ba
r
vinok_enumerate: plug memory leak in Bernoulli
app
r
oximation
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verdoolaege
b
ar
v
inok_enumerate_e_
r
: don't assume A
d
dConstraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdoolaege
evalue_frac2
p
olynomial
:
rec
h
eck
e
value a
f
ter e
v
alu
e
_split_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoo
l
a
e
ge
u
ti
l
.
c: L
i
ne_Length
:
don't get confu
s
ed by positivity
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
ool
a
ege
Makef
i
le
.
am:
stop aft
e
r
first failed test
commit
|
commitdiff
|
tree
2007-06-27
S
v
en
V
erdo
o
la
e
ge
ber
n
stein:
carry through variable
renam
i
ng to debugg
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sve
n
Verdoola
e
ge
ber
n
stein: don't
a
ssume input polynomial has been expand
e
d
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdo
o
la
e
ge
evalue_read
.
c: correct constness of na
m
e
i
n parameter_
n
ew
commit
|
commitdiff
|
tree
2007-06-27
Sv
e
n Ver
d
oolaege
eval
u
e
_
read:
a
cce
p
t
c
onstan
t
m
ultiple of variable w
i
thout
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sven Verdoolaege
evalu
e
.
c
:
evalue_sum
:
bet
t
er handl
i
ng of
negati
v
e v
a
lu
e
s
commit
|
commitdiff
|
tree
2007-06-15
Sv
e
n Verdoo
l
a
ege
evalue
.
c: reorder_terms: fix typo
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdoolae
g
e
e
value: dec
l
are
fir
s
t argument of emul co
n
st
commit
|
commitdiff
|
tree
2007-06-14
Sven Ver
d
oo
l
aege
evalue
.
c: emul:
d
on't
use exp
l
i
cit_c
o
mpl
e
ment o
n
arg
u
m
ents
commit
|
commitdiff
|
tree
2007-06-14
Sven Verd
o
ola
e
g
e
add a
t
est for evalue_split_pe
r
iods
commit
|
commitdiff
|
tree
2007-06-13
Harald
.
D
e
vos@el
i
s
.
.
.
find_fra
c
tional_with_ma
x
_periods:
initialize local
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdoolaege
evalue
.
c: evalue_
s
plit_periods: mak
e
sure selected
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven
V
e
rdo
o
laege
evalue
.
c: pol
y
nomi
a
l_
p
r
ojection: use evalue_extract_affine
commit
|
commitdiff
|
tree
next