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
evalue_read: fix for top-level fractional part
2007-05-25
Sven Verdoolaege
e
v
a
lue
_
read:
f
i
x
f
o
r t
o
p-l
e
vel fractional
part
commit
|
commitdiff
|
tree
2007-05-14
Sven Ve
r
do
o
laege
bernoulli
.
c: Be
r
noulli_sum_evalue: reduce
resu
l
t
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
Sv
e
n V
e
rdoolaeg
e
be
r
nou
l
li
.
c
:
perform nested sums approxima
t
ion d
e
pt
h
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
add polynomial approxi
m
ation
based on ne
s
ted
sums
commit
|
commitdiff
|
tree
2007-05-13
S
ven Verdoola
e
ge
util
.
c:
extract for_each_lowe
r
_u
p
per_bou
n
d
f
rom ParamLine_Length
commit
|
commitdiff
|
tree
2007-05-13
Sven Ver
d
oolae
g
e
deco
m
pos
e
r: use
N
TL to invert matrix rathe
r
t
h
a
n
c
o
nvering
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoola
e
g
e
lattice_
p
oint
.
cc: allow ray
s
a
nd ver
t
ex
to ha
v
e
been
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdool
a
ege
counter: o
p
timize sum
m
ing
o
ver p
o
in
t
s in fund
a
pi
p
ed
commit
|
commitdiff
|
tree
2007-05-13
Sven V
e
rdoola
e
g
e
la
t
tice_
p
oint
.
cc: avoi
d
conve
r
sion bet
w
een NTL and
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sve
n
Verdoolaege
conversion
.
cc: rem
o
ve rays2matrix
commit
|
commitdiff
|
tree
2007-05-13
Sven Verd
o
olaege
evalue
.
c: eva
l
u
e_po
l
ynomial extracted from barvinok
.
c
c
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaeg
e
e
v
alue
.
c: add eva
l
u
e_
n
eg
a
te
commit
|
commitdiff
|
tree
2007-05-13
Sv
e
n Verdoo
l
a
ege
doc: a
note
on th
e
connection b
e
tw
e
e
n Todd polyn
o
mials
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
S
ve
n
V
e
r
d
oolae
g
e
d
oc: points in fu
n
dapiped: fix t
y
po
commit
|
commitdiff
|
tree
2007-05-10
Sve
n
Verdoolae
g
e
barvinok
.
cc: simplify dpo
l
y_n constructor
commit
|
commitdiff
|
tree
2007-05-10
Sven V
e
rdoolaege
R
e
move
"
n
o
r
malization" or power
s
in denom
i
nator
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-05-09
Sven Verd
o
olaege
decompose
r
.
cc
:
p
ass optio
n
s to triangulate_cone
commit
|
commitdiff
|
tree
2007-05-08
S
v
e
n Verdoolaeg
e
b
arvinok_count: optionally use
exponen
t
ial su
b
s
titution
commit
|
commitdiff
|
tree
2007-05-08
Sven
V
erdoolaege
counter
.
cc: ex
t
racted
f
rom barvinok
.
cc
commit
|
commitdiff
|
tree
2007-05-08
S
v
en Verdo
o
laege
d
poly::div: avoi
d
comp
u
tation with
r
ationa
l
numbers
.
.
.
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoolaege
dpol
y
:
u
s
e Value inst
e
ad of ZZ
commit
|
commitdiff
|
tree
2007-05-08
Sven V
e
rdo
o
l
a
ege
doc: fix typo
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Verdoola
e
ge
add te
s
t for latt
i
ce poin
t
compu
t
ati
o
n
commit
|
commitdiff
|
tree
2007-05-02
S
ven Verdo
o
l
a
e
ge
evalue_read
.
c: add evalue_read_fr
o
m_str for reading
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoola
e
ge
evalue_
r
ead_from_
f
ile:
d
on't modify var_list
argume
n
t
commit
|
commitdiff
|
tree
2007-05-02
Sven Verd
o
ola
e
ge
evalue_read: r
e
ad
m
ore general evalue
s
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
oolae
g
e
eva
l
ue_
c
onve
r
t
.
cc: ad
d
missing include
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
conversion
.
h: genera
l
ize rays2matrix2 to
z
z2matrix
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaeg
e
lattice_poi
n
t
.
h: m
a
ke self-conta
i
ne
d
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
evalu
e
_read: e
x
tra
c
t from
maximize
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdo
o
laege
enumer
a
tor: s
u
pp
o
rt
primal (half-open) decompositions
commit
|
commitdiff
|
tree
2007-05-02
S
ven Verdoolaege
e
numerator: handle (dual
)
s
t
opped
B
a
r
vin
o
k decomposition
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Ve
r
doolaege
lat
t
ice_point
.
cc
:
re
m
ove unus
e
d PD argument
commit
|
commitdiff
|
tree
2007-05-02
Sven Ve
r
d
oolaege
lat
t
ice_point
.
cc: extract
c
os
e
t
generation
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdool
a
eg
e
lattice_poi
n
t
.
cc: rename
c
eil_
m
od
t
o fractional_part
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erdoolaege
l
a
ttice_point
.
cc:
u
s
e
some he
l
pe
r
functions to simplify
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
lattic
e
_
poi
n
t
.
cc: im
p
lemen
t
lookup
-
t
a
ble ve
r
sion in
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
move more
l
attice point computat
i
ons to lattice_point
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sven Verd
o
olaege
barvinok
.
cc: lattice_point: remove
a
special case
commit
|
commitdiff
|
tree
2007-05-02
S
ven V
e
rdoolaege
d
oc: in
t
eger points in fundamental parallelepiped:
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdool
a
ege
ut
i
l
.
c:
ex
p
ort Matrix_Transposition
commit
|
commitdiff
|
tree
2007-05-02
S
ven Verdoolaege
u
til
.
c: export Ve
c
tor_
O
ppose
commit
|
commitdiff
|
tree
2007-05-02
Sven V
e
rdoolaeg
e
scal
e
.
c:
m
ove Param_Verte
x
_
Common_Denominator to
p
aram_uti
l
.
c
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Ver
d
o
o
l
aege
e
value
.
c: add evalue_add_co
n
stant
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verdool
a
ege
evalue
.
c
: affine2e
v
a
lue: skip zero
c
o
e
ff
i
cien
t
s
commit
|
commitdiff
|
tree
2007-05-02
Sven V
e
rdo
o
l
a
ege
evalu
e
.
c
:
emul
_
p
oly: effi
c
ie
n
tly handl
e
ca
s
e
of mult
i
plicati
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sve
n
Ve
r
doolaege
bump ve
r
sion
commit
|
commitdiff
|
tree
2007-04-28
Sv
e
n
Verdoo
l
aege
doc
:
update options and
some functi
o
n
commit
|
commitdiff
|
tree
2007-04-28
Sven
V
erdoolaege
doc: doc
u
ment v
o
l
u
m
e comp
u
tat
i
on
commit
|
commitdiff
|
tree
2007-04-28
Sven V
e
r
d
o
olaege
doc: more reports explaining parts o
f
ba
r
v
inok
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdool
a
ege
bernste
i
n: bu
m
p versi
o
n
commit
|
commitdiff
|
tree
2007-04-28
Sven
Verdoolaege
do
c
:
t
ransformation of pa
r
ameter doma
i
n to have
r
e
vlex
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Ve
r
doolaege
barvinok
.
cc:
barvinok_count_f:
a
void war
n
ing on
r
ecursi
v
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
S
v
en V
e
r
d
oolae
g
e
util
.
c: unimodular_
c
omplete:
handle c
o
mpletion of m
o
r
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdo
o
laege
b
ar
v
inok_
e
numera
t
e
.
cc:
hand
l
e
a
ll
li
n
es in --series
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
S
ve
n
Verdoolaege
b
a
r
vinok_en
u
merate
.
cc: serie
s
:
p
l
u
g
mem
o
ry l
e
ak
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolae
g
e
doc: document left_inverse
commit
|
commitdiff
|
tree
2007-04-26
Sven Ve
r
d
o
olaege
doc: remove reference to old barv
i
n
ok
_
seri
e
s
a
pplicati
o
n
commit
|
commitdiff
|
tree
2007-04-26
Sven Verd
o
ol
a
ege
do
c
: update evalue_bernst
e
in_c
o
e
f
ficients
commit
|
commitdiff
|
tree
2007-04-26
Sve
n
Verdoolaeg
e
barvinok/o
p
tions
.
h: put st
a
ts first in barv
i
nok_options
commit
|
commitdiff
|
tree
2007-04-25
S
v
en Verdoolaege
barvinok_max
i
m
ize: re
a
d
_evalue: su
p
por
t
rela
t
ions
commit
|
commitdiff
|
tree
2007-04-25
Sven Ver
d
oolaege
bernstein
.
cc: evalue
_
bernstein_coef
f
icie
n
ts: h
a
n
d
le
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven
V
erdoolaeg
e
barvinok_maximiz
e
: e
v
alue_read: allow
identifiers to
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven
V
erd
o
olaege
barvinok_maximize: move --(bernste
i
n-)recurse
o
pti
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sve
n
Verdoolaege
lib/argp: fix l
o
g
i
c in hol_cl
u
s
ter_cmp
commit
|
commitdiff
|
tree
2007-04-25
S
v
en Verdoola
e
ge
barvino
k
_ma
x
imize: allow specification of the variables
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
S
ven Ve
r
d
o
olaege
b
arvinok_maximize: barf
on
unexpected first
t
o
ken
commit
|
commitdiff
|
tree
2007-04-23
Sv
e
n Verd
o
olae
g
e
do
c
: more d
o
cuments
refering to the
l
i
br
a
ry
commit
|
commitdiff
|
tree
2007-04-23
Sven Verd
o
olaege
evalue_convert
.
c
c: evalue_c
o
set: sup
p
o
r
t relations
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoo
l
aege
evalue
.
c: print_
e
value: always p
r
int
ne
w
l
ine at the end
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
d
o
c: multivariat
e
quasi-pol
y
nom
i
als as lists of p
o
lyn
o
mials
commit
|
commitdiff
|
tree
2007-04-23
S
v
en Verdoolaege
e
v
alu
e
_
c
onvert
.
cc:
i
nclude "config
.
h
"
t
o
pick
u
p USE_FDSTREA
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
S
v
en Verdoolaege
doc:
ind
e
x additions
commit
|
commitdiff
|
tree
2007-04-23
Sve
n
V
erdoolaege
doc: t
r
iang
u
la
t
i
on in
p
rimal sp
a
ce + so
m
e typo f
i
xes
commit
|
commitdiff
|
tree
2007-04-23
Sven Ver
d
oo
l
aege
doc: docum
e
nt inner_p
o
i
n
t
commit
|
commitdiff
|
tree
2007-04-23
Sven Ve
r
doo
l
aege
doc: ref
e
r to Ko
e
ppe articl
e
for
simpler
m
otivati
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
d
o
c: more
p
ub
l
ications (implicitl
y
)
re
f
ering to t
h
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
S
ve
n
Verdool
a
ege
configure
.
in: add $(EXEEXT) t
o
opti
o
nal programs for
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
Sven Ve
r
d
o
olaeg
e
Makefile
.
am:
m
a
k
e sure
d
ist
r
ibut
i
on contain
s
r
e
quired
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdool
a
e
g
e
work around inc
o
mplete namesp
a
ce su
p
po
r
t in old compilers
commit
|
commitdiff
|
tree
2007-04-19
Sven Ve
r
do
o
laege
disable so
m
e featu
r
es if fd
s
tream doesn't com
p
ile
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
barvinok_enumerate
.
cc: avoid use of fdstream
commit
|
commitdiff
|
tree
2007-04-19
S
v
en Ver
d
oolaege
b
ar
v
ino
k
_enumer
a
te: d
o
n't print (non-
e
xis
t
in
g
) evalue
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Ve
r
doolaege
edom
a
in
.
cc: avoid
u
se
o
f
f
ds
t
ream
commit
|
commitdiff
|
tree
2007-04-19
S
ve
n
Verdoolaege
configur
e
.
in:
c
hec
k
for polylib
/
polylibgmp
.
h
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoola
e
ge
declare var
i
abl
e
at start of code block
.
commit
|
commitdiff
|
tree
2007-04-18
S
ven
V
erdoo
l
aege
M
a
k
e
file
.
am: rebuil
d
lib
r
a
ries in subdirs
if m
i
s
sing
commit
|
commitdiff
|
tree
2007-04-18
Sven Verdoolaege
barvinok_enumerate: rech
e
ck for equalit
i
es
a
f
ter "variable
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdoolaege
doc: a
v
oting theor
y
report that refers to the library
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdoolaege
doc: update prim
a
l Ba
r
vinok
r
eference
commit
|
commitdiff
|
tree
2007-04-15
S
ven Verdoolaege
doc: add j
o
urnal version of improved d
e
rivation p
a
per
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdoolaege
volume
.
c
: keep tr
a
ck of numb
e
r of simplices
i
n volume
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
S
v
en Verdoola
e
ge
t
e
s
t
_approx: test volume
comput
a
ti
o
n variation
s
commit
|
commitdiff
|
tree
2007-04-13
S
ven Verdool
a
ege
volum
e
.
c:
volume_tri
a
n
g
u
l
ate: use
vertex in
s
te
a
d of
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolae
g
e
v
o
lume
.
c: face_vert
i
ces
:
u
s
e
Param_I
n
ne
r
_
P
roduct
commit
|
commitdiff
|
tree
2007-04-12
S
ven
V
e
rdoolaege
Call se
t
_
p
rogr
a
m_name before
c
alling argp
_
p
arse
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Ve
r
doo
l
aege
reduce_domain: exploit that no
c
aller uses Polyhedron2Param_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n Verdoolaege
lexmin: stop
using Polyhedron2Param_Sim
p
lifiedDomain
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
Verdoolaege
ba
r
v
i
nok
.
cc: stop
u
sing Polyhedron2Param_Si
m
plifiedDomain
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
Require a ve
r
s
i
on of PolyLib that computes corre
c
t
.
.
.
commit
|
commitdiff
|
tree
next