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
separate computation of Bernoulli coefficients and Faulhaber polynomials
2007-09-08
Sv
e
n Verdoolae
g
e
separate computati
o
n
o
f Bernoulli coe
f
f
ici
e
nts
and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
a
e
ge
lattice
_
point: use Param_Vertex_C
o
mmon
_
Denominato
r
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdo
o
laege
ma
k
e
decompo
s
er
.
h
se
l
f-
c
ontained
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
e
g
e
reduce_dom
a
in: avoid
u
se of macro par
a
meter with n
a
me
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolaege
ex
p
ort evalue_d
u
p
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdool
a
ege
Use pipl
i
b
d
urin
g
basis r
e
duc
t
ion
if no o
t
her LP
s
ol
v
ers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
Use bundled piplib
b
y default
commit
|
commitdiff
|
tree
2007-09-08
S
ven
V
e
rdoolaeg
e
a
dd
piplib module
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolaege
Use
b
undl
e
d PolyLib by default
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add
p
olylib subm
o
du
l
e
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
bernstei
n
: allow linking aga
i
n
s
t u
n
installed
,
but built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven Verdoolaege
add more
missing assert
.
h #includes
commit
|
commitdiff
|
tree
2007-08-29
Sven Verdoolaege
add dumm
y
imple
m
entations of fu
n
ctions t
h
a
t
d
e
pend
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven
V
e
rdoolaege
up
d
ate
"Counting with
r
ational gene
r
ating functions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolaege
b
ar
v
inok
.
cc: split off part c
o
n
s
tru
c
ting
g
enerating
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven
V
erdoolaeg
e
b
a
rvinok
.
cc:
s
plit of
f
p
a
rt dealing with existent
i
al
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven V
e
rdoolaege
*
count
e
r:
a
void r
e
computation of denom
i
n
ators
w
hen
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Ve
r
doola
e
ge
c
o
unter: rem
o
ve redundant memb
e
r
commit
|
commitdiff
|
tree
2007-08-16
S
ven Verdoolaege
change
t
ype of
s
ome
"
s
ign"s
t
o int
a
s they can only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sve
n
V
erdoola
e
ge
do
c
:
update Algorit
h
mica publication
commit
|
commitdiff
|
tree
2007-08-10
S
ven Ve
r
doolaege
ev
a
lue
.
c: make para
m
e
te
r
names of type
const char
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven Verdoolaege
sam
p
le
.
c: Polyhedron
_
Remove
F
i
x
edColumns: correctly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sven Verdoolaege
util
.
c: re
m
ove_equ
a
lities: fix typo
commit
|
commitdiff
|
tree
2007-07-30
Sve
n
Verdoolaege
P
a
ram
_
Polyhedr
o
n_Pr
i
nt: print e
v
eryth
i
ng to given file
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Ver
d
oolaege
barvi
n
ok_enumerate_
w
ith_opt
i
o
ns: d
o
n't add conte
x
t
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven
Ve
r
doolae
g
e
barvinok
.
cc: don't
f
r
ee P ar
g
ument i
n
enume
r
a
t
e
commit
|
commitdiff
|
tree
2007-07-29
Sven V
e
rdoolaege
remove_
a
ll
_
equalitie
s
:
a
l
so remove equalitie
s
in conte
x
t
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
volume
.
c: avoid
warnings
commit
|
commitdiff
|
tree
2007-07-27
Sven Ve
r
d
oolaege
export Param_Inner_Product
commit
|
commitdiff
|
tree
2007-07-25
Sven Verd
o
o
laege
barvinok_enum
e
rate
.
cc:
a
dd m
i
ni
m
al
check
on input
commit
|
commitdiff
|
tree
2007-07-19
S
ve
n
V
erd
o
o
laege
mor
e
proto
t
y
p
e changes t
o
const char *
commit
|
commitdiff
|
tree
2007-07-19
S
ven V
e
rdoola
e
ge
e
value: print_evalue
:
make paramet
e
r names const char*s
commit
|
commitdiff
|
tree
2007-07-11
Sv
e
n
Verdool
a
ege
Always compile poly
t
op
e
_scan
commit
|
commitdiff
|
tree
2007-07-11
S
ven
V
e
rdoolaeg
e
p
o
l
ytope_s
c
an: use argp for ar
g
ument parsing
commit
|
commitdiff
|
tree
2007-07-05
Sven
V
erdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2007-07-04
Sven Verdo
o
la
e
ge
configure
.
in: allo
w
specification
o
f default pref
i
x
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
S
v
e
n
V
erdoolaege
consolidate ca
l
ls
to Po
l
y
h
ed
r
on2Param
_
Domain
commit
|
commitdiff
|
tree
2007-07-03
Sven Verdoolaege
v
o
l
ume
.
c
: fix typo in
c
omment
commit
|
commitdiff
|
tree
2007-07-01
Sven Ver
d
oolaege
Makefile
.
am: a
d
d $(EXEE
X
T) for cygwin
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdo
o
laege
Ma
k
efile
.
am: force
rebuild l
i
braries in su
b
dirs if
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
Sven Ve
r
doolaeg
e
only
t
est
b
ar
v
inok_maxim
i
ze if it
has been/can be created
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdo
o
laege
b
arvinok 0
.
24
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verdoolaege
testlib
.
cc: work
a
round in
c
omplete name
s
pac
e
s
upport
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n
Verdoolaege
scale
.
c: enumer
a
te_narrow_flated: don
'
t sim
p
lify
c
onstrain
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ve
n
Verdool
a
ege
declare va
r
i
a
b
les at sta
r
t o
f
c
ode blo
c
k
commit
|
commitdiff
|
tree
2007-06-30
Sven
Ver
d
oo
l
aege
doc: update
d
ocumentati
o
n
of options and s
o
me functions
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Pol
y
hedr
o
n_S
a
mple: fa
c
tor polyh
e
dron if possible
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolae
g
e
Polyhedron_Sam
p
l
e: c
o
m
p
u
t
e ve
r
tices
of
1
D
polyhed
r
a
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verd
o
o
l
a
e
g
e
Poly
h
edron_Sample:
remo
v
e all
eq
u
alities from polyhedron
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verdo
o
laege
add p
o
s
s
i
bility to use GLPK a
s
LP solver
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdo
o
laege
Polyh
e
dron_Sampl
e
: postpone removal of ra
y
s
until we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en V
e
rdoolaege
Polyhedr
o
n
_
Sam
p
le: use lp solve
r
for finding ra
n
ge
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdo
o
laege
lexmin: move choice o
f
lp s
o
lver to use outside ba
s
is
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
r
do
o
la
e
ge
polysig
n
.
h: u
s
e
c
orr
e
ct na
m
e of PL_pol
y
he
d
r
o
n
_aff
i
n
e_sign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Ver
d
oolaege
barvinok_en
u
merate: plug memory
l
eak i
n
Bernou
l
li app
r
oximation
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoola
e
ge
barvi
n
ok
_
enumerate_e_r: don't assume AddConstraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
evalue_frac2po
l
y
nomial:
rec
h
eck evalue after
e
val
u
e
_split_d
o
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
util
.
c:
Line_Length:
do
n
'
t get confused by positivity
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdo
o
laege
Makefile
.
am:
stop after fi
r
st
failed
test
commit
|
commitdiff
|
tree
2007-06-27
Sven V
e
r
doolaege
bernstein: carry
t
hrough variable renaming to
debugging
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sven
Verdoolae
g
e
b
ernstein: don't
assum
e
input polynomial has be
e
n
expa
n
ded
commit
|
commitdiff
|
tree
2007-06-27
Sven
V
e
r
doo
l
aege
e
v
alue_r
e
ad
.
c: cor
r
e
ct con
s
t
n
e
s
s of name in para
m
e
t
e
r
_ne
w
commit
|
commitdiff
|
tree
2007-06-27
S
v
en Verdoolaege
eval
u
e_re
a
d
: ac
c
ep
t
constant multiple o
f
v
ariable with
o
ut
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sven Verdo
o
laege
evalue
.
c: evalue_
s
um: bett
e
r
handling of negative value
s
commit
|
commitdiff
|
tree
2007-06-15
S
ven
Verdoolaege
evalue
.
c
:
reor
d
er_t
e
rms: fix typo
commit
|
commitdiff
|
tree
2007-06-14
Sven Verd
o
olaege
e
v
alue:
dec
l
are first ar
g
ument of emul con
s
t
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdoola
e
g
e
evalue
.
c
:
emul:
d
on't u
s
e e
x
plicit_co
m
plement on argu
m
ents
commit
|
commitdiff
|
tree
2007-06-14
Sven
V
erdoo
l
aege
ad
d
a
t
est for evalue_split
_
pe
r
io
d
s
commit
|
commitdiff
|
tree
2007-06-12
Sv
e
n Verdoolaege
ev
a
l
u
e
.
c: e
v
a
lue_spl
i
t
_periods:
m
a
k
e sure selected
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven Ve
r
doolaege
evalue
.
c: polynomial_pr
o
jecti
o
n
:
use ev
a
lue_extract_affine
commit
|
commitdiff
|
tree
2007-06-10
Sven
V
erdoolaege
add a test fo
r
barvinok_maximize and barvinok_summate
commit
|
commitdiff
|
tree
2007-06-10
S
ve
n
V
e
rdoo
l
aeg
e
barvinok_s
u
mmate: sup
p
ort verification of
res
u
lts
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoolaege
eval
u
e
.
c: evalue_sum:
sp
l
it into orthants
+
some ref
a
c
toring
commit
|
commitdiff
|
tree
2007-06-10
Sven
V
erd
o
olaege
barvino
k
_union: use argp for argument pa
r
s
ing
commit
|
commitdiff
|
tree
2007-06-09
Sven Ve
r
doolaege
barvinok_enum
e
rate_uni
o
n_s
e
r
i
es
_
w
i
th_options:
f
ix typo
commit
|
commitdiff
|
tree
2007-06-07
S
v
e
n
Verdoolaeg
e
basis_
r
ed
u
cti
o
n_cdd
.
cc:
get correc
t
dual solution in
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoo
l
aege
basis_reduction_glpk
.
c:
c
o
rrectly set t
y
p
e of rows
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
S
ven Verdoolaege
b
a
sis
_
reduction_
g
lpk
.
c: check for
s
anity
o
f solution
commit
|
commitdiff
|
tree
2007-06-06
Sv
e
n Verdoolaege
optio
n
s: mention
d
efault a
n
d
available solvers for
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
Sve
n
Verd
o
olaege
polyhedron_sample: tak
e
o
p
ti
o
ns
commit
|
commitdiff
|
tree
2007-06-06
Sven Verd
o
o
l
aege
doc:
more about
p
ower sums
commit
|
commitdiff
|
tree
2007-06-04
Sven
V
erdoolaege
doc:
typo
commit
|
commitdiff
|
tree
2007-05-30
Sven Verdoolaege
d
oc: repe
a
t Matthias'
sto
p
ped
Barvinok experiments
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
S
ven
Verdo
o
l
aeg
e
ad
d
barvinok_
s
u
m
mate to su
m
a quasi-p
o
lynomi
a
l
o
v
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sv
e
n Ve
r
doolaege
evalue_read: fix fo
r
top-level fr
a
ct
i
onal part
commit
|
commitdiff
|
tree
2007-05-14
Sven Verdoolae
g
e
b
erno
u
lli
.
c: Berno
u
lli_sum
_
ev
a
l
u
e: reduce resulting
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
S
v
en
V
erdoolaege
berno
u
ll
i
.
c:
pe
r
for
m
nested
s
ums ap
p
r
o
xima
t
ion dep
t
h
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
add polynomial a
p
proximation based on nested sum
s
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
util
.
c
: extract for_each
_
lower_upper
_
bound fr
o
m Para
m
L
ine_Length
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
decomp
o
s
er: use
N
TL to i
n
v
ert
matr
i
x r
a
th
e
r than co
n
vering
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoo
l
aege
lattice_point
.
c
c: allow rays and ve
r
tex to hav
e
b
e
en
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdool
a
eg
e
counter: opt
i
mize summing over
p
oint
s
in fundapip
e
d
commit
|
commitdiff
|
tree
2007-05-13
S
v
e
n Ver
d
oo
l
ae
g
e
la
t
tice_po
i
nt
.
c
c
:
avoid conversio
n
between NTL and
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Ver
d
oolae
g
e
c
o
nv
e
rsion
.
c
c: remove rays2matrix
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdo
o
l
aeg
e
evalue
.
c: evalue_polyn
o
mial extra
c
ted from barvinok
.
cc
commit
|
commitdiff
|
tree
2007-05-13
Sven Ve
r
doolae
g
e
ev
a
lue
.
c: add
evalue_neg
a
te
commit
|
commitdiff
|
tree
2007-05-13
Sven Verd
o
o
laege
doc: a note
on t
h
e connectio
n
b
etween To
d
d
polyn
o
mials
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Ve
r
doolaege
doc: points in f
u
nda
p
iped: fix typo
commit
|
commitdiff
|
tree
2007-05-10
Sven
V
erdoolaege
barvi
n
ok
.
cc
:
simplify dp
o
ly_n co
n
structor
commit
|
commitdiff
|
tree
2007-05-10
Sven V
e
r
d
o
olaege
R
e
move "norma
l
ization" or powers in
d
enomi
n
ator on
.
.
.
commit
|
commitdiff
|
tree
next