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
Sven
Ver
d
oolaege
po
l
ymake/R
E
ADME: menti
o
n
--with-barvin
o
k
c
onfigure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sv
e
n Verdool
a
ege
polymake/Makefile
.
in: a
d
d w
o
rk
-
aroun
d
for
p
olym
a
ke 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
eval
u
e
.
c
:
p
r
i
n
t_evalue: alway
s
print newline at t
h
e
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven Verdoo
l
aege
opt
i
on
s
.
c: fix t
y
po in --approx
i
mation
-
method description
commit
|
commitdiff
|
tree
2007-09-15
Sven Verdoolaege
topcom: fix heuristic fo
r
selectin
g
r
o
ws
to u
s
e as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
erdoo
l
aege
bar
v
in
o
k
0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoo
l
aege
M
erge
branch
'
topc
o
m'
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoola
e
ge
Document TO
P
COM based ch
a
mber decompo
s
i
t
ion
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
test TOPC
O
M chambe
r
dec
o
mposition
commit
|
commitdiff
|
tree
2007-09-11
S
v
en
V
er
d
o
o
laege
Optionally use TOPCOM to
c
ompute chamber dec
o
mposit
i
o
n
s
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Ver
d
o
o
laege
lexmi
n
: add (prote
c
ted) missing algorithm inclu
d
e
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Makefile
.
a
m: add targe
t
fo
r
creating dist with git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
e
rdoola
e
ge
doc
:
update
vot
i
ng the
o
ry refere
n
ce
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
document
b
a
r
vinok
_
summate and barvinok_maximize
commit
|
commitdiff
|
tree
2007-09-10
Sven
Ve
r
doolaeg
e
doc: consiste
n
t
use of Barv
i
nok's initials
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n
V
e
r
doo
l
a
e
ge
ba
r
v
inok_summate:
c
orrec
t
options descript
i
on
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
Document E
u
ler-Maclauri
n
ba
s
ed
sum
m
ation
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erd
o
olaege
doc: c
h
an
g
e example e
n
vironment
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: add
some hidden se
c
tions to table of contents
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: anothe
r
document
r
efering to the libra
r
y
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdoolaege
add some t
e
sts fo
r
Euler-Mac
l
au
r
in based sum
m
ati
o
n
commit
|
commitdiff
|
tree
2007-09-10
Sven V
e
rdo
o
laege
Euler-Maclaurin based
s
u
mmat
i
on for 1D
probl
e
m
s
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n
V
erdoolae
g
e
Euler-Maclaurin b
a
sed su
m
mation for 2
D
pr
o
blems
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n
Verdoolaege
decomposer
.
cc: avoid use of half
-
open cones
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erd
o
olaege
barvinok_summate: ver
i
fy solution over whole parameter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
introduce barv
i
n
ok
_
su
m
mate
a
s a wrapper fo
r
evalue_sum
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoola
e
g
e
add e
v
a
l
ue_mul_div
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
e
v
a
lue_{div,mul}: handle som
e
tri
v
ial
c
ases more efficie
n
tl
y
commit
|
commitdiff
|
tree
2007-09-08
Sven
Ver
d
oolaege
lat
t
ice_po
i
nt: export
f
ractional_part
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
e
r
dool
a
ege
evalue
.
c:
e
xt
r
act c
o
mmo
n
co
d
e f
o
r con
s
truction ba
s
ed
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
volume
.
c
:
exp
o
rt
P
a
ram_Po
l
y
h
edron_Facet
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
aege
add evalue
_
mul
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doo
l
a
ege
f
i
x
t
y
pe of eval
u
e_poly
n
o
m
ial argument
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
support
c
omp
u
tat
i
on of Berno
u
l
l
i
polynomials
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
aege
separate compu
t
ation o
f
B
e
rnoulli coefficients a
n
d
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolaege
la
t
tice_point:
use P
a
ram_Vertex_Com
m
on
_
Denominator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
m
ake decomposer
.
h self-contained
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
a
ege
r
educe_dom
a
in: avoid
u
se of macro p
a
ra
m
e
t
er with name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en
V
erdoola
e
ge
export evalue_
d
up
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
e
ge
Us
e
pi
p
lib during basis
reduction if no other LP s
o
lvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
Use bundled pipl
i
b
b
y d
e
f
a
ult
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
aeg
e
add piplib modu
l
e
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
Us
e
bund
l
ed PolyLib
by defa
u
lt
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verd
o
ola
e
ge
add
p
o
lyl
i
b s
u
bmodule
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolaege
bernstein: allow linkin
g
again
s
t
u
ninstall
e
d
, bu
t
built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven Verdoolaege
add more missing
a
s
s
e
rt
.
h #include
s
commit
|
commitdiff
|
tree
2007-08-29
Sven Ve
r
do
o
lae
g
e
add dummy
im
p
lementations o
f
functions t
h
at dep
e
nd
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sv
e
n Ve
r
doola
e
ge
update "Cou
n
ting wi
t
h ra
t
io
n
a
l
generatin
g
func
t
ions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdool
a
ege
barvinok
.
c
c
: spl
i
t off part constructing ge
n
erati
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven V
e
r
d
oolaege
barvinok
.
c
c
: split off part dealing with
e
xistential
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven V
e
rdoolaege
*counte
r
: avoid recomputati
o
n of
denominators
when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sve
n
Verdoolaege
counter: remove redundant member
commit
|
commitdiff
|
tree
2007-08-16
Sven V
e
r
d
oola
e
ge
cha
n
ge
type of some
"
sign"s to int a
s
t
h
e
y
can
only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven
V
e
rdoola
e
ge
doc:
update
A
l
gorithmica publicat
i
on
commit
|
commitdiff
|
tree
2007-08-10
Sven Verdoola
e
g
e
eval
u
e
.
c: make p
a
ra
m
eter names of typ
e
c
onst
cha
r
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven
V
e
r
d
oolaege
s
a
m
pl
e
.
c
:
Po
l
yhed
r
on_
R
emoveFixe
d
Columns: correctl
y
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sv
e
n Verdoolaege
util
.
c: remo
v
e_equal
i
t
i
es
:
f
ix
typo
commit
|
commitdiff
|
tree
2007-07-30
S
v
en
V
e
r
d
o
olae
g
e
Pa
r
am_Polyhedron_Print: print ever
y
thin
g
to giv
e
n f
i
le
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven
V
er
d
oolaege
barvinok_enumerate_with_options: don't add co
n
text
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
barvinok
.
cc: don't free P argument i
n
enumerat
e
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
re
m
ove_
a
ll_equalities:
a
lso remove equali
t
ies in context
commit
|
commitdiff
|
tree
2007-07-29
Sven Verd
o
olaege
volume
.
c: avoid warnings
commit
|
commitdiff
|
tree
2007-07-27
Sv
e
n Verdoolaege
e
xpor
t
Param_Inner_Product
commit
|
commitdiff
|
tree
2007-07-25
S
v
en Ver
d
oolaege
ba
r
vinok_en
u
merate
.
c
c
:
add m
i
nim
a
l check on input
commit
|
commitdiff
|
tree
2007-07-19
Sven Ver
d
o
olaege
more p
r
o
t
o
type chang
e
s t
o
co
n
st
char *
commit
|
commitdiff
|
tree
2007-07-19
Sven Verd
o
olaege
evalue: print_ev
a
lue:
make parame
t
er
names
c
o
n
st
char*s
commit
|
commitdiff
|
tree
2007-07-11
Sven Verdoolaeg
e
Always comp
i
le poly
t
op
e
_
s
can
commit
|
commitdiff
|
tree
2007-07-11
Sven Verdool
a
e
g
e
polytope_scan: use a
r
gp for argument parsing
commit
|
commitdiff
|
tree
2007-07-05
S
v
en Ver
d
oolaege
doc: fix typo
commit
|
commitdiff
|
tree
2007-07-04
Sven
V
erdoolaege
config
u
re
.
in: al
l
ow specificatio
n
of
d
efault
prefix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sven
V
erdoolaege
conso
l
idate c
a
l
ls to
Po
l
yh
e
d
ron2Param_Domain
commit
|
commitdiff
|
tree
2007-07-03
Sven Verdoolae
g
e
volume
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2007-07-01
Sven
Verdoola
e
g
e
Make
f
ile
.
am
:
a
d
d $
(
EXEEXT) for
c
ygwin
commit
|
commitdiff
|
tree
2007-07-01
Sv
e
n Verdoolaege
Makefile
.
a
m
:
force re
b
uild
libraries
i
n s
u
b
d
i
r
s
i
f
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
Sven
V
e
r
doolaeg
e
only tes
t
barvinok_
m
axi
m
ize
if i
t
has b
e
e
n
/
can be created
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
barvino
k
0
.
24
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verdoolaege
testlib
.
c
c
:
w
ork around incom
p
lete namespace support
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdo
o
laege
scale
.
c: enumerate_narrow_f
l
a
t
ed
:
don't
s
im
p
lif
y
constraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
oolaege
decla
r
e variables at
s
tart of code bl
o
c
k
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verdo
o
laege
d
oc: upd
a
te documentation
o
f
o
ptio
n
s and some functions
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
oolaege
Polyhedron_Sa
m
ple: fact
o
r p
o
lyhedron
if possib
l
e
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Polyhed
r
on_Sample: compute vert
i
ce
s
of
1
D polyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Polyhedro
n
_Sample: remove all equalit
i
es from polyh
e
dron
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
e
n
Verdoolaeg
e
a
d
d
po
s
sibility to use GLPK a
s
LP
s
olv
e
r
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolae
g
e
Polyhedron_S
a
m
ple: pos
t
pone removal
o
f rays until we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
P
o
lyhedron_Sa
m
pl
e
:
use
lp solver
f
o
r
finding range
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdoolaege
l
e
x
min: move c
h
oice
of lp solver to use outside
basis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
oolaege
polysign
.
h: use correct n
a
me o
f
PL_polyhedron_affine_si
g
n
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en
V
erd
o
olaege
barvinok_enumer
a
te:
plug memory
l
eak in Bernoulli approximation
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
b
a
rvinok_e
n
um
e
rate
_
e
_
r: don't assume A
d
dConstraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven
V
e
r
d
o
ol
a
e
g
e
e
value_fra
c
2polyn
o
m
i
al: recheck ev
a
lue after evalue
_
split_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolae
g
e
util
.
c: Li
n
e_Leng
t
h
: don't g
e
t confused by positivity
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdool
a
e
g
e
Makefile
.
a
m
: sto
p
after
first fai
l
ed te
s
t
commit
|
commitdiff
|
tree
2007-06-27
Sven V
e
rdool
a
ege
bernste
i
n: carry through var
i
able ren
a
ming to d
e
b
u
gging
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
S
ven Verdool
a
ege
bernstein: don't as
s
ume input
p
olyno
m
ial has be
e
n expande
d
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolaege
evalue_read
.
c: corre
c
t const
n
ess of
n
ame in
p
ar
a
meter_new
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolaege
e
valu
e
_read: accept constant
m
u
ltiple of var
i
a
b
le without
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sven Verd
o
olaege
evalu
e
.
c
:
eval
u
e_sum: better handling of negative
values
commit
|
commitdiff
|
tree
2007-06-15
Sven Verd
o
olaege
evalue
.
c: r
e
order_terms:
fix ty
p
o
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdoola
e
g
e
evalue: declare first argument of emul const
commit
|
commitdiff
|
tree
next