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
polytope_scan: reenable --direct option
2007-10-25
Sv
e
n
V
erdool
a
ege
polytope_scan: reenable
-
-
direct optio
n
commit
|
commitdiff
|
tree
2007-10-20
Sven Ve
r
doolaege
rem
o
ve_all_
e
qualities: keep remov
i
ng equalities until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
rem
o
v
e
_all_equa
l
i
t
ies: handle e
m
p
t
y
polyhedron detected
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoo
l
aege
remove_all_eq
u
alities: mi
n
or
c
o
d
e clean-up
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
expor
t
Polyh
e
dron_Matrix_
V
iew
commit
|
commitdiff
|
tree
2007-10-16
S
v
en Verdoo
l
aege
pol
a
r_signed_c
o
ne_consumer
:
clean up memory on
i
nappropriate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
S
ven Verd
o
o
l
aege
Para
m
_Inner_Produ
c
t: fix use of value
_
lcm
commit
|
commitdiff
|
tree
2007-09-28
Sv
e
n Verdoolaege
d
o
c
: fix typ
o
in Michele Vergn
e
's na
m
e
commit
|
commitdiff
|
tree
2007-09-21
Sven Ve
r
doolaege
Add missing files from polymake client to dist
r
ibution
commit
|
commitdiff
|
tree
2007-09-21
Sven Verd
o
o
l
aege
Use gmp's g
c
d rather than PolyLib's
commit
|
commitdiff
|
tree
2007-09-21
Sv
e
n Verdoolaeg
e
polymake/READ
M
E: mention --with-
b
arvi
n
ok con
f
i
gure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
S
ven
V
erd
o
o
l
aeg
e
polymake/Makefil
e
.
in: add work-around
f
o
r
p
ol
y
m
a
k
e
2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
evalue
.
c: pr
i
nt_ev
a
lue: always prin
t
new
l
ine
a
t
the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven
Verdoolaege
options
.
c:
fix typo in
-
-appr
o
xim
a
tion-
m
ethod de
s
cr
i
ption
commit
|
commitdiff
|
tree
2007-09-15
Sven Verd
o
ol
a
ege
topc
o
m: f
i
x heuristic for selecting ro
w
s to use
a
s
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
S
v
en Verd
o
olaege
barvinok 0
.
2
5
commit
|
commitdiff
|
tree
2007-09-11
Sven
Verdoolaege
Merge branch 'topcom'
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
V
erdo
o
l
a
e
ge
Document TOP
C
OM ba
s
e
d
chamb
e
r decompositio
n
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoo
l
aege
te
s
t TO
P
CO
M
chamber decomp
o
sition
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Option
a
lly
u
se TOPCOM
t
o compute chamber de
c
ompositions
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Ve
r
doolaege
l
e
xmi
n
: add
(
protected) missing
a
l
gorithm
i
nclude
commit
|
commitdiff
|
tree
2007-09-11
S
v
e
n
Verd
o
ol
a
ege
Makefile
.
am: add target for creating dist with
g
it
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
S
ven
Verdoolaeg
e
doc:
u
pdate voting
theory reference
commit
|
commitdiff
|
tree
2007-09-10
Sven Ve
r
doolaege
document barv
i
no
k
_summa
t
e and barvinok_maximiz
e
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
d
oc: c
o
nsistent use of
B
arvi
n
ok's initials
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
bar
v
inok_summate: correct options descriptio
n
commit
|
commitdiff
|
tree
2007-09-10
Sven Ve
r
doola
e
ge
D
o
cum
e
nt Euler-Maclaurin
b
ased su
m
mation
commit
|
commitdiff
|
tree
2007-09-10
Sven V
e
r
d
o
o
l
a
ege
doc: c
h
ange example e
n
vir
o
nment
commit
|
commitdiff
|
tree
2007-09-10
S
v
en
Verd
o
o
l
aeg
e
doc: add some
hidden sections
to table of contents
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
e
r
doolaege
doc: ano
t
h
e
r docum
e
n
t refering to the
l
ibrary
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdoolaege
add s
o
me tes
t
s
f
o
r
E
u
l
er-Maclaurin base
d
s
um
m
ation
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
Euler-Maclaurin base
d
summation for 1D problems
commit
|
commitdiff
|
tree
2007-09-10
S
ve
n
Verdool
a
ege
Eule
r
-
M
aclaurin based
s
ummati
o
n for 2D problem
s
commit
|
commitdiff
|
tree
2007-09-08
S
ve
n
Verdoolaege
de
c
omposer
.
c
c
: a
v
oid
use of
half-open cones
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
b
a
rvinok_sum
m
a
t
e
: verify
s
olution
over whole parameter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
aeg
e
introduce bar
v
inok_summa
t
e as a wrapper fo
r
evalue_su
m
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add
e
valu
e
_mul_div
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdo
o
laege
evalue_{div,mul}:
h
andle some t
r
ivial cases m
o
r
e
e
f
ficiently
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolae
g
e
lattice
_
point: export
f
r
a
ctio
n
al_part
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
evalue
.
c: extract co
m
mon
code for constr
u
ction bas
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolaege
volum
e
.
c
: ex
p
ort
Param_P
o
lyh
e
dron_Facet
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
a
d
d
e
value
_
m
u
l
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
aege
fix type
o
f evalue_polynomial a
r
gument
commit
|
commitdiff
|
tree
2007-09-08
S
v
en V
e
rdoola
e
ge
su
p
p
ort
c
om
p
utation of Bernoulli polynomials
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
s
e
parate compu
t
ati
o
n of Bernoull
i
coefficients
a
nd
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
lattic
e
_point: use Param_Vertex_Comm
o
n
_
D
e
nominat
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaege
ma
k
e dec
o
mpose
r
.
h self-contained
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
a
e
g
e
red
u
ce_d
o
main: avoid use of macro param
e
ter w
i
th name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolaege
export
e
va
l
ue_dup
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoola
e
g
e
Use pipli
b
during basis reduction if no oth
e
r
L
P
solvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
a
ege
Use bundled piplib by default
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n Verdoolaege
add pipli
b
modu
l
e
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rd
o
ola
e
ge
Use bundle
d
PolyL
i
b
b
y
d
efault
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
a
d
d polylib submodu
l
e
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n Verdoolaege
bernstein: allow
l
inking
a
gainst un
i
nstalled, but
b
uilt
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven Verdoolaege
add
m
or
e
m
i
s
s
ing assert
.
h #
i
ncludes
commit
|
commitdiff
|
tree
2007-08-29
Sv
e
n
Verdoo
l
aege
add d
u
mmy
i
mpleme
n
tations o
f
func
t
ions that depend
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
S
v
en
Verdoolaege
updat
e
"Count
i
ng with rational generating functions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sve
n
V
erdoolaege
ba
r
vinok
.
cc: spli
t
off part
c
onstr
u
cting ge
n
eratin
g
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Ver
d
oo
l
aege
bar
v
i
nok
.
cc: split off pa
r
t
dealin
g
with ex
i
stential
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolae
g
e
*c
o
un
t
er: avo
i
d recomputation of denomi
n
ators when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Ver
d
oo
l
a
e
ge
c
o
u
nter: rem
o
ve
redun
d
ant memb
e
r
commit
|
commitdiff
|
tree
2007-08-16
Sven
Verdool
a
ege
change typ
e
of som
e
"sign"s to int as they c
a
n only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Ve
r
d
oolaege
doc: update
A
lgorithmica
p
ubl
i
c
ation
commit
|
commitdiff
|
tree
2007-08-10
Sven Verdoolaege
evalue
.
c: make
para
m
e
t
e
r
names of ty
p
e co
n
s
t
char
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
S
v
en Verd
o
olaege
s
ample
.
c: Po
l
yhedron_RemoveFi
x
e
d
C
o
lu
m
ns:
c
orrectly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sven Verdoolaeg
e
util
.
c:
remove_
e
q
ualities: fix typo
commit
|
commitdiff
|
tree
2007-07-30
Sven Verdoolaege
Param_
P
olyhedro
n
_P
r
int: print everything to
g
i
v
en
f
ile
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoola
e
ge
barvi
n
ok_enumerate_wit
h
_options:
don'
t
add context
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
S
ven
Verdoolaege
barvinok
.
cc: don't fre
e
P a
r
g
ument in enumerate
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
remove_al
l
_equal
i
tie
s
: also remove
e
qua
l
iti
e
s
i
n con
t
e
xt
commit
|
commitdiff
|
tree
2007-07-29
S
v
en Verdoolaege
volum
e
.
c:
avoid warning
s
commit
|
commitdiff
|
tree
2007-07-27
S
ven Verdo
o
laege
export Param_Inn
e
r_Produc
t
commit
|
commitdiff
|
tree
2007-07-25
S
v
en V
e
rdo
o
la
e
g
e
barvinok_enumerate
.
cc: a
d
d
m
i
ni
m
a
l
check on inpu
t
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdoolaege
more prototype
c
hanges to const c
h
ar *
commit
|
commitdiff
|
tree
2007-07-19
Sven V
e
rdo
o
l
a
ege
e
v
alue: print_evalue: make
parameter
names const
c
har*s
commit
|
commitdiff
|
tree
2007-07-11
Sven Verdoolaege
Always compile polytope_
s
ca
n
commit
|
commitdiff
|
tree
2007-07-11
Sven Verdoolaege
polyto
p
e_
s
ca
n
: use argp for
a
rgument parsi
n
g
commit
|
commitdiff
|
tree
2007-07-05
Sv
e
n Verdoolaege
d
oc: fix typo
commit
|
commitdiff
|
tree
2007-07-04
S
v
e
n Verdoolaege
confi
g
ure
.
in: a
l
low spec
i
f
ication of
de
f
ault
prefi
x
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sve
n
Verdoolaege
c
o
n
solidate calls to Po
l
y
h
edron2
P
aram_Do
m
a
in
commit
|
commitdiff
|
tree
2007-07-03
Sven Verdoo
l
aege
v
olume
.
c:
f
ix typo in comment
commit
|
commitdiff
|
tree
2007-07-01
Sven
Verdo
o
l
a
ege
Make
f
i
l
e
.
am: a
d
d $(EXEEXT) for cygwin
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdo
o
laege
Makefile
.
a
m: force rebuild librari
e
s in subdirs if
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoo
l
a
ege
only
te
s
t
barvinok_m
a
x
imize if it has be
e
n/can b
e
created
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
e
r
d
o
o
laege
b
arv
i
nok 0
.
24
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
r
d
o
o
l
a
ege
testlib
.
cc: work
around
i
ncomplet
e
nam
e
spa
c
e suppor
t
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
e
n
Verd
o
olaege
s
cale
.
c
:
e
numerate_narrow_flated: don'
t
simplif
y
constraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
e
n
Ver
d
ool
a
ege
declare v
a
riables at s
t
ar
t
of code
b
lock
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
V
e
r
do
o
laege
doc:
u
pdate document
a
tion of opt
i
o
n
s and some
fu
n
ctio
n
s
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdo
o
l
a
ege
Polyhedron
_
Sample:
factor po
l
yhedron if poss
i
ble
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verd
o
olaege
P
olyhedron_Sample: com
p
u
t
e ver
t
ices
o
f
1D polyh
e
dra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven Ve
r
do
o
laege
Polyhedron_Sample:
rem
o
ve all equalities
f
rom
poly
h
edro
n
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
add possibility to use
GLPK as LP solver
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
V
e
rdoolaege
P
o
l
y
hedron_Sample
:
postpo
n
e removal
o
f rays unt
i
l we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdoolaege
Polyhe
d
r
o
n_Sample: use lp solver fo
r
finding range
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verdo
o
l
a
e
ge
lexmi
n
: move
choice
of lp solver to use out
s
ide basis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolae
g
e
polysig
n
.
h
: u
s
e correct
n
ame of PL_polyhedron_affine_sign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verd
o
olaege
bar
v
inok_enumerat
e
: plu
g
memory leak in B
e
r
noulli
a
pp
r
o
x
imati
o
n
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdoolaege
barvin
o
k_
e
numerat
e
_e_r: don
'
t assume
A
ddC
o
nstraints
.
.
.
commit
|
commitdiff
|
tree
next