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
options: mention default and available solvers for basis reduction
2007-06-06
Sve
n
V
e
rdoo
l
aege
opt
i
ons: mention defa
u
lt an
d
available
solvers f
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
Sven Verd
o
o
l
a
ege
poly
h
edron_
s
ample: take
options
commit
|
commitdiff
|
tree
2007-06-06
Sven V
e
rdoolaeg
e
doc: more about power sums
commit
|
commitdiff
|
tree
2007-06-04
Sven Verdoolaege
doc: typo
commit
|
commitdiff
|
tree
2007-05-30
S
v
e
n Verdool
a
ege
do
c
: repeat Matthias
'
stopped Barvi
n
o
k expe
r
iment
s
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven Verdoolaege
add b
a
r
vinok_s
u
mma
t
e to sum a qu
a
si
-
po
l
yno
m
ial o
v
er
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sv
e
n Verdool
a
e
ge
evalue_read: fix for top-level fractiona
l
part
commit
|
commitdiff
|
tree
2007-05-14
Sve
n
Verdo
o
laege
bernoulli
.
c
: Berno
u
lli_sum_evalue: r
e
duce resulti
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
Sven Verdoolaege
bernoull
i
.
c: perform
n
e
s
ted sums approximation d
e
pth
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
S
ven Verdoolaege
add polyno
m
i
a
l
approximation based on nested sums
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
util
.
c: extr
a
c
t
f
or_each_lower_upper_bound fro
m
P
ara
m
Line_Length
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolae
g
e
decomposer: us
e
NTL to invert matri
x
rather than convering
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
S
v
e
n
Verdo
o
laege
lattice_point
.
cc:
a
llow
rays a
n
d
v
ertex to hav
e
be
e
n
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sve
n
Verdoolaege
c
ounter:
o
ptimize sum
m
ing
o
v
er p
o
i
nts
i
n fund
a
p
iped
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoola
e
ge
latt
i
ce_point
.
c
c: avoi
d
conversi
o
n
between NTL and
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verd
o
olaege
conversion
.
cc: remo
v
e rays2matrix
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
e
v
alue
.
c: evalu
e
_
p
olynomia
l
extracte
d
from b
a
rvinok
.
cc
commit
|
commitdiff
|
tree
2007-05-13
Sven V
e
rdoolae
g
e
e
v
alue
.
c: add evalue_negate
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
doc:
a note on
t
he connection between Todd polynomia
l
s
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaeg
e
doc:
poi
n
t
s
in
f
undapiped: fix t
y
po
commit
|
commitdiff
|
tree
2007-05-10
Sven
V
erdoola
e
g
e
barvinok
.
c
c
: simplify dpoly_n c
o
nstruct
o
r
commit
|
commitdiff
|
tree
2007-05-10
Sven Verdo
o
laege
Remove
"normalizatio
n
" or pow
e
rs in
denominator o
n
.
.
.
commit
|
commitdiff
|
tree
2007-05-09
S
ven Verdo
o
laege
decomposer
.
c
c
:
pa
s
s options to triangulate_cone
commit
|
commitdiff
|
tree
2007-05-08
Sven Ve
r
d
o
ola
e
g
e
barvinok_count: opti
o
nally use
e
xponenti
a
l su
b
s
t
i
t
ution
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoolaege
counter
.
cc
:
extracted from
barvin
o
k
.
c
c
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdool
a
ege
dpo
l
y::div
:
a
v
oid
c
omputation
w
i
th
rat
i
onal numbers
.
.
.
commit
|
commitdiff
|
tree
2007-05-08
Sven
V
erdoolaege
dpoly
:
u
se
V
alue ins
t
ead o
f
ZZ
commit
|
commitdiff
|
tree
2007-05-08
S
v
e
n Verdoolaege
do
c
: fix ty
p
o
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
e
rdoolaege
add test for
l
attice point
computa
t
ion
commit
|
commitdiff
|
tree
2007-05-02
Sven Verd
o
o
l
aege
evalu
e
_read
.
c: add e
v
alue_read_fro
m
_
s
tr for r
e
ad
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
e
value
_
read_fr
o
m_file: don't modify var_list argume
n
t
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
evalue_read: read more gen
e
ral e
v
alues
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdool
a
eg
e
e
value_convert
.
cc: add missin
g
i
nclude
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
conversion
.
h
: generalize r
a
ys2matrix2 to zz2matrix
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
latti
c
e_point
.
h: make
self-contained
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
evalue_read: ex
t
ract from maximize
.
cc
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verdoolae
g
e
enu
m
erator:
suppor
t
primal (h
a
lf
-
open) d
e
compositions
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdo
o
laeg
e
e
nume
r
ator: handle (du
a
l) s
t
o
p
ped
Barvinok de
c
o
m
posit
i
on
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verdoo
l
ae
g
e
lat
t
ice
_
po
i
nt
.
cc: rem
o
ve un
u
sed
P
D argument
commit
|
commitdiff
|
tree
2007-05-02
S
v
e
n
Ver
d
oola
e
ge
lattice_point
.
c
c
: extract coset generation
commit
|
commitdiff
|
tree
2007-05-02
S
ven
V
erdoolaege
l
attice_
p
oint
.
cc: ren
a
me c
e
il_
m
od
to f
r
actional_part
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erd
o
olae
g
e
l
a
t
tice_point
.
cc: use some helper f
u
nct
i
ons to si
m
plify
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdool
a
ege
l
a
tti
c
e_point
.
cc: impleme
n
t
lookup-table version in
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
move more la
t
tice point computatio
n
s to lattice
_
point
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sven V
e
r
d
oolaege
barvinok
.
cc: lat
t
ice_point: remo
v
e a special case
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolae
g
e
doc: i
n
tege
r
points in fun
d
ame
n
tal parallelepiped:
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
S
ven Verdoolae
g
e
ut
i
l
.
c
:
export
M
a
tri
x
_Tra
n
spo
s
ition
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
u
til
.
c:
export Ve
c
tor_Oppo
s
e
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
scale
.
c:
m
ove Param_Vertex_Common_Denom
i
nator to param_util
.
c
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoo
l
aege
ev
a
lue
.
c: add
e
value_add_con
s
tant
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
er
d
o
o
laege
eval
u
e
.
c
: affine2
e
value:
s
kip zero coeff
i
cien
t
s
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
evalue
.
c: emul_po
l
y: efficie
n
tly handle case of multiplic
a
ti
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
bump version
commit
|
commitdiff
|
tree
2007-04-28
Sv
e
n Verdoolaege
d
oc: u
p
date options and some function
commit
|
commitdiff
|
tree
2007-04-28
Sven Verd
o
ola
e
ge
d
o
c: doc
u
men
t
vol
u
me
c
omput
a
tion
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
doc
:
mo
r
e
reports expl
a
ining p
a
rts of barvinok
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoo
l
aege
bern
s
tein:
bump version
commit
|
commitdiff
|
tree
2007-04-28
Sv
e
n V
e
r
d
oolaege
doc: tra
n
sformation of parameter domain to have revlex
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
barvinok
.
cc: bar
v
i
n
ok_count_f:
a
vo
i
d w
a
rn
i
ng on recursive
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven V
e
rdoolaege
util
.
c: unim
o
dular_complete
:
h
andle
completi
o
n of more
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
S
ven Verdoolaege
barv
i
nok_e
n
umerate
.
cc: handle all
lines in -
-
series
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sve
n
V
er
d
o
olaege
barv
i
n
ok_enu
m
erate
.
cc: serie
s
: plug memo
r
y leak
commit
|
commitdiff
|
tree
2007-04-26
Sven
Verdo
o
l
aege
doc: doc
u
m
ent left_inverse
commit
|
commitdiff
|
tree
2007-04-26
Sve
n
Verdoolae
g
e
doc: remove referenc
e
to
o
ld barvinok_series application
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
doc:
u
pda
t
e evalu
e
_berns
t
ein_coefficients
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdo
o
la
e
ge
barvinok/op
t
ions
.
h: put
stats fi
r
st in barvinok_options
commit
|
commitdiff
|
tree
2007-04-25
S
v
en Verdoolae
g
e
bar
v
in
o
k_maximize: rea
d
_
eva
l
ue
:
support relations
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdo
o
laege
bernstein
.
cc: evalue_bernstein_coe
f
fici
e
nts: hand
l
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
S
ven Verdoolaeg
e
barvinok_
m
aximize: evalue_read: allow identifiers to
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolae
g
e
barvinok_ma
x
imiz
e
: move
--(bernstein
-
)re
c
urse op
t
ion
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven
Verdoolaege
l
ib/argp: fix logic in hol_cluster_cmp
commit
|
commitdiff
|
tree
2007-04-25
Sven Ve
r
doolaege
barvin
o
k_
m
ax
i
mize: allow sp
e
cification of the variables
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sv
e
n
V
erdo
o
l
aege
bar
v
inok_maxim
i
ze:
b
ar
f
on unexpected f
i
rst
token
commit
|
commitdiff
|
tree
2007-04-23
Sv
e
n Verdoolaege
doc: more docu
m
ents
r
eferin
g
to the
li
b
rary
commit
|
commitdiff
|
tree
2007-04-23
S
ven V
e
rdo
o
l
a
ege
ev
a
lue_convert
.
cc: evalue_coset: support
relati
o
ns
commit
|
commitdiff
|
tree
2007-04-23
S
v
en Verdoolaege
evalue
.
c:
p
rint
_
eva
l
ue
:
always print newline at the end
commit
|
commitdiff
|
tree
2007-04-23
S
ven
V
erdoolaege
doc:
m
ultiv
a
riate quasi-polynomials as lists o
f
p
o
l
ynomials
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
e
v
alue_convert
.
cc
:
includ
e
"con
f
ig
.
h" to pic
k
up USE_FD
S
TREA
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
doc: index additio
n
s
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
doc: triangulation in primal space
+ some
typo fixes
commit
|
commitdiff
|
tree
2007-04-23
Sven
Verdoolaege
doc: document inne
r
_point
commit
|
commitdiff
|
tree
2007-04-23
Sv
e
n Verd
o
olaege
doc: refer
to Koeppe
a
rticle for simpl
e
r
motivation
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sve
n
Verdoo
l
ae
g
e
doc: more publications (implici
t
ly) refering to th
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
Sven Verdoolaege
c
onfigure
.
in: add $(
E
XEEXT) to optional programs f
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
Sve
n
V
e
rdoolaege
Make
f
i
l
e
.
am:
make
sure distribution
c
ont
a
ins r
e
quired
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Ve
r
doo
l
aege
barvinok_enumera
t
e:
do
n
't p
r
int (non-
e
xisting)
e
value
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Ve
r
d
o
olaege
edomain
.
c
c: avoid use
of
f
dstream
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoo
l
aege
config
u
re
.
in: check for poly
l
ib/polyli
b
gmp
.
h
commit
|
commitdiff
|
tree
2007-04-19
S
v
en Verdoolaege
decla
r
e variable at start of code block
.
commit
|
commitdiff
|
tree
2007-04-18
Sven
Ve
r
doo
l
aege
Ma
k
efil
e
.
am: re
b
uild
li
b
rar
i
es in sub
d
i
rs
i
f missing
commit
|
commitdiff
|
tree
2007-04-18
Sven V
e
r
do
o
laege
barvinok
_
enumerate:
recheck fo
r
equa
l
itie
s
after "va
r
i
able
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
S
ven V
e
rd
o
olaege
doc: a voting theory report tha
t
refers to the libr
a
ry
commit
|
commitdiff
|
tree
2007-04-15
Sven
V
erd
o
o
l
a
e
ge
doc: update primal Barvinok refe
r
en
c
e
commit
|
commitdiff
|
tree
2007-04-15
S
ven V
e
r
doolaege
doc:
add j
o
urn
a
l v
e
rsion
o
f impr
o
ved derivati
o
n
paper
commit
|
commitdiff
|
tree
2007-04-13
S
v
en
V
erdoolaege
vol
u
me
.
c:
k
eep track of numb
e
r of
si
m
p
l
ices i
n
vo
l
ume
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
Sve
n
Verdoolaege
test_ap
p
ro
x
: test v
o
lume computatio
n
v
ari
a
tions
commit
|
commitdiff
|
tree
2007-04-13
Sven Verd
o
olaege
volume
.
c
: v
o
lume_triangulate: use vertex instead
o
f
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
ven
Verdoolaege
v
o
l
u
me
.
c: face_vertices: use Param_Inn
e
r_Product
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdo
o
laege
reduce_domain: exploit that no call
e
r
uses
P
olyhedron2Param_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
erdoolaege
l
e
xm
i
n: stop using
Polyhedron2Param_Sim
p
lifiedDomain
commit
|
commitdiff
|
tree
next