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_enumerate: plug memory leak in Bernoulli approximation
2007-06-30
Sven Verdool
a
ege
b
a
rvinok_en
u
me
r
ate: plug
m
em
o
ry leak in Bernoulli approxi
m
ation
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verdoolaege
barvinok_enu
m
erate_e_r:
d
on't assume AddCon
s
traints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verdo
o
lae
g
e
e
value_frac2polynomial: recheck ev
a
lue
a
fter evalue_spl
i
t
_
do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdo
o
laege
util
.
c: Lin
e
_Le
n
gth: don't get c
o
nfu
s
ed
by positivity
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Makefile
.
am: stop after
f
irst failed
t
est
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoo
l
aege
bernstein: ca
r
ry thro
u
gh variable r
e
naming to debugging
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sv
e
n Ver
d
oo
l
aege
b
ernstein
:
do
n
't ass
u
me
input p
o
lyno
m
i
al has been ex
p
anded
commit
|
commitdiff
|
tree
2007-06-27
S
v
en Verdoolaege
evalue_read
.
c: correct cons
t
ness of name in parameter_new
commit
|
commitdiff
|
tree
2007-06-27
Sven Ve
r
doolaege
evalue_read: acce
p
t constant m
u
l
t
iple of variable wi
t
h
o
ut
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sven Verdoolaege
e
v
alue
.
c: eva
l
u
e_sum: b
e
tter ha
n
dling of
n
egative v
a
lue
s
commit
|
commitdiff
|
tree
2007-06-15
Sven Verdoo
l
aege
eva
l
ue
.
c:
r
eorder_terms: fix typo
commit
|
commitdiff
|
tree
2007-06-14
S
ven Verd
o
ol
a
ege
eva
l
ue: declare first a
r
gume
n
t of emul
const
commit
|
commitdiff
|
tree
2007-06-14
Sv
e
n
V
e
r
dool
a
e
g
e
e
v
alue
.
c
:
emu
l
:
don't use explic
i
t_co
m
plement on arguments
commit
|
commitdiff
|
tree
2007-06-14
Sven Ve
r
doo
l
aege
add
a test for eval
u
e
_split_
p
eri
o
ds
commit
|
commitdiff
|
tree
2007-06-12
Sven
Verdool
a
e
g
e
evalue
.
c: e
v
al
u
e_split
_
peri
o
d
s: mak
e
sure selec
t
ed
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven
V
erdoolaege
e
valu
e
.
c
:
po
l
y
no
m
ial_p
r
oje
c
tion: use evalue_extract_af
f
ine
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoolaege
ad
d
a
test fo
r
bar
v
i
nok_maximize and barvinok_summate
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdo
o
lae
g
e
barvinok_summate
:
s
u
pport
verification of r
e
sults
commit
|
commitdiff
|
tree
2007-06-10
S
v
e
n
V
erdo
o
laege
evalue
.
c: e
v
alue_sum: sp
l
it in
t
o orthants + some refact
o
r
i
ng
commit
|
commitdiff
|
tree
2007-06-10
S
ven Verdoolaege
barv
i
nok_union: us
e
argp for
argumen
t
parsi
n
g
commit
|
commitdiff
|
tree
2007-06-09
Sve
n
Verdoolaege
barvinok_enumera
t
e_union_series_
w
ith_options: fix typo
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoolaege
basis_reducti
o
n_cdd
.
c
c: get correct dual sol
u
tion in
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sv
e
n Verdo
o
laege
b
a
si
s
_
r
e
d
u
ction_glp
k
.
c: correctly
s
et ty
p
e o
f
rows
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
S
ven
V
erdoolaeg
e
basis_reduc
t
ion_glp
k
.
c: ch
e
ck for san
i
ty of s
o
luti
o
n
commit
|
commitdiff
|
tree
2007-06-06
Sv
e
n
V
e
rdoolaege
options
:
mentio
n
default and
available
s
o
lvers for
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdoolaege
po
l
y
he
d
ron
_
sampl
e
: take opti
o
ns
commit
|
commitdiff
|
tree
2007-06-06
Sven V
e
rdoolaege
doc: more ab
o
ut power su
m
s
commit
|
commitdiff
|
tree
2007-06-04
Sven
Verdo
o
laege
doc: typo
commit
|
commitdiff
|
tree
2007-05-30
Sven Verdo
o
l
aege
doc: repeat Matt
h
i
a
s' stopped Ba
r
vinok
ex
p
eriments
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sve
n
Ve
r
do
o
laege
add b
a
rvinok_s
u
mmate to
sum a qu
a
si-polyno
m
ial over
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven Verdoolae
g
e
evalue_read: fix for top
-
level fractional part
commit
|
commitdiff
|
tree
2007-05-14
Sve
n
Verdo
o
laege
berno
u
ll
i
.
c
:
B
ern
o
u
lli_sum_eval
u
e: redu
c
e resulting
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
Sven Verd
o
ola
e
ge
bernoulli
.
c
: pe
r
form nested sums
a
p
proximati
o
n depth
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sv
e
n Ver
d
oolaege
add polyn
o
m
i
al approxi
m
at
i
on base
d
on ne
s
t
ed
s
ums
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
util
.
c: extract
for_each_lower_upper_b
o
und
from Par
a
mLine_L
e
ngth
commit
|
commitdiff
|
tree
2007-05-13
S
ven Verdoolaeg
e
decomposer: use NTL to invert matrix
rather tha
n
c
o
nverin
g
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
l
a
t
t
ice_point
.
cc:
allow rays and v
e
r
tex to
h
a
ve been
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoo
l
aege
c
oun
t
er:
optimize summing over points i
n
fundapiped
commit
|
commitdiff
|
tree
2007-05-13
S
v
e
n
Verdoolaege
l
a
ttice_poin
t
.
cc: avoid
conversion
b
etw
e
e
n NTL and
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
conv
e
r
s
ion
.
cc: remove rays
2
matrix
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
evalue
.
c
:
evalue_
p
ol
y
nom
i
al ex
t
racted from barvinok
.
cc
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
eva
l
u
e
.
c: add
e
value_n
e
gate
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdool
a
ege
doc: a
n
o
t
e on the co
n
n
e
c
t
ion between Todd
polynomials
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
S
ven
V
erd
o
ol
a
eg
e
doc:
p
oints in fundapiped: fi
x
typo
commit
|
commitdiff
|
tree
2007-05-10
Sven
Verdoolaege
barvinok
.
cc
:
simplify dpoly_n c
o
nstructor
commit
|
commitdiff
|
tree
2007-05-10
Sven Ve
r
doolaege
Remove
"normalizatio
n
" o
r
powers i
n
denominator on
.
.
.
commit
|
commitdiff
|
tree
2007-05-09
Sven V
e
rdoolaege
de
c
omposer
.
c
c: pas
s
options to triangul
a
te_con
e
commit
|
commitdiff
|
tree
2007-05-08
Sv
e
n Verdoolae
g
e
b
a
r
v
inok_coun
t
:
optionally use exp
o
nential substit
u
t
ion
commit
|
commitdiff
|
tree
2007-05-08
Sven Ver
d
oolaege
c
o
unter
.
cc: ex
t
racted f
r
om barvinok
.
cc
commit
|
commitdiff
|
tree
2007-05-08
Sven
Ver
d
oolaege
dpoly::
d
iv: avoid
c
o
mp
u
tation with rational
n
umbers
.
.
.
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoolaege
dpoly: use
V
al
u
e
ins
t
ead
of
ZZ
commit
|
commitdiff
|
tree
2007-05-08
Sven V
e
rdoolaege
d
oc: fi
x
typo
commit
|
commitdiff
|
tree
2007-05-02
Sven V
e
rdoolae
g
e
a
d
d te
s
t fo
r
l
attice point computati
o
n
commit
|
commitdiff
|
tree
2007-05-02
Sven Verd
o
olaege
e
v
alue_read
.
c: add evalue_re
a
d_from_st
r
for reading
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verdoolaege
ev
a
lu
e
_read_from_
f
ile:
do
n
't modify v
a
r
_l
i
st argumen
t
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verdoolaege
ev
a
lu
e
_r
e
ad: read more general e
v
alues
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verdoolaege
ev
a
l
ue_conver
t
.
cc: add
missing include
commit
|
commitdiff
|
tree
2007-05-02
Sven V
e
rdoola
e
g
e
c
o
nversion
.
h:
g
e
n
er
a
lize rays2mat
r
ix2 t
o
zz2mat
r
ix
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
e
rdo
o
laege
lattice_point
.
h: make
s
e
lf
-
c
o
ntain
e
d
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
ev
a
l
u
e_read: extra
c
t
from maximize
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
enumerat
o
r: support
primal (
h
alf-open)
d
e
co
m
positions
commit
|
commitdiff
|
tree
2007-05-02
Sven
Ver
d
o
olaeg
e
e
num
e
ra
t
o
r: handle (
d
ual) stopped Bar
v
inok decomposition
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verdoolae
g
e
l
attic
e
_p
o
int
.
cc: remove unused PD a
r
gum
e
nt
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verdoolaege
la
t
tice_point
.
cc: ex
t
ract coset generation
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
lattic
e
_p
o
int
.
cc:
r
e
n
ame ceil_mod t
o
fract
i
onal_part
commit
|
commitdiff
|
tree
2007-05-02
S
ve
n
Verdool
a
ege
l
a
ttice_point
.
c
c: u
s
e some help
e
r fun
c
tions to simplify
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verdoo
l
ae
g
e
lat
t
i
ce_point
.
cc
:
i
m
ple
m
e
n
t lo
o
kup-
t
abl
e
version in
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verdo
o
laege
move more lattic
e
point c
o
mputations to latti
c
e_poi
n
t
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaeg
e
b
a
r
v
ino
k
.
cc: lattice_point: remove a s
p
e
cial case
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Verdoolaege
doc: integer
points
in fundam
e
nta
l
parallelepiped:
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
V
e
r
doolaege
util
.
c: ex
p
ort M
a
trix
_
T
r
anspo
s
ition
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
util
.
c: expor
t
Vector_Oppo
s
e
commit
|
commitdiff
|
tree
2007-05-02
S
ven Verdoolaege
s
ca
l
e
.
c: move Param_Vertex_Common_De
n
ominator to param_util
.
c
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verdoolaege
evalue
.
c
:
add ev
a
lue_add_
c
o
n
st
a
nt
commit
|
commitdiff
|
tree
2007-05-02
Sven Ve
r
doolaege
e
va
l
ue
.
c: af
f
ine2
e
value:
skip zero
c
oefficients
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoola
e
g
e
eva
l
ue
.
c: emul_poly: efficiently ha
n
dle case o
f
multipl
i
c
a
ti
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdo
o
laege
b
ump
version
commit
|
commitdiff
|
tree
2007-04-28
Sven Ver
d
oolaege
doc: update options and some fu
n
ction
commit
|
commitdiff
|
tree
2007-04-28
Sven Ver
d
oolaege
d
o
c
:
doc
u
ment volume computatio
n
commit
|
commitdiff
|
tree
2007-04-28
Sven Ve
r
doola
e
ge
d
o
c: m
o
re reports expla
i
ni
n
g parts of barv
i
nok
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdo
o
laege
bernstein: bump version
commit
|
commitdiff
|
tree
2007-04-28
S
v
en
V
e
rdoo
l
aege
doc: transformat
i
on of
p
arameter domain to have
r
evlex
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaeg
e
barvinok
.
c
c
: barvinok_count_
f
: avoid warni
n
g on
r
e
c
ursive
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
util
.
c: un
i
modular_complete: h
a
ndle comp
l
etion of more
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven
V
e
r
doolaege
barvinok_enumerat
e
.
cc: handle
a
l
l lines i
n
--se
r
ies
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
barvinok_
e
numerate
.
c
c
: series: plug
mem
o
ry
l
eak
commit
|
commitdiff
|
tree
2007-04-26
Sv
e
n Verdoolaege
d
oc
:
document left_i
n
verse
commit
|
commitdiff
|
tree
2007-04-26
S
v
en Verd
o
o
laege
doc:
r
emove re
f
ere
n
ce to old
b
a
rvinok_series a
p
pl
i
cation
commit
|
commitdiff
|
tree
2007-04-26
S
v
en Verdoolaeg
e
doc: update eval
u
e
_
bernstein_coefficients
commit
|
commitdiff
|
tree
2007-04-26
S
ven Verdoola
e
ge
barvinok/options
.
h: p
u
t
s
tats first in
barvinok_
o
p
t
ions
commit
|
commitdiff
|
tree
2007-04-25
Sven V
e
rdoolaege
ba
r
vinok_max
i
mize: read_
e
v
alu
e
: support relation
s
commit
|
commitdiff
|
tree
2007-04-25
Sven
Verdo
o
laege
ber
n
stein
.
cc
:
evalue_ber
n
stein_c
o
eff
i
c
ients:
h
a
ndle
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
barvinok_maximize: evalu
e
_read: allow
identifier
s
to
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven
V
erdoo
l
aeg
e
barvinok_maxi
m
ize: move --(bernstein-)recurse option
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sve
n
Verdoolaege
lib/argp: fix
l
o
gic in h
o
l_cluster_cmp
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
bar
v
i
nok_maximize: allow s
p
ecifica
t
ion
o
f
the va
r
iables
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sve
n
Ve
r
doolaege
ba
r
vinok_maximiz
e
: bar
f
on unexpected first
t
oken
commit
|
commitdiff
|
tree
2007-04-23
S
ven Verdoolaege
doc: more documents
refering to the library
commit
|
commitdiff
|
tree
2007-04-23
S
ven Verdool
a
ege
evalue_co
n
ver
t
.
c
c
:
e
valu
e
_
coset: support re
l
ations
commit
|
commitdiff
|
tree
2007-04-23
Sve
n
Verdool
a
ege
evalue
.
c: pri
n
t_evalue
:
always
print newlin
e
at the en
d
commit
|
commitdiff
|
tree
next