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
topcom: fix heuristic for selecting rows to use as non-negativity constraints
2007-09-15
Sven Verdoolaege
topcom: fix heur
i
stic for
s
electing rows to use
a
s
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
erdoolaege
barvinok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolae
g
e
M
e
rge br
a
nch 'topcom'
commit
|
commitdiff
|
tree
2007-09-11
S
v
en V
e
rdoolaege
Document TOPCOM
b
ased chambe
r
decompositio
n
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolae
g
e
test TO
P
COM c
h
a
m
b
e
r
d
ecomposi
t
ion
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoola
e
ge
Opt
i
onally use TOPCOM to com
p
ute chamber
decomp
o
s
itions
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
lexmin: add (protected)
m
issin
g
algorithm
include
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Makefi
l
e
.
am: ad
d
target for creating dist with git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
S
ven
V
erdoolaege
doc: update voting theor
y
re
f
erence
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolae
g
e
document barvinok_summate and barvi
n
ok_
m
aximize
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n
Verdoolaege
doc: consistent use of Ba
r
vinok's initials
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
barvinok
_
sum
m
ate: c
o
rr
e
ct options descrip
t
ion
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Verdoolaege
D
o
cument Euler-
M
aclaurin base
d
s
u
mmat
i
o
n
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erdoolae
g
e
doc:
c
hange e
x
ample environment
commit
|
commitdiff
|
tree
2007-09-10
S
v
en V
e
rd
o
olaege
doc: add some hid
d
en sec
t
ions
to table
o
f contents
commit
|
commitdiff
|
tree
2007-09-10
Sven Ver
d
ool
a
ege
doc
:
another document refe
r
ing to the li
b
rary
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaeg
e
a
dd
s
ome tests for Eule
r
-
M
a
c
laurin based summatio
n
commit
|
commitdiff
|
tree
2007-09-10
S
ven
Verdoolaege
Euler-M
a
c
laurin bas
e
d summatio
n
for 1D problems
commit
|
commitdiff
|
tree
2007-09-10
Sven Ver
d
oolaeg
e
Euler-Maclauri
n
based summat
i
on for 2D problems
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdo
o
laege
d
e
co
m
p
o
s
er
.
cc: avoid use of
h
al
f
-open cones
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
o
l
aege
barvinok_summate: veri
f
y solution over
w
hole parameter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doo
l
aege
i
ntroduce barvinok_summat
e
as a wrap
p
er fo
r
evalue_sum
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n Verdo
o
lae
g
e
add
eval
u
e_mul_div
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Ve
r
doo
l
a
e
ge
evalu
e
_{div,mul}: h
a
n
dle some
t
r
ivial
cases m
o
re ef
f
icie
n
tly
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
lattice_point: expo
r
t
fractional_part
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdo
o
laege
e
v
alue
.
c
:
ex
t
ract common code for
construct
i
o
n based
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
volum
e
.
c
: export Para
m
_
P
olyhedron_Facet
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add evalue_mul
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
aege
fix type of
e
value_polynomial
a
r
g
ument
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolaege
support
com
p
u
t
ation of
B
e
rnoulli polynomi
a
ls
commit
|
commitdiff
|
tree
2007-09-08
S
v
en V
e
rdoolaege
se
p
a
rate
c
omputation of Bernoulli c
o
ef
f
ic
i
e
nts
a
n
d
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolae
g
e
lattice_point: u
s
e
P
aram_Vertex_Common_
D
enominator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
dool
a
eg
e
make decomposer
.
h
se
l
f
-contained
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
ege
redu
c
e_domain: avoid use of macro parameter
w
ith name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaege
export eval
u
e_dup
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
Use piplib during ba
s
is redu
c
t
i
on i
f
no other LP solver
s
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doola
e
ge
Use bundled
piplib by defa
u
lt
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoola
e
ge
add
p
iplib module
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolaege
Use bundled PolyLib by default
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add po
l
ylib subm
o
dule
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaege
bernstein:
allow link
i
ng agai
n
st
uninstalled
,
b
u
t bu
i
lt
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven Ve
r
do
o
l
aege
add more miss
i
ng assert
.
h #includ
e
s
commit
|
commitdiff
|
tree
2007-08-29
Sven
Ve
r
doolae
g
e
a
dd du
m
m
y imp
l
ementa
t
ions of functions th
a
t depend
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
S
ven Verdoolaege
update
"Co
u
nting with rati
o
nal generating functions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven
V
erdoola
e
g
e
b
arvino
k
.
c
c
:
split off part constructing genera
t
ing
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoo
l
aege
barv
i
nok
.
cc: sp
l
i
t
off part de
a
ling with
e
xis
t
ential
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven V
e
r
d
oolaeg
e
*counte
r
: avo
i
d recomputation of denomin
a
tors when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaeg
e
c
ounter: remove redu
n
dant member
commit
|
commitdiff
|
tree
2007-08-16
Sven Ve
r
doolaege
change type of some
"
s
ign"
s
to int as they can
only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
S
ven Verdoolaege
doc:
update
A
l
gor
i
thmica publication
commit
|
commitdiff
|
tree
2007-08-10
Sve
n
Verdoolae
g
e
evalue
.
c:
m
a
ke p
a
rame
t
er names of type co
n
st char
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven Verdoolae
g
e
sample
.
c:
P
olyhedron_RemoveFi
x
edColumns: correctl
y
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
S
v
e
n Ver
d
oolaege
util
.
c:
r
emove_equali
t
i
e
s: fix typo
commit
|
commitdiff
|
tree
2007-07-30
Sven Verdoolaege
Param_Polyhedron_Print: p
r
int everything
t
o
given
f
ile
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
barvinok_enu
m
erate_
w
ith_options: don't add co
n
te
x
t
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Ver
d
oo
l
aege
barvino
k
.
cc: d
o
n't
f
ree P argument in
enumerate
commit
|
commitdiff
|
tree
2007-07-29
S
v
en Verdoolae
g
e
remove_all_equalities: also re
m
ove equ
a
l
itie
s
in co
n
text
commit
|
commitdiff
|
tree
2007-07-29
Sv
e
n Ve
r
doolaege
v
olu
m
e
.
c: avoid w
a
rnings
commit
|
commitdiff
|
tree
2007-07-27
S
ven Verdoolaege
export Pa
r
am_Inner
_
Product
commit
|
commitdiff
|
tree
2007-07-25
S
ven Ver
d
oolaege
barvi
n
ok
_
e
n
u
merate
.
cc: add
m
ini
m
a
l
check
on i
n
put
commit
|
commitdiff
|
tree
2007-07-19
Sven Verd
o
olaege
mo
r
e
prototype changes to co
n
st char
*
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdoolaege
ev
a
lue: pri
n
t_eva
l
ue: mak
e
par
a
meter names
co
n
s
t char*s
commit
|
commitdiff
|
tree
2007-07-11
Sven Verdoolae
g
e
Always com
p
ile polyto
p
e_sc
a
n
commit
|
commitdiff
|
tree
2007-07-11
Sven Verdoolaege
po
l
ytope_scan: use argp f
o
r argumen
t
parsing
commit
|
commitdiff
|
tree
2007-07-05
Sven
V
erdoo
l
a
ege
doc: fix typo
commit
|
commitdiff
|
tree
2007-07-04
Sven Verdoolaege
configure
.
in: allow spec
i
fi
c
a
t
ion o
f
default prefix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sven Verdoolae
g
e
c
o
nsolidate call
s
to Po
l
y
hedron2Param_Domain
commit
|
commitdiff
|
tree
2007-07-03
Sven Ver
d
oolaege
volume
.
c: fix t
y
p
o
i
n
co
m
ment
commit
|
commitdiff
|
tree
2007-07-01
Sven
Verdoolaege
Makef
i
le
.
am: add $(EXEEXT) for cygwin
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoolaege
Makefi
l
e
.
am: force
r
ebuild libraries
i
n
s
ubdir
s
if
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
S
ven
Verdoolaege
only test barvinok_maxim
i
z
e if it has been/ca
n
be created
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n
Verd
o
olaege
barvinok 0
.
24
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
te
s
tlib
.
cc:
work around incomple
t
e na
m
espace sup
p
o
r
t
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
scal
e
.
c:
e
numerat
e
_
n
arrow_f
l
ated: don't simplify
c
onstra
i
n
ts
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
oolae
g
e
dec
l
are v
a
riables at start o
f
c
ode block
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
doc: upd
a
te
do
c
umentation of optio
n
s and
s
o
me funct
i
on
s
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
o
ola
e
ge
Polyhed
r
on_Sa
m
p
le
:
f
a
ctor
p
olyhed
r
on if
p
o
ssible
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdool
a
e
g
e
Polyh
e
dron_Sample: compute vertices of
1
D
polyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Polyhedro
n
_Sample: r
e
m
ove
a
ll equ
a
lities from polyh
e
dron
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven Ver
d
oolaeg
e
add po
s
sibili
t
y to use GLPK as L
P
solver
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verdoola
e
ge
Poly
h
e
d
ron_Sample: postpon
e
remo
v
a
l
of
rays until
w
e
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
e
rdo
o
la
e
g
e
P
olyhedron_Sa
m
ple: use l
p
s
olver
for finding range
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verdoolaege
lexmin: move cho
i
ce of lp solver to use o
u
tside ba
s
is
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdoolaege
polysign
.
h: use correc
t
name
of PL_polyh
e
dron_affine_sign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
V
e
rdoolaege
barv
i
nok_e
n
umera
t
e
:
plug memory leak
in Berno
u
lli
a
pproximation
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
do
o
laege
bar
v
inok_enume
r
at
e
_
e_r: don't ass
u
me
AddConstraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verd
o
olaege
eva
l
ue_frac2polynomial: r
e
c
hec
k
ev
a
lue after evalue_split_d
o
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
doolaege
util
.
c
:
L
i
n
e_Length: don't get
c
onfused b
y
positivity
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Mak
e
f
i
le
.
am
:
stop after f
i
rst
failed test
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdool
a
ege
ber
n
st
e
in:
carry t
h
rough variable
r
enamin
g
to
debugging
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sven
Verdoolaege
bernstein: don'
t
a
ssu
m
e input polyn
o
mial has b
e
en expa
n
ded
commit
|
commitdiff
|
tree
2007-06-27
Sven Ve
r
do
o
laege
e
value_read
.
c: correc
t
c
o
nstness of na
m
e in p
a
ramete
r
_new
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolaege
e
val
u
e_re
a
d
: accept constant mu
l
tiple
of
v
aria
b
le without
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sven Ve
r
d
o
olae
g
e
ev
a
lue
.
c:
ev
a
lue_sum: better h
a
ndli
n
g of
n
e
g
a
tive values
commit
|
commitdiff
|
tree
2007-06-15
Sven Verdo
o
la
e
ge
evalue
.
c: re
o
rder_terms: fix typo
commit
|
commitdiff
|
tree
2007-06-14
Sv
e
n Verdool
a
ege
evalue: de
c
lare
f
i
r
st argu
m
en
t
of
emul c
o
nst
commit
|
commitdiff
|
tree
2007-06-14
S
v
e
n V
e
rdoolaege
eva
l
u
e
.
c: emul: don't use explicit
_
compl
e
ment o
n
arguments
commit
|
commitdiff
|
tree
2007-06-14
Sven Ve
r
doolaege
ad
d
a test fo
r
evalue_split_pe
r
iods
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdoolaege
e
v
al
u
e
.
c: evalue
_
sp
l
it_per
i
ods:
make sure sel
e
ct
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven Verd
o
ola
e
ge
eval
u
e
.
c:
polyno
m
i
a
l_projection:
us
e
e
val
u
e_e
x
t
r
act_aff
i
ne
commit
|
commitdiff
|
tree
next