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
polymake/README: mention --with-barvinok configure option
2007-09-21
Sve
n
Verdo
o
laege
polymak
e
/README: me
n
t
i
on --wit
h
-barvinok configure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sv
e
n Verdool
a
eg
e
p
oly
m
ak
e
/Makefile
.
i
n
:
a
d
d work-around for p
o
l
y
mak
e
2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoo
l
a
ege
evalue
.
c: p
r
i
nt_evalue: a
l
ways
print newline at the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven Verdoolaege
options
.
c:
f
i
x
typo i
n
--approximatio
n
-method d
e
scri
p
tion
commit
|
commitdiff
|
tree
2007-09-15
Sven V
e
rdoo
l
aege
topco
m
:
f
ix he
u
ristic
fo
r
s
e
lecting r
o
ws to use as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
S
ven Verdo
o
l
aege
barvinok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
Verdoolaege
M
e
rg
e
branch
'topcom'
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Document TOPCOM
b
ased chamber
d
e
c
omposition
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
test TOPCOM chamb
e
r de
c
ompo
s
ition
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Opt
i
onal
l
y
use TOPCOM to comp
u
te chambe
r
decompositions
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
l
e
x
m
in: add (prot
e
cted)
m
issing algorithm i
n
clude
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Makefile
.
am:
add target for creating dist wit
h
g
it
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Verdoolaege
doc: update voting
t
heory r
e
ference
commit
|
commitdiff
|
tree
2007-09-10
S
v
e
n Ve
r
doo
l
aege
d
o
cum
e
nt barvinok_summate and barvin
o
k_maximize
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: consist
e
nt use of Bar
v
ino
k
's
i
nit
i
als
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erdoolaege
barvin
o
k_summa
t
e:
c
or
r
e
ct
o
ptions description
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Verdoolaege
Document Eul
e
r-Ma
c
la
u
r
in b
a
sed summatio
n
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc
:
c
h
a
nge example en
v
i
ronmen
t
commit
|
commitdiff
|
tree
2007-09-10
S
v
e
n Ver
d
oo
l
aege
doc: add s
o
m
e
h
idden secti
o
ns
t
o tab
l
e of contents
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: ano
t
her document refering
to the library
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
add some tests
f
or Euler-Maclaurin based summation
commit
|
commitdiff
|
tree
2007-09-10
Sven
Ve
r
doolae
g
e
E
uler-Maclaurin based summation for
1
D problem
s
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n V
e
r
d
oo
l
aege
Eu
l
er-Maclau
r
in
b
as
e
d
summation
f
or 2D p
r
oblems
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoo
l
aege
decom
p
ose
r
.
cc: avoi
d
use of half-open cones
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
barvi
n
ok_s
u
mma
t
e: verif
y
s
olution ov
e
r wh
o
le
p
a
r
ameter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolaege
intr
o
duce
b
arvinok_summ
a
te a
s
a
wra
p
per fo
r
evalue_sum
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
o
la
e
ge
add ev
a
lue_
m
ul_div
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoo
l
a
e
ge
evalue_{div,mul}
:
ha
n
dle some trivi
a
l cases more effi
c
iently
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n Verd
o
olae
g
e
l
a
ttice_point:
e
xport fra
c
tio
n
al_part
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
eva
l
ue
.
c: extract co
m
m
on code for const
r
u
ction bas
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolaege
volu
m
e
.
c
: expor
t
Param_Po
l
yhedron
_
F
acet
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Ver
d
oola
e
ge
add evalue_mul
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolaege
fix type of
e
value_polynomial
a
rg
u
ment
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
support computation of Bernoulli polyn
o
mials
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
separat
e
c
omputation of Bernoull
i
coeffi
c
ients and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
lat
t
ice
_
p
oint: u
s
e Para
m
_
Vertex_Common
_
De
n
ominator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
make decomposer
.
h self-contained
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
redu
c
e_domai
n
: avoid use of macro parameter with
n
ame
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n Ver
d
o
o
la
e
ge
e
xport
e
v
alue_dup
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n
V
e
rdoolaege
Use piplib during basis
reduction
i
f no o
t
her LP sol
v
ers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolaege
U
s
e bundl
e
d piplib by default
commit
|
commitdiff
|
tree
2007-09-08
S
ve
n
Ve
r
do
o
l
aege
a
dd pip
l
i
b
modu
l
e
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
Use bund
l
ed
P
o
lyLib by default
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdool
a
ege
add polylib submodule
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolaege
ber
n
stein: all
o
w linking a
g
a
inst uninstalled, but built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven
V
e
rdoolaege
add m
o
re missing asser
t
.
h #includes
commit
|
commitdiff
|
tree
2007-08-29
Sven Verdool
a
ege
a
dd
d
ummy implem
e
n
t
atio
n
s of functions that depe
n
d
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdo
o
laege
update "Counting with rat
i
onal generating functions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolaege
barvino
k
.
cc
:
split off part constructing generating
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoo
l
aege
barv
i
nok
.
cc: split off
part dealing wit
h
existent
i
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdo
o
laege
*counter: avoid recomputation of denominators when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verd
o
o
laege
c
ounter: remove red
u
ndant mem
b
er
commit
|
commitdiff
|
tree
2007-08-16
S
v
e
n
V
erdool
a
ege
cha
n
ge type of some "sign"s to int as they can only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Ver
d
oolaege
doc: update
A
lgorithmica publication
commit
|
commitdiff
|
tree
2007-08-10
Sven V
e
r
d
oola
e
g
e
eva
l
ue
.
c
: ma
k
e par
a
meter names of type const
c
har
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven V
e
rdoolaege
samp
l
e
.
c: Po
l
yhed
r
on_RemoveFixedC
o
lum
n
s: correctly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sven Verdoolaege
util
.
c: rem
o
ve_equal
i
ties:
f
ix typo
commit
|
commitdiff
|
tree
2007-07-30
Sven
V
erd
o
olaege
Param_Polyhedron_Print: p
r
i
n
t everything to g
i
ven file
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Ver
d
oolaege
barvi
n
ok_enumerate
_
w
ith_options
:
don't add co
n
te
x
t
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolae
g
e
barvin
o
k
.
cc: don't f
r
ee
P
argument in enumerat
e
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolae
g
e
r
emov
e
_
a
l
l_equalities: also remove
equal
i
ties
i
n context
commit
|
commitdiff
|
tree
2007-07-29
Sven Verd
o
olaege
volume
.
c: avoid warnings
commit
|
commitdiff
|
tree
2007-07-27
S
ven
V
erdoolae
g
e
export
Param_Inner_Product
commit
|
commitdiff
|
tree
2007-07-25
Sven Ve
r
dool
a
ege
b
a
rvinok
_
en
u
m
erate
.
cc:
a
d
d m
i
nimal check
on
input
commit
|
commitdiff
|
tree
2007-07-19
Sv
e
n V
e
rdoolaege
m
ore pro
t
o
type cha
n
ges
t
o const ch
a
r
*
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdo
o
lae
g
e
evalue: print_
e
value: m
a
ke paramet
e
r name
s
const ch
a
r
*
s
commit
|
commitdiff
|
tree
2007-07-11
Sven Ve
r
doolaege
Always
compi
l
e polytop
e
_scan
commit
|
commitdiff
|
tree
2007-07-11
Sven V
e
rdoolae
g
e
polytope_scan: use argp
for argument parsing
commit
|
commitdiff
|
tree
2007-07-05
Sven Verdoolaege
doc: f
i
x typo
commit
|
commitdiff
|
tree
2007-07-04
Sven V
e
rdool
a
ege
configure
.
i
n: allow
specificat
i
on of default prefix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
S
ven Verdoolaege
consoli
d
a
t
e calls to Polyhedron2Param
_
Doma
i
n
commit
|
commitdiff
|
tree
2007-07-03
Sven V
e
r
doolae
g
e
volu
m
e
.
c: fix typo in co
m
ment
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoolaege
M
akefile
.
a
m
: add
$(EXEEXT
)
for cygwin
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoolaege
M
akefile
.
am: force rebuild libraries
i
n
s
u
bdirs if
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
Sven Ver
d
oo
l
aege
only test
b
arvinok_
m
aximize i
f
it
h
as be
e
n/
c
an be create
d
commit
|
commitdiff
|
tree
2007-06-30
S
v
e
n
Verdoo
l
aege
barvinok 0
.
24
commit
|
commitdiff
|
tree
2007-06-30
S
v
e
n
Verd
o
olaege
testl
i
b
.
cc: work a
r
ound i
n
complete nam
e
space
s
uppor
t
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
scale
.
c
: enumera
t
e_narrow_fl
a
ted: do
n
't
simplify constraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n
V
e
rdool
a
e
ge
d
e
clare
v
ariables at start of code bloc
k
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdool
a
ege
doc: update documentation of options and some fun
c
tions
commit
|
commitdiff
|
tree
2007-06-30
Sven
Ve
r
doolaege
Polyhe
d
ro
n
_Sample: factor polyhedron if
possible
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdoolaege
P
olyhedron_Sample: compu
t
e vert
i
c
e
s
of 1D
polyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n
V
erd
o
olaege
Polyhedr
o
n_Sample:
r
e
m
ove
all equalities from
p
olyhedron
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdoolae
g
e
ad
d
po
s
sib
i
lity to use GLPK
a
s LP solver
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verdoolaege
Polyhedro
n
_Sample: postpone remov
a
l of rays
until w
e
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdoolaege
Polyhedro
n
_Sa
m
ple: u
s
e lp
s
o
l
v
er for fin
d
ing rang
e
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
le
x
min:
m
o
v
e choice
of
l
p s
o
l
ver
to use outside basis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en
V
er
d
oo
l
aege
p
o
l
ysign
.
h: use correct name of PL_polyhedron_
a
ffine_
s
ign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
b
a
r
vino
k
_enu
m
erate: plug memo
r
y leak in
Bernoulli
a
p
proximation
commit
|
commitdiff
|
tree
2007-06-30
S
ven
Verdoola
e
ge
ba
r
v
i
nok_enumer
a
te
_
e_r: don
'
t
assume AddConstrai
n
ts
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verd
o
olaege
e
value_frac2polynomial: recheck evalue after e
v
a
lue
_
s
plit
_
do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdoolaege
u
t
il
.
c: Line_Length: do
n
't get confused b
y
positivi
t
y
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaeg
e
M
a
kefile
.
am
:
stop after
f
i
rst fai
l
ed test
commit
|
commitdiff
|
tree
2007-06-27
S
ven Verdoolaeg
e
bernstein: c
a
rry th
r
oug
h
var
i
able renaming to debugging
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sven Ve
r
doo
l
aege
bernste
i
n: don't assume inpu
t
po
l
y
n
o
mial
h
a
s
been ex
p
an
d
ed
commit
|
commitdiff
|
tree
2007-06-27
S
ven Verdoolae
g
e
e
val
u
e_rea
d
.
c: corre
c
t
c
onstness of name in paramete
r
_
n
e
w
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolaege
e
value_read:
a
ccept constant multiple of variable without
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sven Verdoolaeg
e
evalue
.
c
:
e
v
alue_sum: better
handling
of negative values
commit
|
commitdiff
|
tree
2007-06-15
Sven
V
e
r
doo
l
aege
e
v
al
u
e
.
c: reorder_terms:
f
i
x
typo
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdoolaege
ev
a
lue: decl
a
re first argum
e
nt of emul cons
t
commit
|
commitdiff
|
tree
next