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
doc: add some hidden sections to table of contents
2007-05-25
Sven Verdoolaege
a
dd barvinok_summate to sum
a qua
s
i-polyno
m
ial over
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven V
e
rdoo
l
aege
e
va
l
ue_rea
d
: fix for top-le
v
el fractional part
commit
|
commitdiff
|
tree
2007-05-14
Sven Ve
r
doola
e
ge
bernoulli
.
c: Bernoulli_sum_eval
u
e: reduce resulting
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
Sven Verdoolaege
berno
u
lli
.
c: perform nes
t
ed sums appro
x
ima
t
ion d
e
pth
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
S
ven Verdoolaege
add polynomial appro
x
imati
o
n
base
d
o
n
nested
sums
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoola
e
ge
util
.
c:
e
xtract for_each_
l
ower_u
p
p
e
r_bo
u
nd from ParamLine_Length
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdo
o
l
aege
d
e
co
m
poser: use NTL to i
n
ve
r
t mat
r
ix rather th
a
n
converi
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven
V
erdoolaege
lattice_poin
t
.
cc: al
l
ow rays
a
nd vertex
to hav
e
b
e
en
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven
V
erdoolaege
c
o
unter: optimize
s
umming over poi
n
ts in funda
p
i
p
e
d
commit
|
commitdiff
|
tree
2007-05-13
S
ven Verdoolaege
lat
t
ice_point
.
c
c
:
a
void conversion between NTL
and
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven V
e
rdoola
e
g
e
convers
i
o
n
.
cc: remove rays2mat
r
ix
commit
|
commitdiff
|
tree
2007-05-13
Sven
V
e
rdoolaege
evalue
.
c: evalue_polynomial e
x
tracted fr
o
m
b
arvinok
.
cc
commit
|
commitdiff
|
tree
2007-05-13
S
ven Verdo
o
l
a
e
g
e
evalue
.
c: add eva
l
ue_negate
commit
|
commitdiff
|
tree
2007-05-13
S
v
en Verdoolaege
d
oc: a not
e
on th
e
connecti
o
n between Tod
d
p
o
l
y
nomials
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
S
ven Verdoolaege
doc: po
i
nts in fundapiped: fi
x
t
y
po
commit
|
commitdiff
|
tree
2007-05-10
Sven
V
er
d
oolaege
barvinok
.
c
c
: simplify dpo
l
y_n constructor
commit
|
commitdiff
|
tree
2007-05-10
Sve
n
Verdoolaege
Remove "no
r
malizat
i
o
n
"
o
r po
w
ers
in denomin
a
tor on
.
.
.
commit
|
commitdiff
|
tree
2007-05-09
Sven Verdoolaege
dec
o
mpose
r
.
cc: pa
s
s optio
n
s to
tr
i
angulate_co
n
e
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoolaege
barvi
n
ok_count: op
t
ionally
u
s
e expo
n
e
n
tial subs
t
itution
commit
|
commitdiff
|
tree
2007-05-08
Sve
n
V
e
rdoolae
g
e
counter
.
c
c
:
ext
r
a
c
t
ed from barvinok
.
cc
commit
|
commitdiff
|
tree
2007-05-08
S
ven
Ve
r
doolaege
dpoly:
:
div:
avoid computation wit
h
rationa
l
numbe
r
s
.
.
.
commit
|
commitdiff
|
tree
2007-05-08
Sven V
e
rd
o
olae
g
e
dp
o
ly: use V
a
l
ue ins
t
ead of ZZ
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoolaege
doc:
fix typo
commit
|
commitdiff
|
tree
2007-05-02
Sven V
e
rdoolae
g
e
add test for la
t
t
ice point co
m
putation
commit
|
commitdiff
|
tree
2007-05-02
S
ven Verdo
o
laege
eva
l
ue_read
.
c: add evalu
e
_read
_
from_str for
r
eadin
g
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verdoolaege
evalue_
r
ea
d
_from
_
file: don't mo
d
ify var_list
arg
u
me
n
t
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolae
g
e
e
v
alue_read: read mo
r
e ge
n
eral evalues
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erdoolaege
evalue
_
con
v
ert
.
cc: add missing include
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaeg
e
co
n
version
.
h
:
gene
r
alize ray
s
2matrix2 to zz2
m
atrix
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoola
e
ge
la
t
t
i
c
e_p
o
in
t
.
h: make se
l
f-contained
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdool
a
ege
evalue_read: extract from maxim
i
ze
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
enumerator: suppor
t
primal (h
a
lf-open) decom
p
ositions
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdo
o
laege
e
n
u
me
r
ator:
handle (dual)
s
t
opped
Bar
v
i
n
ok decomposition
commit
|
commitdiff
|
tree
2007-05-02
Sven Verd
o
ol
a
ege
lattice_poin
t
.
cc: re
m
o
v
e unused PD argument
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verdoolaeg
e
lattice_point
.
cc: extract coset gen
e
r
a
tion
commit
|
commitdiff
|
tree
2007-05-02
Sven Ve
r
d
oolaege
lattice_
p
oin
t
.
cc:
r
ename ceil_mod t
o
fractional_par
t
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erdool
a
ege
latti
c
e_
p
oint
.
cc:
u
se s
o
m
e
helpe
r
f
unctio
n
s to si
m
plify
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n
Verd
o
olaeg
e
lattice_point
.
cc: impleme
n
t
lookup-
t
able vers
i
on
in
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erdoolaege
mo
v
e mor
e
latt
i
ce
p
oint comp
u
tations to lattice_
p
oint
.
cc
commit
|
commitdiff
|
tree
2007-05-02
S
ven Ve
r
doolaege
barvinok
.
cc: lattice_point: remove a sp
e
cial cas
e
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erd
o
o
l
aege
doc: i
n
teger points in fundamental parallelepiped:
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
util
.
c: export
M
atrix_Trans
p
os
i
t
ion
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoo
l
aege
uti
l
.
c
:
e
x
p
ort Vector
_
Oppose
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
scale
.
c: move Par
a
m_Verte
x
_Common_Denominator to
p
a
r
am
_
util
.
c
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verdoolaege
evalue
.
c
: add evalu
e
_add_c
o
nstant
commit
|
commitdiff
|
tree
2007-05-02
S
ven Verdoolaege
evalue
.
c: affine2e
v
a
lue: sk
i
p zero coefficients
commit
|
commitdiff
|
tree
2007-05-02
S
v
en V
e
rdoolaege
evalue
.
c: emul_poly:
efficiently handle case of multiplicati
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
bump ver
s
i
on
commit
|
commitdiff
|
tree
2007-04-28
S
v
en Verdoolaege
doc:
up
d
ate options
and some f
u
nctio
n
commit
|
commitdiff
|
tree
2007-04-28
Sv
e
n Verdo
o
lae
g
e
doc: do
c
ument volume compu
t
ation
commit
|
commitdiff
|
tree
2007-04-28
S
ven Verd
o
ol
a
e
g
e
doc: more
re
p
o
r
ts
e
xp
l
ai
n
ing parts of ba
r
v
inok
commit
|
commitdiff
|
tree
2007-04-28
Sve
n
Verdoolaege
b
e
rnstei
n
: bump
v
ersi
o
n
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoo
l
aege
d
o
c: transf
o
rm
a
tion of parameter domain
t
o
h
ave rev
l
ex
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sv
e
n
Ve
r
doola
e
ge
barvi
n
ok
.
cc: bar
v
in
o
k_count_f: avoid warning on recursive
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
S
v
en Verdoolaege
util
.
c:
u
nim
o
dular_comple
t
e: han
d
le completion
o
f more
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven Ve
r
d
oolaege
barvinok_enumerate
.
cc:
handle all
l
i
nes in --series
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven
V
erdoola
e
ge
barv
i
nok_enumerate
.
cc
:
ser
i
es: p
l
ug memory leak
commit
|
commitdiff
|
tree
2007-04-26
Sven
Verdoolae
g
e
doc: docume
n
t left_inverse
commit
|
commitdiff
|
tree
2007-04-26
Sv
e
n Verdoolaeg
e
doc: remove refe
r
en
c
e to ol
d
barvinok_series application
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
d
o
c: u
p
date e
v
alue_bernstein_coef
f
icients
commit
|
commitdiff
|
tree
2007-04-26
S
ven Verdo
o
laeg
e
barv
i
nok/options
.
h: put st
a
ts
f
irst i
n
barvinok_options
commit
|
commitdiff
|
tree
2007-04-25
S
ven Ve
r
doolaege
barvinok_maximize: read_evalue: support relations
commit
|
commitdiff
|
tree
2007-04-25
Sven
V
er
d
oolaege
bern
s
tei
n
.
c
c
:
e
v
a
lue_bernstei
n
_coe
f
fic
i
ents: handle
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
barvinok_maximize:
e
value_read: allow identifiers to
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolae
g
e
barvi
n
ok_maximize: m
o
ve --(
b
ernste
i
n-)r
e
curse option
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
l
i
b
/
argp: fix logic
i
n hol_
c
luster_cm
p
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoo
l
aege
bar
v
inok_maxi
m
ize: allow spe
c
ificat
i
on of the variables
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoo
l
aege
barvinok_max
i
miz
e
:
b
ar
f
on unexpect
e
d first token
commit
|
commitdiff
|
tree
2007-04-23
S
v
e
n
Verdoolaege
do
c
: more
d
o
cuments refer
i
ng to
the library
commit
|
commitdiff
|
tree
2007-04-23
Sv
e
n Verdoolaege
eva
l
ue_conve
r
t
.
c
c
: e
v
alue
_
coset: support relations
commit
|
commitdiff
|
tree
2007-04-23
S
ven Verdoolaege
evalue
.
c: print_e
v
alue: always print newline at the end
commit
|
commitdiff
|
tree
2007-04-23
Sven
Verdoo
l
aeg
e
doc: multiva
r
iate q
u
a
si-pol
y
nomi
a
ls
as l
i
sts of polynomials
commit
|
commitdiff
|
tree
2007-04-23
Sven Verd
o
olaege
e
valu
e
_convert
.
cc:
includ
e
"config
.
h
"
t
o
pic
k
up USE
_
FDST
R
EA
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoo
l
aege
do
c
: in
d
e
x
a
d
ditions
commit
|
commitdiff
|
tree
2007-04-23
S
v
en Verdoolaeg
e
doc: tr
i
a
n
gulation in
primal space + some typo fixes
commit
|
commitdiff
|
tree
2007-04-23
S
ven Verdoolaege
doc
:
d
o
cument inner_poin
t
commit
|
commitdiff
|
tree
2007-04-23
Sve
n
V
erdo
o
lae
g
e
doc: re
f
er
t
o Koeppe a
r
ticle for simple
r
motivation
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolae
g
e
doc: more
p
u
blic
a
tions (
i
mplic
i
tly) refering to the
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
Sven Ver
d
oolaege
c
o
nfigure
.
in: add $(E
X
EEXT) to
optional programs
for
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
Sve
n
Verdoolaege
Makefi
l
e
.
am: m
a
ke sure distribution contains requir
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven
V
e
rdoolaege
work around inc
o
mplete namespace suppo
r
t in old
compilers
commit
|
commitdiff
|
tree
2007-04-19
S
ven Verdoolaege
d
i
sable some features if fdstream doesn't
compile
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdo
o
la
e
ge
barv
i
no
k
_enumerate
.
cc:
a
void use of fdstream
commit
|
commitdiff
|
tree
2007-04-19
S
v
en
Ver
d
ool
a
eg
e
barvinok_enu
m
erate: don
'
t print
(non-exist
i
ng) evalu
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven
V
er
d
oolae
g
e
edomain
.
cc: avoid
use of fdstream
commit
|
commitdiff
|
tree
2007-04-19
Sven V
e
rdoolaeg
e
configure
.
in: check
for po
l
ylib/polyli
b
gmp
.
h
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
declare variable at sta
r
t
of
code block
.
commit
|
commitdiff
|
tree
2007-04-18
Sven Verdoolaege
Makefi
l
e
.
am: r
e
build libraries in subdirs
i
f
m
i
ssing
commit
|
commitdiff
|
tree
2007-04-18
Sv
e
n
Verdoolaege
ba
r
vinok_enum
e
rate: recheck
for eq
u
alities after
"varia
b
le
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdoolaege
doc: a
v
oting theory re
p
o
rt that r
e
fers to the library
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdoola
e
ge
d
oc: update primal Barvinok reference
commit
|
commitdiff
|
tree
2007-04-15
Sven Ver
d
oo
l
aege
doc:
a
d
d jou
r
nal v
e
r
s
io
n
o
f
improved der
i
vation paper
commit
|
commitdiff
|
tree
2007-04-13
S
ven Verd
o
olaege
v
olume
.
c: keep trac
k
of
n
umber of simplices i
n
v
o
lume
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
Sven
V
e
rdoolaege
test_approx: tes
t
volu
m
e computation var
i
a
t
ions
commit
|
commitdiff
|
tree
2007-04-13
Sv
e
n
Verd
o
ol
a
e
ge
vo
l
ume
.
c:
v
ol
u
me
_
t
r
i
a
n
gula
t
e: use
v
ertex instead of
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Ver
d
oola
e
ge
vol
u
me
.
c: face_ve
r
tic
e
s: use
P
aram_I
n
n
er_Prod
u
ct
commit
|
commitdiff
|
tree
2007-04-12
S
v
en
Verdoolaege
C
all se
t
_program_na
m
e be
f
o
r
e ca
l
ling argp_parse
.
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n
Verdoolaeg
e
reduce_d
o
main:
explo
i
t that no caller uses Polyhedro
n
2Param_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
lexm
i
n: stop u
s
i
n
g Po
l
y
h
e
d
ron2Param_SimplifiedDomain
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
b
arvinok
.
cc
:
stop using Polyhedr
o
n2Pa
r
am_SimplifiedDomain
commit
|
commitdiff
|
tree
next