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
barvinok 0.25
2007-09-11
Sven Verdoolaege
barvinok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Merge br
a
n
ch
'topcom'
commit
|
commitdiff
|
tree
2007-09-11
S
v
en Verdoola
e
ge
Document TOPCOM based chamber dec
o
mpo
s
ition
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoola
e
g
e
test TO
P
COM
chamber decomposition
commit
|
commitdiff
|
tree
2007-09-11
S
ven Verd
o
olaege
Optionally use
TOPCOM to
c
ompute ch
a
m
b
e
r
decomposi
t
i
o
ns
.
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n Verdoo
l
aege
lex
m
in:
a
dd
(
p
r
otected) mis
s
i
n
g
algorithm in
c
lude
commit
|
commitdiff
|
tree
2007-09-11
Sven V
e
rdoolaege
Makefil
e
.
am: add
t
arget
for creating dist with gi
t
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n
V
er
d
oolaege
doc: upda
t
e
v
o
ting theory reference
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
docum
e
nt ba
r
vinok_summate and barvinok_maximize
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
e
rdoolaege
doc: co
n
sis
t
ent use of Barv
i
nok's initials
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
barvi
n
ok
_
summat
e
:
c
orre
c
t
o
pt
i
o
n
s
de
s
cription
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erdo
o
laege
Document
Euler-Maclaur
i
n based summat
i
on
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdoolaege
doc:
c
hange example environm
e
nt
commit
|
commitdiff
|
tree
2007-09-10
S
v
e
n Verdoolaege
d
o
c: add some h
i
dd
e
n se
c
tions to table of co
n
t
ents
commit
|
commitdiff
|
tree
2007-09-10
S
ven Ver
d
ool
a
ege
doc:
another document referin
g
to the
l
ibrary
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
ad
d
some
t
ests for Euler-Maclaurin based summation
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Ve
r
do
o
laege
Eul
e
r
-Maclaurin
base
d
summation for 1D
p
roble
m
s
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verdoo
l
aege
E
u
ler-Maclaurin based summation
f
or 2D problems
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoolaege
decompose
r
.
cc: avoid
u
se of
half-open
c
ones
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdool
a
ege
barvi
n
ok_summate: v
e
ri
f
y solution over whole
par
a
meter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaege
i
n
t
rodu
c
e
barvinok_summate as a
w
r
apper for evalue_sum
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add evalue
_
mul_d
i
v
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
evalue_{div,mul}:
h
andle
some t
r
ivial
c
ases mor
e
ef
f
icient
l
y
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
o
o
laege
lattice_point: expor
t
fr
a
c
tional_
p
art
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rd
o
olaeg
e
e
v
alue
.
c
: ex
t
ract common code
for
c
on
s
truct
i
on
b
a
s
ed
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n Ve
r
d
o
olae
g
e
volume
.
c
: export
P
a
ram_Polyhedron_Facet
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
ege
add eval
u
e_mul
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolaege
fix type o
f
evalue_p
o
ly
n
omial argument
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoo
l
aege
su
p
port c
o
mputat
i
on
of B
e
rnoulli polyn
o
mials
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoo
l
aege
separat
e
co
m
putation of B
e
rnoulli coefficients and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoola
e
ge
lattice_poi
n
t
:
u
s
e Param_Vertex_Comm
o
n_De
n
om
i
nator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
m
ake d
e
compo
s
er
.
h
se
l
f
-containe
d
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
V
e
r
doolaege
re
d
uce_d
o
main: av
o
id us
e
of macro parameter with name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
e
xport evalue
_
dup
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaege
Us
e
p
ipl
i
b during b
a
sis
r
eduction if no o
t
her LP solvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaege
Use bund
l
ed
p
iplib by default
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolaege
add
p
i
p
lib module
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
Use bundled P
o
lyLib by default
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
a
e
g
e
add polylib submodul
e
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolae
g
e
b
e
rnstein: allow li
n
king agains
t
uninstalled, but
b
uilt
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
S
ven
V
e
rd
o
olaege
add more missing assert
.
h
#
includes
commit
|
commitdiff
|
tree
2007-08-29
Sven Verdoolaege
ad
d
dummy im
p
lementations of func
t
ions that depend
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven
Verdoolaege
update "Counting with rational generating functions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sve
n
Verdoo
l
a
e
g
e
barvi
n
ok
.
cc: spli
t
off p
a
r
t constructing generating
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolae
g
e
barvi
n
ok
.
c
c: s
p
lit off part de
a
lin
g
with
e
x
istential
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
*
counter:
a
void recomputation of
denominato
r
s
w
h
en
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Ver
d
oola
e
ge
cou
n
ter: re
m
ove red
u
ndan
t
member
commit
|
commitdiff
|
tree
2007-08-16
Sven V
e
rd
o
o
l
aege
change type of some "
s
ign"s to int as
they can only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
S
ven Verdoolaeg
e
d
o
c
: update A
l
g
o
rithmica publication
commit
|
commitdiff
|
tree
2007-08-10
S
ven Ve
r
doolaege
evalue
.
c
: make par
a
meter nam
e
s of type
c
onst char
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven Verd
o
olae
g
e
sam
p
l
e
.
c: Polyhedron_RemoveFixedColumns: correctly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sven V
e
rdo
o
laege
ut
i
l
.
c: remove_equalities: fix typo
commit
|
commitdiff
|
tree
2007-07-30
Sv
e
n Verdoolae
g
e
Para
m
_Polyhedron_Print: pr
i
nt e
v
ery
t
h
i
ng to given f
i
le
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven
Verdoolaege
b
a
rvi
n
ok_en
u
me
r
ate_with_options: don't add context
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
b
arvinok
.
cc: don't free P a
r
gument in en
u
mer
a
te
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdool
a
ege
r
emov
e
_
a
ll_equalities:
a
lso remove equalities in context
commit
|
commitdiff
|
tree
2007-07-29
Sve
n
Verdoolaege
vo
l
ume
.
c
: avoi
d
warni
n
g
s
commit
|
commitdiff
|
tree
2007-07-27
S
v
en
V
erd
o
o
l
a
ege
ex
p
ort Param_Inner_Product
commit
|
commitdiff
|
tree
2007-07-25
Sven V
e
rdoolaege
b
a
r
vino
k
_enumerate
.
cc: add minimal che
c
k on
input
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdoolaege
more prototype changes to co
n
st ch
a
r
*
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdoolaeg
e
e
v
alue:
p
r
int_e
v
a
lue: make parameter names c
o
n
s
t char*s
commit
|
commitdiff
|
tree
2007-07-11
Sven Verdoolaege
Always co
m
pile polytope_scan
commit
|
commitdiff
|
tree
2007-07-11
Sven
Verd
o
olaege
polyt
o
pe_scan: us
e
ar
g
p
f
or
argume
n
t pars
i
ng
commit
|
commitdiff
|
tree
2007-07-05
Sven Verdoolaege
doc:
f
ix typo
commit
|
commitdiff
|
tree
2007-07-04
Sven V
e
rdoolaege
configure
.
in: allow specification of def
a
ult p
r
efix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sven Verdoola
e
g
e
co
n
solidate calls to
P
olyhedron2Par
a
m_Domain
commit
|
commitdiff
|
tree
2007-07-03
Sven Verdoolaege
volume
.
c
: fix typo in
c
omment
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdool
a
e
g
e
Makefile
.
am: add $(EXEEXT) for cygwin
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoolaeg
e
Ma
k
efile
.
am: forc
e
re
b
uild
l
i
br
a
ries in s
u
b
d
i
r
s
i
f
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
Sv
e
n
V
erdoolaege
only
test barvinok_m
a
xi
m
ize
if
i
t
h
as been/can be
created
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
o
olaege
bar
v
inok 0
.
24
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaeg
e
t
estlib
.
cc: work arou
n
d incomplete
n
amespace
s
up
p
ort
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verdoo
l
aege
s
cale
.
c: enumerate_narrow_flated:
d
on't s
i
mpl
i
fy
c
onstraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven
Ve
r
doolaege
d
e
clare variab
l
es at
st
a
rt of co
d
e bloc
k
commit
|
commitdiff
|
tree
2007-06-30
Sven Verd
o
olae
g
e
doc: upda
t
e documentation of options and some functions
commit
|
commitdiff
|
tree
2007-06-30
S
ven
V
erdoolaege
P
o
lyhedron_Sample: fac
t
or polyhedro
n
i
f
poss
i
ble
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoo
l
aege
Po
l
yhedro
n
_
S
am
p
le: compu
t
e vertices of 1D polyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Polyhedr
o
n_Sam
p
le: r
e
m
ove
a
ll equalities from polyhedron
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolae
g
e
add possibility to use GLPK
a
s L
P
s
o
lve
r
commit
|
commitdiff
|
tree
2007-06-30
S
v
e
n
Verdoolaege
Po
l
yhedron_Sample: postpone rem
o
val of r
a
ys until we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoola
e
ge
Polyhedron_S
a
mple
:
use lp
solver for
fi
n
di
n
g range
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdool
a
ege
lexmin: move choice
of lp so
l
v
e
r to use ou
t
side basis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdoolaege
polysig
n
.
h:
u
se correct name of
P
L_
p
ol
y
hedron_affine_sign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
ool
a
ege
ba
r
vinok_en
u
merate: pl
u
g
memory le
a
k in Bernoulli ap
p
r
o
xi
m
at
i
on
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
bar
v
inok_enume
r
a
t
e
_
e_r: don't
a
ssume AddConstraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verd
o
olaege
evalue_
f
rac2polynomial
:
r
e
c
heck evalue aft
e
r evalu
e
_sp
l
it
_
do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
doo
l
aege
util
.
c: Line_Lengt
h
:
d
o
n't get confuse
d
b
y posi
t
iv
i
ty
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en
Verdoolaege
Ma
k
efile
.
am: stop after first
fail
e
d test
commit
|
commitdiff
|
tree
2007-06-27
Sven Ver
d
o
o
l
a
ege
b
erns
t
e
in:
c
a
rry through variab
l
e
renami
n
g to deb
u
gging
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolaege
bernstein: don't as
s
ume input polynomia
l
has been expanded
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdo
o
laege
evalue_read
.
c:
c
o
r
re
c
t const
n
e
s
s of
name in param
e
t
e
r
_
new
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolaege
eva
l
u
e_r
e
ad: accept const
a
n
t
multiple
of variable without
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
S
v
en Verdoolaege
e
v
alue
.
c: evalu
e
_sum: better handli
n
g of n
e
gative values
commit
|
commitdiff
|
tree
2007-06-15
S
v
e
n
V
erd
o
o
l
aege
evalu
e
.
c: reorder_
t
erms: fix ty
p
o
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdo
o
l
aege
eva
l
u
e: d
e
clare first ar
g
ument of
e
mul c
o
nst
commit
|
commitdiff
|
tree
2007-06-14
Sven Verd
o
o
l
aege
e
v
alue
.
c: emul: don't u
s
e explicit
_
complement on
argumen
t
s
commit
|
commitdiff
|
tree
2007-06-14
S
ven
V
erdoolaege
add
a test for eval
u
e_spl
i
t_perio
d
s
commit
|
commitdiff
|
tree
2007-06-12
Sven Ver
d
oolaege
evalue
.
c
: evalue_split_periods: make sure selecte
d
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven
Verdoo
l
aege
eval
u
e
.
c
:
poly
n
omial_projec
t
ion
:
u
se
evalue_
e
xtract_a
f
fine
commit
|
commitdiff
|
tree
2007-06-10
Sv
e
n Verdoola
e
ge
add a t
e
st
for ba
r
vinok_maximize and barvin
o
k_s
u
mmate
commit
|
commitdiff
|
tree
next