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
V
erdoolaege
poly
m
ake/README: menti
o
n
-
-
w
ith-barvin
o
k c
o
nfigure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
S
ven Verdoo
l
aege
polymake/Makef
i
le
.
in: add wor
k
-
ar
o
und for polymake 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
S
ven Ve
r
doolaege
evalue
.
c:
p
rint_evalue: alwa
y
s
p
ri
n
t newline at the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven Ve
r
doo
l
aege
options
.
c: f
i
x typo in --approxima
t
i
o
n
-
method d
e
scription
commit
|
commitdiff
|
tree
2007-09-15
S
ven Verdoo
l
aege
topcom
:
f
i
x heuristic for selecting rows
to use as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
barvinok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Merge
bran
c
h 'to
p
c
o
m'
commit
|
commitdiff
|
tree
2007-09-11
S
v
e
n
Ve
r
doolaege
Docume
n
t
T
OPC
O
M based chamber
d
ecomposition
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdo
o
laege
test TOPCOM cham
b
er decomposition
commit
|
commitdiff
|
tree
2007-09-11
S
v
e
n Ve
r
doolaege
Opt
i
onally use TOPCOM to c
o
mpute
chamber decompositions
.
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
erdoolaege
l
e
xmin: add
(p
r
ot
e
cte
d
) missing a
l
gori
t
hm
i
ncl
u
d
e
commit
|
commitdiff
|
tree
2007-09-11
Sven Ve
r
doolaege
Makefile
.
a
m: add target for
c
re
a
ting
d
ist with git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: update vo
t
ing t
h
eory re
f
e
rence
commit
|
commitdiff
|
tree
2007-09-10
Sven
Verdo
o
laege
docum
e
nt ba
r
vinok_summate and
b
ar
v
ino
k
_maximize
commit
|
commitdiff
|
tree
2007-09-10
S
v
en
V
erdoolaege
doc: con
s
istent
use of B
a
rvinok's initials
commit
|
commitdiff
|
tree
2007-09-10
Sven Ver
d
oolaege
b
a
rvinok_sum
m
ate: co
r
r
ect options descri
p
tion
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoo
l
ae
g
e
D
o
cument Euler-Maclaurin b
a
sed s
u
m
m
ation
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
e
rdoolaege
doc:
c
h
ange exa
m
ple environm
e
n
t
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
V
e
rd
o
o
l
a
eg
e
doc: add some hidden secti
o
ns to table
of content
s
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
d
oc
:
ano
t
her docu
m
ent refering to
t
he libra
r
y
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Verdoo
l
aege
add som
e
te
s
ts for Euler-Maclaurin
b
ased summatio
n
commit
|
commitdiff
|
tree
2007-09-10
Sven Verd
o
o
la
e
ge
Euler
-
Macl
a
urin based summation fo
r
1D probl
e
ms
commit
|
commitdiff
|
tree
2007-09-10
S
v
en
Ve
r
d
o
olaege
E
u
l
er-Maclaurin based
summati
o
n for 2D
p
r
o
blems
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolaege
de
c
o
m
poser
.
cc:
a
void u
s
e of
h
al
f
-open cones
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolaege
barv
i
no
k
_summate: ve
r
ify solution ove
r
w
hol
e
pa
r
ameter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
d
o
olaege
i
n
troduce barvinok_summate as a wrapper for evalue_su
m
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add evalue_mul_div
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
e
g
e
eva
l
ue_{div,mul}: handle s
o
me t
r
ivial cases more
e
f
f
i
ciently
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
l
a
ttice_point: export fraction
a
l_part
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
evalue
.
c
: ext
r
act common
code fo
r
c
o
ns
t
r
u
ction based
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolaege
volume
.
c: export Param
_
Polyh
e
d
r
o
n
_
Facet
commit
|
commitdiff
|
tree
2007-09-08
S
v
en V
e
rdoolaege
add evalue_mul
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoola
e
ge
f
ix ty
p
e of evalu
e
_polyn
o
mial argument
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolaege
s
u
pp
o
rt
computation
o
f B
e
rnoulli p
o
lyn
o
mials
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
separate computati
o
n of Ber
n
oulli coefficient
s
a
nd
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
aege
l
at
t
ice_poi
n
t
:
use
Param_Vertex_Common
_
Denom
i
nator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolaege
m
ake dec
o
mposer
.
h
self-contain
e
d
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdo
o
l
a
ege
r
e
duce_domain: avoid use of macr
o
p
arameter wi
t
h name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolaege
exp
o
rt
e
value_dup
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
Use piplib duri
n
g
b
asis red
u
cti
o
n if
no
o
t
h
er LP solvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaeg
e
U
s
e bundled
piplib by default
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolaege
a
d
d piplib mo
d
u
le
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
g
e
Use
b
undled
PolyLi
b
by default
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolaege
a
dd polylib submodule
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaege
bernstein: allow
l
i
nking again
s
t unins
t
alled, bu
t
built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven Verdoolaege
add
mor
e
miss
i
n
g
assert
.
h
#
i
ncludes
commit
|
commitdiff
|
tree
2007-08-29
Sven V
e
rdoola
e
ge
a
dd
d
um
m
y impleme
n
tatio
n
s o
f
functions t
h
at dep
e
nd
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolaeg
e
update "Counting with rational
g
e
nerating functions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolaege
barvinok
.
cc: split off
p
a
rt constructing gen
e
ra
t
ing
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sve
n
Verdoo
l
aege
b
arvinok
.
cc: split off pa
r
t dealing with existential
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sv
e
n Verdoo
l
aege
*
c
ounter: av
o
id recomputa
t
i
o
n
of
denominators wh
e
n
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
S
ven V
e
rdool
a
ege
co
u
nte
r
: remove redundant member
commit
|
commitdiff
|
tree
2007-08-16
S
ven
Verdoolaege
change t
y
p
e
of some "sign"s to int
a
s they can only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Ver
d
oolaege
doc: update Algorithmica pub
l
ication
commit
|
commitdiff
|
tree
2007-08-10
Sven Verdoolaege
evalue
.
c: make parameter names of
t
ype cons
t
c
ha
r
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven
V
erdoo
l
aege
s
ampl
e
.
c:
P
olyhedron_RemoveFixe
d
Colum
n
s: correctly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sven Verdoolaeg
e
util
.
c: remove_
e
qualities: fix ty
p
o
commit
|
commitdiff
|
tree
2007-07-30
Sv
e
n Ver
d
oolaege
Par
a
m_Po
l
yhedron_Print
:
print e
v
ery
t
hing to g
i
v
en
f
ile
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
barvinok_enumera
t
e_with_options
:
d
on't add con
t
e
xt
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
ba
r
vinok
.
cc: don't free P argument in enumerate
commit
|
commitdiff
|
tree
2007-07-29
Sve
n
Verdoolaeg
e
re
m
ove_all_e
q
u
alities: also remove equalit
i
e
s in
cont
e
x
t
commit
|
commitdiff
|
tree
2007-07-29
S
ven Verdoolae
g
e
volume
.
c
: avoid
warnings
commit
|
commitdiff
|
tree
2007-07-27
Sven Verdoolaege
export Param_Inne
r
_Product
commit
|
commitdiff
|
tree
2007-07-25
Sven Ve
r
dool
a
ege
barvinok_enumerate
.
cc:
a
dd m
i
nimal check on input
commit
|
commitdiff
|
tree
2007-07-19
S
v
en Ver
d
oolaege
more protot
y
pe
changes t
o
const cha
r
*
commit
|
commitdiff
|
tree
2007-07-19
Sven Verd
o
ola
e
g
e
evalue: print_evalue: make
p
arameter na
m
e
s
const c
h
ar*s
commit
|
commitdiff
|
tree
2007-07-11
Sve
n
V
e
r
doo
l
aege
Alway
s
compile polytope_scan
commit
|
commitdiff
|
tree
2007-07-11
Sven Verdoolaege
polytope_sc
a
n:
use argp f
o
r
argument p
a
rsing
commit
|
commitdiff
|
tree
2007-07-05
Sven
Verdoolaege
do
c
:
f
ix typo
commit
|
commitdiff
|
tree
2007-07-04
S
ven V
e
rdoolae
g
e
c
o
nfig
u
re
.
in:
a
llo
w
specification
o
f d
e
fault prefix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sven
Ve
r
doolaege
consoli
d
ate calls
t
o
P
olyhed
r
on2Param_Domain
commit
|
commitdiff
|
tree
2007-07-03
S
ven
Verdoolaege
volume
.
c
: fix typo
i
n
c
omment
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoolaege
Makefile
.
a
m
: add
$(EXEEXT) for cyg
w
in
commit
|
commitdiff
|
tree
2007-07-01
S
ven Verdoolaege
Mak
e
file
.
am:
f
orce rebuild
l
ibraries in subdir
s
if
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoolaeg
e
onl
y
test barvinok_maxim
i
ze if it has been/can be cr
e
ated
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
bar
v
i
n
ok 0
.
24
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
e
rdoo
l
aege
testlib
.
cc
:
work around
i
nc
o
mplete namespace support
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
o
o
l
aege
sc
a
l
e
.
c: enume
r
ate_narrow_fl
a
ted: don
'
t simplify c
o
nstra
i
nts
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoola
e
ge
decla
r
e variab
l
e
s
a
t start
o
f code block
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
er
d
o
o
lae
g
e
doc:
u
p
date document
a
tion of options and some functions
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Polyhed
r
on_Sample: factor poly
h
edron if possible
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
o
olaege
P
o
lyhedr
o
n_Sam
p
le: co
m
pu
t
e vertic
e
s of 1D polyhed
r
a
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdool
a
eg
e
Polyhedron_Sample: r
e
move all
e
quali
t
i
e
s from
p
olyhedron
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
add
possib
i
li
t
y
t
o use GLPK a
s
LP solver
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verd
o
olaege
Polyhedron_Sample
:
p
o
stpone removal of rays until
we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoola
e
ge
Polyhedron_Sample
:
use lp solv
e
r
f
or fin
d
ing range
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaeg
e
lexmin: mo
v
e choice of
l
p
s
o
lve
r
to u
s
e out
s
i
d
e basis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verd
o
olaege
p
olysign
.
h
:
u
s
e
c
orrec
t
nam
e
o
f
PL_polyh
e
dr
o
n_affin
e
_sign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
e
r
doolaege
b
a
rvinok_en
u
merate:
plug memory leak in Be
r
n
oulli approximation
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolae
g
e
barvin
o
k_
e
nume
r
ate_e_r: don't a
s
sume AddConstraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdoolae
g
e
e
value_
f
rac
2
poly
n
omial: recheck evalue after eva
l
ue_split_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
oolaeg
e
util
.
c: Line_Length: don'
t
g
e
t confused by pos
i
tivit
y
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoo
l
aeg
e
Makefile
.
am: stop after first failed test
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdo
o
laege
bernstein
:
carry thro
u
gh vari
a
ble ren
a
ming to debuggin
g
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolaege
bernst
e
in: don
'
t ass
u
me input polyno
m
ia
l
has
bee
n
expanded
commit
|
commitdiff
|
tree
2007-06-27
Sven Ver
d
oolaege
evalue_read
.
c: correct constness of name in param
e
ter_new
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdool
a
ege
evalue_rea
d
: accept c
o
n
s
tan
t
multiple of variable without
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sve
n
Verdoolaege
e
va
l
ue
.
c: evalue_sum:
better handling of neg
a
tive
values
commit
|
commitdiff
|
tree
2007-06-15
Sven
V
e
r
doolaege
eval
u
e
.
c: reorder_
t
erms: fix t
y
po
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdoolaege
evalue: dec
l
are first argument of emul const
commit
|
commitdiff
|
tree
next