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
bernoulli.c: Bernoulli_sum_evalue: reduce resulting evalue
2007-05-14
Sven Verdool
a
ege
bernoulli
.
c: Bernoulli_sum
_
evalue: reduc
e
re
s
ulting
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
Sven
Verdoolaege
bernoulli
.
c: perform nested
s
u
ms
approximat
i
on d
e
pth
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdo
o
laege
ad
d
poly
n
omial ap
p
roxima
t
i
o
n b
a
sed
o
n nested sums
commit
|
commitdiff
|
tree
2007-05-13
Sv
e
n Verdoolaege
util
.
c:
e
xtract for_each_lower_u
p
per_bound from ParamLine
_
Len
g
t
h
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
d
e
c
o
mposer:
u
se
N
TL to
inver
t
matrix rat
h
er than conve
r
ing
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
S
v
en V
e
rdoolaege
lat
t
ice_po
i
nt
.
c
c
:
all
o
w
r
ay
s
a
n
d
vertex to have been
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoola
e
ge
c
o
unter: o
p
t
i
mize
s
ummi
n
g
over points in fundapiped
commit
|
commitdiff
|
tree
2007-05-13
Sve
n
V
e
rdoolaege
lattice_point
.
cc: avoid conversion between NTL an
d
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoola
e
ge
conversion
.
cc: remo
v
e rays2ma
t
rix
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdool
a
ege
ev
a
lue
.
c: e
v
alue_polynomial extra
c
ted from barvinok
.
cc
commit
|
commitdiff
|
tree
2007-05-13
S
ve
n
Verdoolaege
evalue
.
c
: add
eval
u
e
_negate
commit
|
commitdiff
|
tree
2007-05-13
Sven Ve
r
doolaeg
e
doc: a
note on the connec
t
ion b
e
t
w
een Todd p
o
lynomials
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoo
l
aege
doc:
p
oint
s
in fun
d
apiped: f
i
x typ
o
commit
|
commitdiff
|
tree
2007-05-10
Sven Verdoolaege
ba
r
vinok
.
cc
:
s
i
mplify dpoly
_
n
c
onstructor
commit
|
commitdiff
|
tree
2007-05-10
Sven
Verdoolaege
Rem
o
ve "no
r
malization" or powers in
denominat
o
r on
.
.
.
commit
|
commitdiff
|
tree
2007-05-09
Sv
e
n
Verdoolaege
decompo
s
e
r
.
cc:
p
as
s
o
p
tions
t
o triangulate_cone
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdo
o
laege
b
a
rvinok_count: optionally use expone
n
t
i
al substi
t
ution
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoolaege
counter
.
cc: extracted f
r
om barvinok
.
cc
commit
|
commitdiff
|
tree
2007-05-08
S
ven V
e
rdoolaege
dpoly::div: a
v
oid
c
o
m
p
u
tation with r
a
tional num
b
ers
.
.
.
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoolaege
dpoly: use Va
l
ue instead of ZZ
commit
|
commitdiff
|
tree
2007-05-08
Sve
n
Verdoo
l
a
ege
do
c
: fix typ
o
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
oolaege
a
d
d
test for lattic
e
p
o
int
c
omput
a
t
io
n
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Verdoolaege
ev
a
lue
_
read
.
c: add evalue_
r
e
ad
_
from_str for reading
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
oolaege
evalue_read_from_file: don
'
t
m
odi
f
y var_lis
t
ar
g
ument
commit
|
commitdiff
|
tree
2007-05-02
S
ven
V
erdoolaege
e
value_read:
r
ead more general evalues
commit
|
commitdiff
|
tree
2007-05-02
Sven V
e
rdoolaeg
e
evalue_convert
.
c
c
: add miss
i
ng
include
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
conversion
.
h
:
generalize rays2ma
t
rix
2
to zz2
m
a
trix
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Ver
d
oolaeg
e
l
a
ttice_point
.
h: m
a
ke self-contained
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdo
o
l
a
ege
evalue_read: extract fro
m
max
i
m
ize
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verdoolaege
enumerator: support primal (half-
o
pen
)
decomposit
i
o
ns
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
e
num
e
r
ator: hand
l
e (dual) stopped Barvinok
d
ecomposi
t
ion
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
l
attice_point
.
cc: remove unused PD argument
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erdo
o
laege
lattic
e
_point
.
cc: extract
c
oset generation
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verdoola
e
ge
l
a
ttice_p
o
int
.
cc: r
e
name c
e
il_m
o
d to fraction
a
l_part
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
o
o
laege
lattice_point
.
cc: use some helper functi
o
ns to simpli
f
y
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
oolaege
lattic
e
_point
.
cc: implement
l
ookup-tab
l
e
v
ersion in
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoo
l
aege
move more lattice
point computations to l
a
tt
i
ce
_
point
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sven Ve
r
d
o
ol
a
ege
b
a
rvinok
.
cc: latti
c
e_point:
remove a special
case
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
o
olaege
doc:
i
ntege
r
p
o
ints in
f
undamental parallelepiped:
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoola
e
ge
util
.
c: expor
t
Ma
t
rix_Transpositi
o
n
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaeg
e
util
.
c: export Ve
c
t
or_Oppose
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verdoo
l
aege
sc
a
le
.
c: mov
e
Pa
r
am_Vertex_Common_Deno
m
i
nator to
p
aram_util
.
c
commit
|
commitdiff
|
tree
2007-05-02
Sven Ve
r
dool
a
ege
evalue
.
c: add evalue_add_co
n
stant
commit
|
commitdiff
|
tree
2007-05-02
Sven Verd
o
ol
a
ege
evalue
.
c: affine2evalue: ski
p
zero c
o
efficie
n
t
s
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verdoola
e
ge
evalue
.
c: emul_po
l
y
: e
f
ficient
l
y
h
and
l
e case of multiplicati
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven
V
e
r
d
oolaege
b
u
mp versio
n
commit
|
commitdiff
|
tree
2007-04-28
Sven Ver
d
oolaege
doc: update options and
some functio
n
commit
|
commitdiff
|
tree
2007-04-28
Sven Ve
r
doolaege
doc:
document volume computation
commit
|
commitdiff
|
tree
2007-04-28
S
v
en Verdo
o
lae
g
e
doc: more reports expl
a
in
i
ng parts of
barvinok
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdo
o
laege
bernstei
n
: bump versio
n
commit
|
commitdiff
|
tree
2007-04-28
Sven Verd
o
o
l
aege
d
oc: trans
f
ormation
o
f parameter domain to have revlex
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
S
ven Verdoolaege
barvinok
.
cc:
b
arvinok_count_
f
: avoid warni
n
g on r
e
cur
s
ive
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdo
o
laege
u
t
il
.
c: unimodular_complete: handle complet
i
on o
f
more
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
S
v
e
n Verd
o
olaege
barvino
k
_enumerat
e
.
cc:
hand
l
e al
l
line
s
in
-
-series
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
ba
r
vinok_
e
numerate
.
cc: series: plug memory leak
commit
|
commitdiff
|
tree
2007-04-26
Sven Ve
r
doolaeg
e
doc:
document le
f
t_inverse
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdo
o
l
a
ege
doc:
remove r
e
ference to
o
l
d barvinok_series
a
pp
l
ication
commit
|
commitdiff
|
tree
2007-04-26
Sven Verd
o
olaege
doc:
u
pdate evalue_bernste
i
n_coeffic
i
en
t
s
commit
|
commitdiff
|
tree
2007-04-26
Sven
V
e
rdoolaege
b
arvinok/
o
ptions
.
h:
p
ut stat
s
first i
n
barvinok_options
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
barvinok_maximize
:
r
e
ad_
e
value: support relatio
n
s
commit
|
commitdiff
|
tree
2007-04-25
Sven V
e
rdo
o
laege
be
r
nstein
.
cc
:
e
value_
b
ern
s
tein_coeffic
i
ent
s
: hand
l
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoola
e
ge
barvinok_maxi
m
ize: evalue_rea
d
: allo
w
identifiers to
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
S
ven
V
e
rdoolaege
barvinok_max
i
mize
:
mo
v
e --(
b
er
n
s
t
ein-
)
recu
r
se option
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoo
l
aege
l
i
b/argp:
fix
l
ogic
in hol
_
cluste
r
_cmp
commit
|
commitdiff
|
tree
2007-04-25
S
v
en Verd
o
ola
e
g
e
ba
r
vinok_maximize:
a
l
low
s
p
e
cification of the
v
a
ri
a
bles
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
S
v
en Verdoolaege
barvino
k
_maximize: barf on unexpected
first
toke
n
commit
|
commitdiff
|
tree
2007-04-23
Sven
V
erdoolaege
doc: more doc
u
ment
s
refering
to
the lib
r
ary
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
evalue_c
o
nv
e
rt
.
cc: evalue_cose
t
: support
r
elations
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoola
e
ge
e
v
alu
e
.
c: print_evalu
e
:
always print
n
ewline at the en
d
commit
|
commitdiff
|
tree
2007-04-23
Sven
V
erd
o
o
l
aege
doc: multivariate quasi-polynomials as lists of po
l
y
n
omials
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
evalue_conv
e
rt
.
cc: include "
c
onfig
.
h"
to pick up USE_
F
DSTREA
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolae
g
e
doc: i
n
dex
a
d
d
itions
commit
|
commitdiff
|
tree
2007-04-23
Sven V
e
rdoolaeg
e
d
oc: triang
u
lation in pr
i
mal space
+
s
ome typo fixes
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdool
a
ege
doc:
document
i
n
ner
_
p
oint
commit
|
commitdiff
|
tree
2007-04-23
Sven Ve
r
doolaege
d
o
c: refer to Ko
e
ppe
article for simpler m
o
tivation
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdo
o
l
aege
doc: mo
r
e p
u
blicatio
n
s (implicitly) refering to the
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
Sven Verdoolaege
c
o
n
f
igure
.
in: add $(EXE
E
XT) to optional p
r
ogra
m
s for
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
Sven Verdoolaege
Makefile
.
a
m: make sure distribution c
o
nta
i
ns required
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven V
e
rdo
o
l
aeg
e
work
a
round incomplete namespace support in old compil
e
rs
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdo
o
l
aege
d
i
s
a
b
le
s
ome feat
u
res if fdst
r
eam
doesn'
t
compile
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdool
a
ege
barvinok_enumerate
.
cc
:
avo
i
d
use of fdstre
a
m
commit
|
commitdiff
|
tree
2007-04-19
Sven
V
e
r
doolaege
b
a
rvin
o
k_enumerat
e
:
d
on't print (non-ex
i
sting) evalue
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
edomain
.
cc: avoid use of fdstrea
m
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
configure
.
in: check for po
l
y
l
i
b
/p
o
lylibgmp
.
h
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoola
e
g
e
declar
e
variable at
s
t
art of cod
e
b
l
oc
k
.
commit
|
commitdiff
|
tree
2007-04-18
Sven Verdoolaege
M
a
k
e
file
.
am: rebuil
d
librar
i
es
i
n
subdirs if
m
issi
n
g
commit
|
commitdiff
|
tree
2007-04-18
Sven
V
erdoolaege
b
a
rvinok_en
u
merate: recheck f
o
r equalities
after "variable
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
Sven
V
e
rdoolaege
doc: a
v
oting theory report that ref
e
rs to
the library
commit
|
commitdiff
|
tree
2007-04-15
Sven Ver
d
oolaege
d
o
c: upda
t
e
prima
l
B
a
rvinok re
f
e
rence
commit
|
commitdiff
|
tree
2007-04-15
Sven Ver
d
oolaege
doc: add journal vers
i
on of i
m
pro
v
ed derivation
p
ape
r
commit
|
commitdiff
|
tree
2007-04-13
Sven Verd
o
o
laege
volum
e
.
c: keep tr
a
ck
o
f number of simplices in volume
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
Sv
e
n Verdoolaege
test_app
r
ox: test volume computat
i
on variations
commit
|
commitdiff
|
tree
2007-04-13
S
v
en Ver
d
oolaeg
e
volume
.
c: v
o
lum
e
_triangulate: use vertex
i
nstead of
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven V
e
r
doola
e
ge
volume
.
c: face
_
v
e
rtices: use Param_Inner_Pro
d
uct
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdool
a
e
g
e
Call set_pro
g
ram_name before calling argp_parse
.
commit
|
commitdiff
|
tree
2007-04-12
S
ven Verdoo
l
aege
reduce_
d
omain: exploi
t
tha
t
no call
e
r uses
Polyh
e
dron2Par
a
m
_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven V
e
rdoolaege
lexm
i
n: stop
u
sing
P
olyh
e
dron2
P
aram_Sim
p
lifiedDomain
commit
|
commitdiff
|
tree
2007-04-12
S
v
en Verdoola
e
g
e
barvinok
.
cc: stop usi
n
g Polyhedron2Param_SimplifiedDomain
commit
|
commitdiff
|
tree
2007-04-12
Sven V
e
rdoolaege
Requ
i
re a v
e
r
s
i
on of
P
olyLib tha
t
co
m
putes c
o
r
rect
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Ver
d
oo
l
a
ege
volume
.
c: non_empty
_
point: simpl
y
use interna
l
point
.
.
.
commit
|
commitdiff
|
tree
next