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
Sve
n
Verdoolae
g
e
separat
e
computat
i
o
n o
f
Bernoulli
c
oefficients and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolaege
l
a
ttice_point: use Param_V
e
rtex_Common
_
Denominator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolaege
make decomposer
.
h self-contained
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rd
o
olaege
redu
c
e_domain: avoid use of mac
r
o
pa
r
a
meter w
i
th name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
exp
o
rt
e
value_du
p
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
Use p
i
plib during basis reduction if no other
L
P solvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
Use bun
d
led piplib by default
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolaege
a
d
d p
i
plib module
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
Use bundled PolyLib by default
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
d
oola
e
ge
add p
o
lylib submodu
l
e
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
bernstein:
allow linkin
g
ag
a
inst
uninst
a
lled, but bu
i
l
t
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven Verdoolaege
add
more missing assert
.
h #includes
commit
|
commitdiff
|
tree
2007-08-29
Sven V
e
rdoolaege
ad
d
du
m
my im
p
lementations of
f
unct
i
ons that depend
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Ve
r
d
oolae
g
e
update "C
o
un
t
ing with
r
ational
g
enerating functions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sve
n
V
erdoolaege
barv
i
nok
.
cc: split off part co
n
structing genera
t
ing
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sv
e
n Verd
o
olaege
barvinok
.
c
c
: split off
part d
e
ali
n
g
with existentia
l
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
*
counter: avoid recompu
t
ati
o
n of d
e
nominators when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verd
o
olae
g
e
counter: remove re
d
undant mem
b
er
commit
|
commitdiff
|
tree
2007-08-16
Sven
V
erdoolaege
change type of some "sign"s to int as they can only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven
V
erdoolaege
doc: upd
a
te Al
g
or
i
thmic
a
pu
b
lication
commit
|
commitdiff
|
tree
2007-08-10
Sven Verdoolaege
evalue
.
c: make parameter name
s
of type const cha
r
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
S
v
e
n Verdoolaege
s
ample
.
c: Polyhedron
_
Remove
F
ixed
C
olumns: correctly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
S
v
en Verdool
a
ege
uti
l
.
c: remove_equalities: f
i
x
t
ypo
commit
|
commitdiff
|
tree
2007-07-30
Sven Verdoolae
g
e
Param
_
P
ol
y
hedron_Print: print every
t
h
i
ng
t
o g
i
ven f
i
le
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
S
v
en Verdoolaege
barvinok_enumerate_wi
t
h_optio
n
s: d
o
n't add
c
o
n
text
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven
Verdoola
e
ge
barvinok
.
c
c
:
d
o
n'
t
free P
a
rgum
e
nt
in enumerate
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdo
o
l
a
ege
remove_all_equalities
:
also remove eq
u
al
i
ties in context
commit
|
commitdiff
|
tree
2007-07-29
Sven Verd
o
olaege
volume
.
c:
avo
i
d
warnings
commit
|
commitdiff
|
tree
2007-07-27
Sven Ve
r
d
o
o
laege
export Param_Inner_Product
commit
|
commitdiff
|
tree
2007-07-25
S
v
en Verdoo
l
aege
b
a
rvinok_enumerate
.
cc: add m
i
n
imal
check on i
n
pu
t
commit
|
commitdiff
|
tree
2007-07-19
Sven
Verdoolaege
more prototype changes to const ch
a
r *
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdoolaege
e
v
a
lu
e
:
print_ev
a
lu
e
: m
a
ke paramet
e
r names const char*s
commit
|
commitdiff
|
tree
2007-07-11
Sven V
e
rdoolae
g
e
Al
w
a
y
s
compile polytope_sc
a
n
commit
|
commitdiff
|
tree
2007-07-11
Sven Verdoolaege
polytope_scan: use argp for argument parsing
commit
|
commitdiff
|
tree
2007-07-05
Sven Verdoola
e
ge
doc: fix typo
commit
|
commitdiff
|
tree
2007-07-04
Sven Verdoola
e
ge
confi
g
ure
.
in: allow specification
of
de
f
a
u
lt
prefix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
S
ven Verdoolaeg
e
c
o
ns
o
lidate calls
to Pol
y
hedr
o
n2Param_Doma
i
n
commit
|
commitdiff
|
tree
2007-07-03
S
ven Verdoola
e
ge
volume
.
c: fi
x
typo in
c
omment
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdool
a
eg
e
Mak
e
file
.
a
m
: a
d
d
$(EXEEXT) for cy
g
win
commit
|
commitdiff
|
tree
2007-07-01
S
v
en Ver
d
oolaege
M
a
k
efi
l
e
.
am: forc
e
rebuild librarie
s
in subdirs if
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoolaege
only
t
est b
a
rvinok_m
a
ximi
z
e
i
f it has been/can be
c
reated
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verdoolaege
barvinok 0
.
2
4
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdo
o
laege
tes
t
lib
.
cc: work
a
round incomplete namespace support
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoo
l
aege
s
c
ale
.
c: enumera
t
e_na
r
row_flat
e
d: don't simplify con
s
tra
i
nts
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en
V
er
d
oolaeg
e
de
c
lare
v
ariables
a
t
start o
f
c
o
d
e block
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdoolaege
doc:
u
p
d
ate do
c
umentation of op
t
i
o
ns and some fun
c
t
i
o
ns
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Polyhe
d
ron_Sampl
e
: factor polyhedron if possible
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolae
g
e
Polyhedron_Sample: comp
u
te vertices o
f
1D
p
olyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
P
olyhedron_Sa
m
p
l
e
: remo
v
e all equalities fro
m
p
olyhedron
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verdoolaeg
e
add possibi
l
ity to use
GLPK a
s
LP solver
commit
|
commitdiff
|
tree
2007-06-30
S
v
en
Verd
o
olaege
Polyhedron_Sample: postpone remov
a
l
of rays
u
ntil we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verdoolaege
Poly
h
edro
n
_
Sample: use
l
p solver for finding ra
n
g
e
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en V
e
rdoolaege
le
x
m
i
n: m
o
ve choice
o
f lp solver to use outsid
e
basis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verd
o
olaege
poly
s
ig
n
.
h: use correct
name of PL_polyhedron_affine_sign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
do
o
laege
barvinok_enumerat
e
: plu
g
memory leak in B
e
rnoull
i
app
r
ox
i
m
a
t
ion
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
ba
r
vinok_enumerate_e_r: do
n
't a
s
sume AddConstrai
n
ts
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verd
o
olaege
eval
u
e_frac
2
p
o
lynomial: r
e
c
h
e
c
k evalue after eva
l
ue_s
p
lit_d
o
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verdoolaege
util
.
c
:
Lin
e
_
L
ength:
do
n
't get confused by p
o
sitivity
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
e
n
V
erdoolae
g
e
M
a
kefi
l
e
.
am: stop aft
e
r
first f
a
i
led test
commit
|
commitdiff
|
tree
2007-06-27
Sven
V
erdoolaege
bernste
i
n: car
r
y throug
h
variable re
n
a
ming t
o
debugging
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sven
Verdoolaege
b
ernstein: don't a
s
sume inpu
t
polynomial
has b
e
en expanded
commit
|
commitdiff
|
tree
2007-06-27
Sven
Ver
d
oolaege
evalue_read
.
c: correct constness of name
i
n par
a
meter_new
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolae
g
e
e
value
_
r
ead: accept constant multi
p
le of varia
b
l
e
w
i
thout
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sven
V
erdoolaege
evalue
.
c
:
ev
a
lue_sum: better han
d
ling of negative va
l
ues
commit
|
commitdiff
|
tree
2007-06-15
S
ven Verdoolaege
evalue
.
c
: reorder_terms: fix
typo
commit
|
commitdiff
|
tree
2007-06-14
Sven
Verdoolaeg
e
evalue: declare first argument of emul
c
o
n
st
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdoolaeg
e
evalu
e
.
c: emul: don't use e
x
p
l
i
cit_compl
e
ment on argume
n
ts
commit
|
commitdiff
|
tree
2007-06-14
S
ven Verdool
a
e
ge
a
dd
a test for
e
v
a
lue_split_periods
commit
|
commitdiff
|
tree
2007-06-13
Haral
d
.
De
v
os@elis
.
.
.
find_fractional_with_max_p
e
ri
o
ds
:
initial
i
ze lo
c
al
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdoolaege
evalue
.
c:
evalue
_
split_periods: mak
e
su
r
e
selec
t
ed
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sve
n
Verdoola
e
ge
evalue
.
c
:
po
l
ynomia
l
_proj
e
ction: us
e
e
v
alue_extract_affine
commit
|
commitdiff
|
tree
2007-06-10
Sve
n
Ve
r
doo
l
aege
add a test for barvin
o
k_maximi
z
e a
n
d barvin
o
k_summate
commit
|
commitdiff
|
tree
2007-06-10
S
v
e
n
Verdoolaeg
e
barvin
o
k
_summate: support v
e
rific
a
tion
o
f results
commit
|
commitdiff
|
tree
2007-06-10
Sven
V
e
rdoo
l
aege
e
value
.
c: evalue
_
sum: sp
l
it in
t
o orthants + so
m
e refactoring
commit
|
commitdiff
|
tree
2007-06-10
Sven Ver
d
oolae
g
e
bar
v
i
nok_
u
nion: u
s
e argp
f
or argument pars
i
ng
commit
|
commitdiff
|
tree
2007-06-09
S
v
e
n
V
e
rdoolaeg
e
barvinok
_
enumera
t
e_
u
nio
n
_series_with_o
p
tions: fix
typo
commit
|
commitdiff
|
tree
2007-06-07
Sven V
e
rdool
a
ege
bas
i
s_reduction_cdd
.
cc: g
e
t
c
orr
e
c
t dual solution i
n
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoolaege
basi
s
_red
u
c
tion_
g
lpk
.
c
:
c
o
rrectly set type o
f
rows
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Ver
d
oolaege
basis_red
u
c
t
i
on_glpk
.
c
: check f
o
r sani
t
y o
f
solution
commit
|
commitdiff
|
tree
2007-06-06
Sven
V
erdoolaege
op
t
ions:
m
ention default and avail
a
b
le solvers for
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
S
v
en Verdoolaege
polyhedron
_
sample
:
take opt
i
ons
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdoolaege
doc: more about po
w
er sum
s
commit
|
commitdiff
|
tree
2007-06-04
S
v
en
Ver
d
oolaege
doc:
ty
p
o
commit
|
commitdiff
|
tree
2007-05-30
Sven Verdoolaeg
e
d
o
c: repe
a
t
Mat
t
hias'
stopped Barvi
n
ok exper
i
ment
s
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
S
ven Verdoolaege
add barvinok_summate to sum
a quasi-p
o
lynomial over
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
S
v
en V
e
rdoola
e
ge
eval
u
e_read
:
fix for top-level fractional part
commit
|
commitdiff
|
tree
2007-05-14
Sven Verdoolaege
berno
u
lli
.
c: Bernoul
l
i_su
m
_evalue: reduce resu
l
ting
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
Sven Verdoolaege
bernoulli
.
c: perform nested
s
ums
a
p
p
roximation d
e
pth
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven
V
erdo
o
la
e
ge
add polynomial
approximati
o
n base
d
on n
e
sted
sums
commit
|
commitdiff
|
tree
2007-05-13
Sven V
e
rdoolae
g
e
util
.
c: extract for_eac
h
_lower_
u
pper_bound from P
a
ra
m
Lin
e
_
L
ength
commit
|
commitdiff
|
tree
2007-05-13
Sven Ve
r
d
oolaege
decomposer: use N
T
L to invert mat
r
i
x
rather
than convering
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Ver
d
oolaege
lattice_point
.
cc: allow rays and ve
r
tex to have been
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sv
e
n Verdoolae
g
e
counter: optim
i
ze summing over points in
f
undapiped
commit
|
commitdiff
|
tree
2007-05-13
Sven
V
e
rdoolaege
lattice_po
i
nt
.
cc: avoid
c
on
v
ersion
be
t
ween
N
TL and
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Ver
d
oolaege
co
n
version
.
cc: rem
o
ve rays2ma
t
rix
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
evalue
.
c: evalue_
p
ol
y
no
m
ial extra
c
t
e
d from barvinok
.
cc
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
evalue
.
c
: add evalue_ne
g
ate
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
doc: a note
o
n
the connection between Todd
po
l
ynomials
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdo
o
laege
doc:
p
oints in fundapiped: fix
typ
o
commit
|
commitdiff
|
tree
2007-05-10
Sven
V
e
rdoolaege
b
a
rvinok
.
c
c
: simp
l
i
f
y
dpoly_n constructor
commit
|
commitdiff
|
tree
next