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
doc: add some hidden sections to table of contents
2007-09-10
Sv
e
n Verdoolaege
d
o
c: add som
e
h
i
d
d
e
n sections to
table of co
n
tents
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verdool
a
eg
e
doc: another document referin
g
to the libr
a
ry
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdo
o
laege
add some tests for
E
uler-Maclaur
i
n
based summation
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
Eu
l
er-Maclaur
i
n based summatio
n
fo
r
1D pro
b
lems
commit
|
commitdiff
|
tree
2007-09-10
Sven Ve
r
dool
a
ege
Euler-Maclaurin based
summation for 2D problems
commit
|
commitdiff
|
tree
2007-09-08
S
ve
n
V
e
rdoolaege
decomp
o
se
r
.
cc
:
avo
i
d use of half-op
e
n cones
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolaeg
e
barvinok_summa
t
e: verify
solution
over
whole pa
r
ameter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaege
i
ntroduce barvin
o
k_s
u
mm
a
te as a wrapper for evalue_
s
um
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
dool
a
ege
a
d
d evalue_mul_div
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
aege
evalue_{div,mul}: handle some trivi
a
l c
a
ses more
e
f
fi
c
i
ently
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n
Ve
r
doolaege
la
t
t
i
c
e_poin
t
: exp
o
rt f
r
actional_par
t
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoola
e
g
e
evalue
.
c: extract common code fo
r
c
o
nstructi
o
n
based
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
volume
.
c:
export Param_Polyhedron_Facet
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Ver
d
oolaege
add evalue_mul
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n
Verdoo
l
aege
fix type of evalue
_
p
olyn
o
mial ar
g
ume
n
t
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaege
support com
p
utation of B
e
rnoulli polynomials
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolaege
s
epa
r
ate compu
t
a
t
ion of Bernoulli c
o
efficients and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n Ver
d
oolaege
lattice_p
o
int:
use Param_Vertex_
C
ommon_Denomi
n
ator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolaege
make decomposer
.
h se
l
f-contained
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaege
r
ed
u
ce_domain
:
avoid use of m
a
c
r
o
p
arameter with name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolaege
e
xport evalue_dup
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
Us
e
piplib during bas
i
s
r
eduction if no othe
r
LP
s
olvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olaege
Use bundled piplib by default
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoo
l
a
e
ge
add piplib module
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
Use
b
und
l
ed PolyLib by d
e
fau
l
t
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n
Verdoolaeg
e
add polylib submodule
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoolae
g
e
bern
s
tein: allo
w
l
i
nkin
g
against un
i
nstalled, but
bu
i
lt
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven Verdoolaege
a
dd
m
ore missin
g
a
s
s
e
r
t
.
h
#
i
nclu
d
es
commit
|
commitdiff
|
tree
2007-08-29
Sven Verdoolaege
add dummy impl
e
m
entations of functions t
h
at depend
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolaege
update "Co
u
ntin
g
with ratio
n
al generating functions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolae
g
e
barv
i
nok
.
cc:
split off part constr
u
c
t
ing ge
n
erating
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoo
l
ae
g
e
bar
v
ino
k
.
cc: spl
i
t off part dealing with existential
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
S
v
e
n Verdoolaege
*
counter: avoid recomputati
o
n of d
e
nominators
when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
S
v
en
V
erdo
o
laege
count
e
r: re
m
ove red
u
ndant member
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaeg
e
change type of so
m
e
"
sign"s to int as
th
e
y can only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoo
l
aeg
e
d
o
c
:
u
p
da
t
e
A
lgorithmi
c
a pub
l
icat
i
on
commit
|
commitdiff
|
tree
2007-08-10
S
ven
V
e
r
doolaege
eval
u
e
.
c
: make
p
arameter
names
o
f
typ
e
const char
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven Verdoolaege
s
a
mple
.
c: Polyhed
r
on_RemoveFixedCo
l
u
mn
s
: cor
r
ectly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sv
e
n
Verdoolae
g
e
util
.
c
: remove
_
equaliti
e
s: fix typo
commit
|
commitdiff
|
tree
2007-07-30
Sven Verdoolaege
Param
_
Poly
h
ed
r
o
n_Print: print eve
r
ythin
g
to given file
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
barvinok_enu
m
erate_with_options: don't
a
dd
context
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdool
a
ege
barvinok
.
cc: d
o
n
't free P argum
e
nt
i
n en
u
merate
commit
|
commitdiff
|
tree
2007-07-29
Sven Ve
r
doolae
g
e
r
e
m
o
v
e_all_equalities: also remove equa
l
iti
e
s
i
n
context
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
volume
.
c: a
v
oid warn
i
ngs
commit
|
commitdiff
|
tree
2007-07-27
S
ven Verdoolaeg
e
export Param_I
n
ner
_
Pr
o
duct
commit
|
commitdiff
|
tree
2007-07-25
Sven
V
erdoolaeg
e
barvi
n
o
k_enumerate
.
cc
:
a
d
d minimal check
on inpu
t
commit
|
commitdiff
|
tree
2007-07-19
Sven
Verd
o
ola
e
ge
more prototyp
e
ch
a
nge
s
t
o
c
onst cha
r
*
commit
|
commitdiff
|
tree
2007-07-19
Sven Ve
r
do
o
laege
evalue:
p
ri
n
t_eva
l
ue: make
p
arameter n
a
mes
c
onst c
h
a
r
*s
commit
|
commitdiff
|
tree
2007-07-11
S
ven Ve
r
doolaege
Alwa
y
s compil
e
polytope_sc
a
n
commit
|
commitdiff
|
tree
2007-07-11
Sven Verdoo
l
ae
g
e
polytope_scan: u
s
e argp for argu
m
e
n
t parsing
commit
|
commitdiff
|
tree
2007-07-05
Sven Verdoolaege
doc: fix
t
ypo
commit
|
commitdiff
|
tree
2007-07-04
S
ven Verdoolaege
c
onfigure
.
in: allow specificat
i
on of defa
u
l
t
prefix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sven V
e
rdoo
l
aege
con
s
olidate
calls to Polyh
e
dron2Param
_
Domain
commit
|
commitdiff
|
tree
2007-07-03
Sven
Verdoola
e
ge
volume
.
c: fix typo
i
n commen
t
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdool
a
ege
Mak
e
fi
l
e
.
am: add $(E
X
E
EX
T
) for cygwi
n
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoo
l
aege
Makefile
.
a
m: force
r
e
b
uild
l
ibraries in subdirs
i
f
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
Sven
V
erdoolaeg
e
o
nly test barvinok_maxi
m
ize if it
h
as been/
c
an
b
e
c
reated
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdoolaege
barv
i
n
ok 0
.
24
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
doolaege
testlib
.
c
c
: work
ar
o
und inc
o
m
p
l
ete namespace support
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaeg
e
scale
.
c: enume
r
ate_narrow_f
l
ated: don'
t
simplify
c
onstraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verdoolaeg
e
dec
l
are variables at star
t
of c
o
de
b
lock
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdo
o
lae
g
e
doc: update
documentati
o
n of
options and som
e
f
u
n
ctions
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
oolaege
Polyhedro
n
_Sample
:
f
a
ctor p
o
lyhedron if possible
commit
|
commitdiff
|
tree
2007-06-30
S
v
e
n
Verd
o
olaege
Polyhedron_Sa
m
ple: com
p
u
t
e vertice
s
of 1D polyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verdoolaege
Polyhedron_
S
a
m
p
le: remove all equ
a
lities fr
o
m polyhedron
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdo
o
laege
add possibility to use GLPK as LP
s
olv
e
r
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
P
o
lyhe
d
ron_Sample: pos
t
p
o
n
e
removal of
r
ays until we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verdoo
l
a
e
ge
Polyhed
r
on_
S
ample: use lp solv
e
r for finding range
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
lexmin:
m
ove choi
c
e o
f
lp
solver to use ou
t
s
ide basis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
oolaeg
e
polysig
n
.
h
: u
s
e correct name
o
f PL_polyhedron_affine_sign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
b
a
rvinok_enu
m
erate
:
plug
memo
r
y
l
eak in Bernoulli approximat
i
on
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verdoolaege
b
arvinok_enumer
a
te_
e
_r: don'
t
assume A
d
dConstr
a
ints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n V
e
rdoolaege
evalue_
f
rac2polynomia
l
: recheck evalue aft
e
r evalue_sp
l
i
t
_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
doolaeg
e
util
.
c: Line_L
e
ngt
h
: don't g
e
t confused by
p
osi
t
i
vity
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verdoolae
g
e
Mak
e
f
i
le
.
am: s
t
op after first failed
t
est
commit
|
commitdiff
|
tree
2007-06-27
Sven Ve
r
do
o
laege
bernst
e
in:
car
r
y through
v
ariable r
e
namin
g
to de
b
ugging
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sven V
e
rdoolaege
b
er
n
stein: don
'
t as
s
u
m
e input pol
y
nomial has been expanded
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdool
a
ege
evalue_read
.
c
: co
r
rect constness of name in paramete
r
_new
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolae
g
e
evalue_read:
accep
t
constant multip
l
e of variable with
o
ut
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sven Verdo
o
l
ae
g
e
evalue
.
c: evalue_sum: better ha
n
dling of negat
i
ve val
u
es
commit
|
commitdiff
|
tree
2007-06-15
Sven Verdoolae
g
e
e
v
alue
.
c
:
reorder_terms: fix
typo
commit
|
commitdiff
|
tree
2007-06-14
S
ven Ve
r
dool
a
ege
e
va
l
ue: declare firs
t
arg
u
ment of emul const
commit
|
commitdiff
|
tree
2007-06-14
S
v
en Verd
o
ola
e
ge
evalue
.
c: emu
l
: don
'
t use ex
p
licit_
c
omplement o
n
arg
u
me
n
ts
commit
|
commitdiff
|
tree
2007-06-14
S
ven Verd
o
olaege
ad
d
a test for eval
u
e
_
s
pli
t
_pe
r
iods
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdoolaege
eva
l
ue
.
c
:
eva
l
u
e
_split_
p
e
r
iod
s
: mak
e
s
ur
e
selected
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdo
o
laege
evalue
.
c: polynomial_projection:
u
s
e
eval
u
e_extract_affine
commit
|
commitdiff
|
tree
2007-06-10
S
ven Verdoolae
g
e
add a test for barvinok_maximize and bar
v
inok_su
m
mate
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdool
a
ege
barvin
o
k_sum
m
a
te: support verifica
t
ion of results
commit
|
commitdiff
|
tree
2007-06-10
Sve
n
Verdoolaege
eval
u
e
.
c:
eva
l
ue_sum: split into orthants
+
some refac
t
or
i
ng
commit
|
commitdiff
|
tree
2007-06-10
Sve
n
Verdoolaege
barvinok
_
union: use
arg
p
for argument pa
r
sing
commit
|
commitdiff
|
tree
2007-06-09
Sve
n
Verdoolaege
barv
i
nok_e
n
umerate_union_ser
i
e
s_with_optio
n
s:
fix typo
commit
|
commitdiff
|
tree
2007-06-07
S
v
en Verdoolaege
b
a
sis_reduc
t
ion_cdd
.
cc
:
get correct dual so
l
uti
o
n in
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Ve
r
doolaege
basis_reduction_
g
lpk
.
c: correctly
set type of ro
w
s
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sve
n
Verdoolaege
b
asis_re
d
uction_g
l
pk
.
c: ch
e
ck
f
o
r sanity o
f
solution
commit
|
commitdiff
|
tree
2007-06-06
Sven Verd
o
olaege
o
pt
i
ons: mention de
f
ault and available sol
v
er
s
f
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
Sv
e
n
V
erdoo
l
aege
polyhedron_samp
l
e: take opt
i
ons
commit
|
commitdiff
|
tree
2007-06-06
Sven
V
erdoolaege
doc: more about power sums
commit
|
commitdiff
|
tree
2007-06-04
Sven Verdool
a
ege
do
c
: typo
commit
|
commitdiff
|
tree
2007-05-30
Sven Verdool
a
ege
d
o
c
:
re
p
eat Matthi
a
s' s
t
opped Barvi
n
ok expe
r
im
e
nts
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven Verdoolaege
add barvinok_summate to sum a quasi-po
l
ynomia
l
over
.
.
.
commit
|
commitdiff
|
tree
next