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
Use gmp's gcd rather than PolyLib's
2007-09-21
Sven Verd
o
ol
a
ege
Use gmp's
gcd r
a
ther than PolyLib's
commit
|
commitdiff
|
tree
2007-09-21
Sven Ve
r
do
o
laege
polymake/RE
A
D
ME:
mention --with-barvinok conf
i
gure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sve
n
V
erd
o
olaege
p
o
l
y
mak
e
/Makefile
.
in:
a
dd
w
o
rk-a
r
ound f
o
r pol
y
make 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
evalue
.
c: print_evalue
:
alway
s
p
r
int newl
i
ne at
t
he
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven Ver
d
oola
e
g
e
option
s
.
c:
f
ix ty
p
o
i
n --approximation-method description
commit
|
commitdiff
|
tree
2007-09-15
S
v
e
n
Ve
r
dool
a
ege
topcom: fix heuris
t
ic for se
l
ecting rows
t
o use
as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verd
o
o
l
aege
barvin
o
k 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdool
a
ege
Merge br
a
nc
h
'topcom'
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Do
c
ument TOPCOM base
d
ch
a
mber
d
eco
m
p
osi
t
ion
commit
|
commitdiff
|
tree
2007-09-11
S
v
en Ver
d
ool
a
ege
test TOPCOM chamber decomposition
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
Verdoolaege
O
ption
a
lly use TOPCOM to compute cham
b
e
r
deco
m
pos
i
tions
.
commit
|
commitdiff
|
tree
2007-09-11
Sven V
e
rdoolaege
l
e
xmin: a
d
d (pro
t
ected)
missing algorithm
include
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n Verdoo
l
aege
M
a
kef
i
le
.
am
:
ad
d
target for creating dis
t
w
ith git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Verdoola
e
g
e
doc: update voting theory refere
n
ce
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdoola
e
ge
documen
t
b
a
rvi
n
o
k
_
summate an
d
barvin
o
k_maximiz
e
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verdoolaege
d
oc: cons
i
stent use o
f
Barvinok's
i
nitials
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdoolaege
b
a
rvin
o
k_summa
t
e: correct optio
n
s description
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verdoolaege
Docume
n
t Eul
e
r-Maclauri
n
b
a
sed summation
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: cha
n
ge exa
m
ple environmen
t
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erdoolaege
doc: add some hidde
n
sections to t
a
ble
o
f contents
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoola
e
ge
doc: anoth
e
r document refering
t
o
the library
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verdo
o
l
a
e
ge
a
d
d some t
e
sts for Eule
r
-
Macl
a
urin based s
u
mmat
i
on
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
Euler-Maclaurin based su
m
mation fo
r
1D p
r
oblem
s
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolae
g
e
Euler-M
a
claurin based summation
for
2
D
prob
l
ems
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n
Verdoolae
g
e
de
c
omp
o
ser
.
cc: avoi
d
use of half-open con
e
s
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
barvinok_summate:
veri
f
y so
l
u
t
i
o
n over wh
o
le parame
t
er
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
e
rdool
a
e
ge
introduce b
a
r
v
ino
k
_summa
t
e as a wrap
p
er for ev
a
lue_sum
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verd
o
olaege
add
eva
l
ue_mul
_
d
iv
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olaeg
e
evalue_{d
i
v
,
mul}: handle s
o
me t
r
ivial
c
a
ses
m
ore ef
f
iciently
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n
V
e
rdo
o
lae
g
e
latti
c
e_p
o
int: export fr
a
ctional_part
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolaege
eva
l
u
e
.
c: extract co
m
mon
c
o
de
for construction based
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
vo
l
ume
.
c: e
x
port Param_P
o
l
yhedron_
F
a
c
et
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
a
d
d eval
u
e_m
u
l
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolaege
fix type of evalue
_
p
o
lyn
o
mi
a
l argument
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
aege
support computatio
n
of Bernoulli polynomials
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
separate computat
i
on o
f
Bernoulli co
e
f
f
ici
e
nts and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
lat
t
ice_point:
u
se Param_Ver
t
ex_Co
m
mon_Denominator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolaege
make de
c
omposer
.
h s
e
lf-co
n
tained
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
red
u
ce_doma
i
n:
a
void
use of
macr
o
parameter with name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
Ver
d
oolaeg
e
export e
v
alue_dup
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
Use piplib durin
g
basis redu
c
tion if no other L
P
solvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n
Verdoolaege
Use bund
l
ed piplib by default
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaege
add piplib module
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
e
rdool
a
e
g
e
U
se b
u
ndled PolyLib by default
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
a
d
d
polylib
subm
o
dule
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoo
l
aege
bernstein: all
o
w
l
inking against uninstalled, but built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven
V
erdoolaege
a
dd mo
r
e missing assert
.
h #includes
commit
|
commitdiff
|
tree
2007-08-29
Sven Verdoolaege
ad
d
dum
m
y implementa
t
ions of functions that depend
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
S
ven Verdoolaege
update "Cou
n
t
ing wi
t
h rational generating fun
c
tions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven V
e
rdoolaege
b
ar
v
i
n
o
k
.
cc: split off
p
ar
t
constructing generati
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
S
v
en
Verdoolaege
barvin
o
k
.
cc: s
p
lit off part d
e
a
l
ing wit
h
existential
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
S
v
e
n Verdoolaege
*counte
r
:
avoi
d
reco
m
putation o
f
denominators when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
S
v
en Ve
r
doolaege
counter: remove
redun
d
a
nt memb
e
r
commit
|
commitdiff
|
tree
2007-08-16
Sve
n
Verdoolae
g
e
change typ
e
of some "
s
i
gn
"
s
to
i
nt as th
e
y
c
an o
n
ly
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaeg
e
d
o
c: update Alg
o
rith
m
ica publ
i
cation
commit
|
commitdiff
|
tree
2007-08-10
Sven V
e
r
d
o
olae
g
e
evalue
.
c: make parameter
names
of t
y
pe
const
c
h
ar
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven Verdoolaege
sample
.
c:
P
oly
h
edron_Remo
v
e
FixedC
o
lumns: co
r
re
c
tly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sv
e
n Verdo
o
laege
util
.
c: remove_e
q
ualities: fix ty
p
o
commit
|
commitdiff
|
tree
2007-07-30
Sven
Verdoo
l
aeg
e
P
a
ram_Poly
h
edron_Print
:
p
r
int
e
verything to gi
v
en
file
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sve
n
Verdoolaege
bar
v
in
o
k
_enumerate
_
with_options:
don't a
d
d cont
e
xt
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verd
o
olaege
barvinok
.
c
c:
d
o
n
't free P argument i
n
e
n
umerate
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
remove_all_equalities:
also r
e
move
equ
a
lit
i
es in
c
ontext
commit
|
commitdiff
|
tree
2007-07-29
Sven
Verdoolaege
vol
u
me
.
c: a
v
oid warnings
commit
|
commitdiff
|
tree
2007-07-27
Sven Verdoolaege
export
Param_Inner
_
Pr
o
duct
commit
|
commitdiff
|
tree
2007-07-25
Sven
V
e
r
d
o
o
l
aege
barvino
k
_enumerate
.
cc: add minimal chec
k
on
input
commit
|
commitdiff
|
tree
2007-07-19
Sve
n
Verdool
a
ege
more prototy
p
e chang
e
s
to const ch
a
r
*
commit
|
commitdiff
|
tree
2007-07-19
S
ven Verdoola
e
ge
evalue:
pri
n
t_evalue:
m
ake par
a
meter names
const
char*s
commit
|
commitdiff
|
tree
2007-07-11
S
v
en Verdoolaege
Always compile
p
olytope
_
scan
commit
|
commitdiff
|
tree
2007-07-11
S
v
en Verdoolaege
p
o
lytope
_
s
can: use argp for argumen
t
parsi
n
g
commit
|
commitdiff
|
tree
2007-07-05
Sv
e
n Verd
o
olaege
doc: fi
x
typo
commit
|
commitdiff
|
tree
2007-07-04
Sv
e
n
V
e
r
dool
a
ege
con
f
igu
r
e
.
i
n
: al
l
o
w specification of default p
r
efix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sven V
e
r
doolaege
cons
o
lida
t
e call
s
to
Poly
h
edron2Param_Domain
commit
|
commitdiff
|
tree
2007-07-03
Sven Verdool
a
ege
volume
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2007-07-01
S
v
en
Verdoolaege
Mak
e
f
i
le
.
am: add $(EXEEXT)
f
o
r cy
g
w
i
n
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoolae
g
e
Makefile
.
a
m: fo
r
ce rebu
i
ld l
i
braries in
s
u
bdirs if
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
S
v
en Verdoolaege
only test
b
ar
v
in
o
k_maxi
m
ize if it has been/can be
c
r
eated
commit
|
commitdiff
|
tree
2007-06-30
S
ven Ver
d
oolaege
barvinok 0
.
2
4
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaeg
e
t
estlib
.
cc: work
a
rou
n
d incomplete names
p
ace support
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verd
o
olae
g
e
scale
.
c: enumerate_na
r
row
_
flat
e
d: don't simplify constrai
n
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Ve
r
doolaege
declare
v
ariables at start o
f
code blo
c
k
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Ve
r
doo
l
aege
doc
:
update documentation of options and some fun
c
tions
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdool
a
e
g
e
Poly
h
e
dron_Sampl
e
: factor polyhedr
o
n if
p
os
s
ible
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verd
o
olaege
Polyhedr
o
n_Sampl
e
: comput
e
v
e
r
t
i
c
e
s of 1D polyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdool
a
ege
P
ol
y
hedron_Sa
m
ple:
remove all equalities
f
rom po
l
yhedron
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
oo
l
aege
a
dd
p
ossibi
l
ity t
o
use GLPK as L
P
so
l
ve
r
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verdoola
e
ge
Pol
y
hedron
_
Sample: postp
o
ne removal of rays until w
e
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
d
o
olaege
Polyhedron_Sample: use
l
p solver for finding ran
g
e
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
lexmin: move c
h
oice
of lp
s
o
l
ver t
o
use outs
i
de basis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verdoola
e
ge
p
o
lysi
g
n
.
h: use cor
r
ect
n
a
m
e
o
f PL_p
o
lyhedron_affine_sign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Ver
d
oolaeg
e
barvinok_enumerate: plug m
e
mory leak in
B
ernoulli approximation
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaeg
e
b
arv
i
nok_enumerate_
e
_r: don't assume Add
C
o
n
straints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
oolae
g
e
evalue_frac2
p
olynomial: recheck e
v
alue after
e
v
a
lue
_
sp
l
it_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoola
e
ge
util
.
c:
L
ine_Length: don't get confused by
p
ositivity
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Make
f
ile
.
a
m
: stop afte
r
f
irst failed test
commit
|
commitdiff
|
tree
2007-06-27
S
ven Ve
r
doolaege
bernste
i
n: carr
y
t
hrou
g
h varia
b
le
r
enaming t
o
debugging
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sven Ve
r
d
o
olaege
bernste
i
n: don't assume input pol
y
n
omial h
a
s
been expand
e
d
commit
|
commitdiff
|
tree
2007-06-27
S
ven V
e
rdoolaege
evalue_read
.
c
: correct con
s
tness of
name in par
a
m
e
ter_new
commit
|
commitdiff
|
tree
2007-06-27
S
ven Verdoolaege
e
v
alue_read: accept constant
m
ultiple of var
i
able with
o
ut
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sve
n
Verdoolaege
evalue
.
c: e
v
alue_su
m
:
b
etter handling of negative values
commit
|
commitdiff
|
tree
2007-06-15
Sven Ver
d
o
olaege
evalu
e
.
c: reorde
r
_term
s
: fix typo
commit
|
commitdiff
|
tree
next