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
document barvinok_summate and barvinok_maximize
2007-06-06
S
v
en Ver
d
oo
l
aege
op
t
io
n
s: mentio
n
d
efa
u
lt and available solvers for
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdoolaege
polyhedron_sample: take o
p
tio
n
s
commit
|
commitdiff
|
tree
2007-06-06
Sven Ve
r
d
o
olaege
doc: more about pow
e
r sums
commit
|
commitdiff
|
tree
2007-06-04
Sven Ver
d
oolaege
d
o
c: typo
commit
|
commitdiff
|
tree
2007-05-30
Sven Verdoolaege
doc: repeat
M
a
tthias' stop
p
ed Barvin
o
k experimen
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sve
n
V
e
r
do
o
laege
add barv
i
nok_summate to
s
um a quasi-polynomia
l
over
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sve
n
Ve
r
dool
a
ege
ev
a
l
ue_read: fix
f
or top
-
level fract
i
onal part
commit
|
commitdiff
|
tree
2007-05-14
Sven V
e
rdoolaeg
e
berno
u
lli
.
c
: Bernou
l
li_su
m
_eva
l
u
e: reduc
e
resul
t
in
g
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
Sv
e
n Verdo
o
lae
g
e
bernoulli
.
c
: perf
o
rm
nested sums approxim
a
tion dep
t
h
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sve
n
Verdoo
l
aege
add
polyno
m
ia
l
appro
x
imati
o
n based on nested sum
s
commit
|
commitdiff
|
tree
2007-05-13
S
ven
Verdoolaeg
e
u
ti
l
.
c: extr
a
ct for_each_lower_upp
e
r_b
o
und fro
m
Pa
r
amLine_Leng
t
h
commit
|
commitdiff
|
tree
2007-05-13
Sven
Verdoolaege
decompo
s
er: use NTL to inv
e
r
t matrix rath
e
r than converin
g
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
l
attice_point
.
cc:
allow rays and vert
e
x to
h
ave
been
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
S
v
e
n Verdoola
e
ge
counter: op
t
i
m
ize
summing over
p
o
i
n
ts in fundap
i
ped
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
lattice_poin
t
.
c
c: avoi
d
conv
e
rsion be
t
w
een
NT
L
an
d
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
c
o
nver
s
ion
.
cc: remo
v
e rays2matrix
commit
|
commitdiff
|
tree
2007-05-13
S
ven Ver
d
oolaege
ev
a
lue
.
c: ev
a
lu
e
_pol
y
nomi
a
l extracted from barvinok
.
c
c
commit
|
commitdiff
|
tree
2007-05-13
Sve
n
Verdoolaege
e
v
alue
.
c: add evalue
_
negate
commit
|
commitdiff
|
tree
2007-05-13
Sven V
e
rdoola
e
ge
doc: a note on
the connection b
e
tween Todd polynomials
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sve
n
Verdo
o
la
e
ge
doc
:
points in fu
n
dapiped: fix typo
commit
|
commitdiff
|
tree
2007-05-10
Sven Verdoolaege
b
arvin
o
k
.
cc: sim
p
lify
d
po
l
y_n c
o
nstructor
commit
|
commitdiff
|
tree
2007-05-10
Sven Verdool
a
ege
R
e
move "normalization"
o
r
p
o
wers
i
n de
n
omina
t
or on
.
.
.
commit
|
commitdiff
|
tree
2007-05-09
Sven Verdo
o
laege
decomposer
.
cc: p
a
ss optio
n
s to
triangulate_cone
commit
|
commitdiff
|
tree
2007-05-08
Sven Ver
d
o
o
lae
g
e
barvinok_co
u
n
t: optionally use expo
n
e
n
t
ial substitution
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoolaege
counter
.
c
c
:
extracte
d
from barvinok
.
cc
commit
|
commitdiff
|
tree
2007-05-08
Sv
e
n Verdoolaege
dpoly
:
:d
i
v: avoid compu
t
ation with ra
t
ional n
u
mbers
.
.
.
commit
|
commitdiff
|
tree
2007-05-08
S
v
en
Verdo
o
laege
dpoly: use Value inst
e
ad of ZZ
commit
|
commitdiff
|
tree
2007-05-08
Sv
e
n
Verdool
a
e
g
e
doc:
f
ix typo
commit
|
commitdiff
|
tree
2007-05-02
Sven V
e
r
do
o
laege
a
d
d
t
est for lattice
poin
t
computatio
n
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
e
valu
e
_read
.
c: add evalu
e
_read_from_str for
readin
g
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
evalue_r
e
ad_fro
m
_
f
ile: d
o
n't modify var_list
a
rgum
e
nt
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
oolaege
evalu
e
_read: read
more general evalues
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Verdoolaege
evalue_convert
.
cc:
add missing include
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
conversion
.
h: generalize rays2m
a
tr
i
x2 to zz
2
m
atrix
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
oo
l
ae
g
e
la
t
tice_point
.
h: make self-co
n
tained
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
eval
u
e_r
e
ad: extrac
t
fr
o
m maximize
.
c
c
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
oolaege
enumerator: support primal (hal
f
-open) decomp
o
sitions
commit
|
commitdiff
|
tree
2007-05-02
Sven V
e
rdoolaege
enumerator: handle (dual) stopped Barvinok d
e
compos
i
tion
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verdoolaege
lattice_point
.
cc: r
e
move un
u
se
d
PD argument
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Verdoo
l
aege
lattice_point
.
cc:
extra
c
t coset
gen
e
ration
commit
|
commitdiff
|
tree
2007-05-02
Sven Verd
o
olaege
l
at
t
ice_point
.
cc: rename ceil_mod to fractional_part
commit
|
commitdiff
|
tree
2007-05-02
S
v
e
n
V
e
rdoolaege
lattice_po
i
nt
.
cc:
u
se some hel
p
er
functions to
s
i
mpl
i
fy
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
e
rdoolaege
latt
i
ce_point
.
cc
:
implement l
o
okup-table version
in
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
S
ven Verdoolaege
move
m
ore la
t
tice point co
m
putations to lattice_point
.
c
c
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
barvin
o
k
.
cc: lattice_point
:
remove
a
s
pecial case
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verdoolaege
do
c
: integer points in
f
undamenta
l
p
arallelepiped:
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verd
o
olaege
util
.
c
:
export M
a
trix_Transposition
commit
|
commitdiff
|
tree
2007-05-02
Sven Verd
o
olaege
util
.
c: exp
o
rt Vector_Oppose
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoola
e
ge
scal
e
.
c:
m
o
ve P
a
ra
m
_
Vertex_Common_Denom
i
nator to
p
a
ra
m
_util
.
c
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verdool
a
ege
evalue
.
c: ad
d
eva
l
ue_add_con
s
tant
commit
|
commitdiff
|
tree
2007-05-02
S
ve
n
Verd
o
olaege
e
v
alu
e
.
c: affin
e
2evalue: skip zero coe
f
ficien
t
s
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erdoolae
g
e
evalue
.
c: emul_poly: efficiently handle ca
s
e of multiplica
t
i
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven
V
e
r
d
oolaege
b
u
mp v
e
rsion
commit
|
commitdiff
|
tree
2007-04-28
S
v
en Verdool
a
ege
doc: update optio
n
s and some func
t
i
o
n
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
do
c
: document vo
l
u
m
e computation
commit
|
commitdiff
|
tree
2007-04-28
S
ven Verdoolaege
doc: more repo
r
t
s explai
n
i
n
g parts of bar
v
inok
commit
|
commitdiff
|
tree
2007-04-28
S
v
en Verdo
o
laege
bernstein: bump versio
n
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
doc: tran
s
fo
r
mation of paramete
r
domain
to have revlex
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verd
o
olaege
barvinok
.
cc: ba
r
vinok_count_f: avoi
d
warning on
rec
u
rs
i
ve
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
util
.
c: unimodular_com
p
let
e
: handle completion of more
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven
V
e
rd
o
olaege
bar
v
ino
k
_
enumerate
.
cc: h
a
ndle all
lines
in -
-
series
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaeg
e
barv
i
nok_enu
m
erat
e
.
cc: se
r
ies: plug memor
y
leak
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
d
o
c
:
do
c
ument
l
eft_inverse
commit
|
commitdiff
|
tree
2007-04-26
Sven Ve
r
doolaege
doc
:
remo
v
e ref
e
rence to old barvino
k
_ser
i
es a
p
p
l
ication
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
doc: update evalue_
b
ernstein_coe
f
ficients
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
b
arvinok/o
p
t
ion
s
.
h
:
put stat
s
f
i
rst in bar
v
inok_options
commit
|
commitdiff
|
tree
2007-04-25
Sven Ver
d
oolaege
barvinok_maxi
m
ize: read_eval
u
e
:
support
relations
commit
|
commitdiff
|
tree
2007-04-25
S
ve
n
V
e
rdoolaege
bernstein
.
cc: evalue_bernstein_coeffi
c
ients: handle
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoola
e
ge
b
a
rv
i
nok_m
a
ximize: evalue_
r
ead
:
allow identifiers to
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoola
e
g
e
bar
v
inok_maximiz
e
:
mov
e
--(ber
n
stein-
)
recurse
o
ption
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sv
e
n
V
e
rdoolaege
lib/a
r
g
p:
fix logic
i
n
ho
l
_cluste
r
_cmp
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
ba
r
vinok_maximize: al
l
ow speci
f
ica
t
ion of the variables
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Ve
r
d
o
olaege
ba
r
vinok
_
maxim
i
ze:
barf
o
n une
x
pected fir
s
t
t
oken
commit
|
commitdiff
|
tree
2007-04-23
Sven
V
e
r
doolaege
doc: mor
e
documents refering t
o
th
e
libr
a
ry
commit
|
commitdiff
|
tree
2007-04-23
Sven
V
erdoolaege
eva
l
ue_c
o
n
v
ert
.
cc: evalue_coset: support relations
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoola
e
ge
evalue
.
c: print
_
evalue: a
l
way
s
print newline at
the end
commit
|
commitdiff
|
tree
2007-04-23
Sv
e
n
V
erdoolaege
doc: multiva
r
iate quasi-polynomials as
lists of po
l
ynomials
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaeg
e
eval
u
e_con
v
ert
.
cc: include "config
.
h
"
to pick up U
S
E_FD
S
T
RE
A
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Ve
r
doolaege
doc: index additio
n
s
commit
|
commitdiff
|
tree
2007-04-23
Sven V
e
rdoo
l
aeg
e
doc: t
r
iangulation in
primal
s
pace + some typ
o
fixes
commit
|
commitdiff
|
tree
2007-04-23
S
v
en Verdoolaege
doc
:
document in
n
er_point
commit
|
commitdiff
|
tree
2007-04-23
S
ven Verdoolaeg
e
doc: refe
r
to Koeppe ar
t
icle for simpler motivati
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
doc: more publications (implicitly) refering to
the
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
Sven Verdoolaeg
e
configure
.
i
n
: add $(EXEEX
T
) to optional programs for
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
Sven Verdoolaeg
e
Makefile
.
am: make sure
distribution
c
ont
a
ins required
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven
V
erdoo
l
aege
work
a
r
ound incom
p
lete namespa
c
e suppo
r
t
in old compilers
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
d
i
sable
some featur
e
s if fd
s
t
r
e
a
m
doesn't compile
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
b
a
rvinok
_
enumerate
.
cc:
avoid use o
f
fdstream
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolae
g
e
barvinok_enum
e
rate: don't print (non
-
existing) evalue
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolae
g
e
edomain
.
c
c
: avoid u
s
e of fdst
r
eam
commit
|
commitdiff
|
tree
2007-04-19
Sven Verd
o
olae
g
e
c
o
n
figure
.
in
:
che
c
k
for
p
o
lylib/polylib
g
mp
.
h
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdool
a
ege
declare variable at start o
f
code block
.
commit
|
commitdiff
|
tree
2007-04-18
Sven Ver
d
ool
a
e
ge
Makefile
.
am
:
rebuild
libr
a
ries in
s
u
bdi
r
s if
missing
commit
|
commitdiff
|
tree
2007-04-18
Sven Verdoolaege
b
ar
v
inok_enumerate
:
recheck for equalities
after
"
variable
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
Sven Verd
o
olaege
doc: a voting theory report
t
hat
refers
to the library
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdoolaege
doc: update pri
m
al Barvinok referenc
e
commit
|
commitdiff
|
tree
2007-04-15
Sven V
e
rdoolaege
d
oc: add journal version of im
p
roved derivation pape
r
commit
|
commitdiff
|
tree
2007-04-13
Sven
V
erd
o
olaege
volume
.
c: keep track of number of sim
p
l
ices
i
n volume
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
S
ven Verdoolaege
tes
t
_approx: test
v
olu
m
e co
m
putation
variations
commit
|
commitdiff
|
tree
2007-04-13
Sven Ver
d
oolaege
volume
.
c: volume_tria
n
gulate: use
vertex instead of
.
.
.
commit
|
commitdiff
|
tree
next