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
barvinok_summate: support verification of results
2007-06-10
Sven Verdoolaege
barvinok_su
m
m
ate: supp
o
rt veri
f
ication of result
s
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoolaege
evalue
.
c
: evalue_s
u
m
:
split int
o
orthants + some refactor
i
ng
commit
|
commitdiff
|
tree
2007-06-10
Sven Ve
r
do
o
la
e
ge
bar
v
inok_union: use ar
g
p f
o
r argument par
s
ing
commit
|
commitdiff
|
tree
2007-06-09
Sven
Verdool
a
ege
barvinok_enumerate_union_seri
e
s_
w
ith_options: fix typ
o
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoo
l
aege
b
a
si
s
_reduction_cdd
.
cc:
g
et correct
d
ual solution in
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoolaege
basis_reduc
t
ion_
g
l
pk
.
c:
c
orrectl
y
s
e
t type o
f
rows
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoolaege
b
asis_redu
c
tio
n
_
gl
p
k
.
c: check for sanity of solution
commit
|
commitdiff
|
tree
2007-06-06
Sven
Ve
r
doolaege
options:
m
ention defau
l
t a
n
d availab
l
e solvers f
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdoolaeg
e
p
olyhedron_sample:
t
ake options
commit
|
commitdiff
|
tree
2007-06-06
S
ven
V
e
rdoolaege
doc: mor
e
abou
t
power s
u
m
s
commit
|
commitdiff
|
tree
2007-06-04
Sven Verdoolaege
do
c
:
t
ypo
commit
|
commitdiff
|
tree
2007-05-30
Sv
e
n Verdoola
e
ge
doc: repea
t
Matthias
'
s
t
op
p
ed Barvinok experiment
s
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven Verd
o
ola
e
ge
a
d
d
b
a
r
v
i
n
o
k
_summate to sum a
q
uasi-p
o
lynomial over
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven
V
er
d
oolaege
e
v
alue_read: fix for t
o
p-l
e
vel
fractional
part
commit
|
commitdiff
|
tree
2007-05-14
Sven
Verd
o
olaege
bernoulli
.
c
: Bernoulli
_
s
u
m_evalue
:
reduce resultin
g
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
Sven Ve
r
doolaege
bernoulli
.
c:
p
erform nested sums a
p
p
r
o
ximation depth
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
ad
d
polyno
m
ial app
r
ox
i
mation ba
s
ed on nes
t
e
d
s
u
ms
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaeg
e
util
.
c: extract for_
e
ach_
l
o
wer_upper_bound from
ParamLine_L
e
ngth
commit
|
commitdiff
|
tree
2007-05-13
Sven V
e
rdoo
l
ae
g
e
d
e
c
o
mpose
r
: use NTL
to
i
n
v
ert matrix ra
t
her than con
v
ering
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven
V
erdoolaege
l
a
ttice_point
.
cc: allow rays a
n
d vert
e
x
to have been
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven
Verd
o
olaege
co
u
nter:
o
ptimize summing over points in f
u
ndapiped
commit
|
commitdiff
|
tree
2007-05-13
Sve
n
V
e
r
doolaege
lattice_point
.
cc:
avoid conversion betwe
e
n NTL and
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoola
e
ge
conversion
.
cc: remov
e
rays
2
matr
i
x
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
e
valu
e
.
c: evalue_p
o
lynomial e
x
tracted from barvinok
.
cc
commit
|
commitdiff
|
tree
2007-05-13
Sv
e
n Verdoola
e
ge
e
v
a
lue
.
c: add evalue_negate
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolae
g
e
d
o
c
: a note
o
n
t
h
e c
o
nne
c
tion
b
etween To
d
d polyno
m
ials
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven
V
erdoola
e
ge
do
c
:
points in fund
a
pipe
d
: fix typo
commit
|
commitdiff
|
tree
2007-05-10
Sven Verdoola
e
g
e
barvinok
.
cc: simp
l
ify dpoly_n c
o
ns
t
ructor
commit
|
commitdiff
|
tree
2007-05-10
Sven V
e
rdool
a
eg
e
Remove "normaliza
t
ion" or
p
owers i
n
de
n
o
mina
t
or
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-05-09
Sven Ver
d
oolaege
decomposer
.
c
c
:
pass
options to
t
ria
n
g
u
late_cone
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoolaeg
e
barvi
n
ok_coun
t
: optionally use
exponentia
l
s
u
b
s
t
itution
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoolaege
c
o
unter
.
cc: extract
e
d
from ba
r
vinok
.
cc
commit
|
commitdiff
|
tree
2007-05-08
S
v
en Verdoolaege
dpoly:
:
d
iv: avoid c
o
mputation with
r
a
tiona
l
numbers
.
.
.
commit
|
commitdiff
|
tree
2007-05-08
Sve
n
Verdoolaege
dpoly: u
s
e Value ins
t
ea
d
of
Z
Z
commit
|
commitdiff
|
tree
2007-05-08
Sven Ve
r
doolaege
d
o
c:
f
ix typo
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
add test f
o
r lattice point comput
a
tion
commit
|
commitdiff
|
tree
2007-05-02
S
ven Verdool
a
ege
evalue
_
read
.
c: ad
d
evalue_r
e
a
d
_from_
s
tr for
r
eading
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verd
o
olaege
e
value_read
_
from
_
f
ile: don't modify var_list argu
m
ent
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verdoolae
g
e
evalue_read
:
r
e
a
d more general evalues
commit
|
commitdiff
|
tree
2007-05-02
S
ven Ver
d
oolaege
e
v
alue_convert
.
c
c
:
ad
d
missing in
c
lu
d
e
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
con
v
ersio
n
.
h: generalize rays2matrix2
to zz2ma
t
rix
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verdo
o
lae
g
e
lat
t
i
ce_
p
oint
.
h
: m
a
ke self-conta
i
ned
commit
|
commitdiff
|
tree
2007-05-02
S
v
e
n Verdool
a
ege
evalue_
r
ead: ex
t
r
a
ct f
r
om
maximize
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Ve
r
doolaege
enumerat
o
r
:
support primal
(hal
f
-
ope
n
) decompositions
commit
|
commitdiff
|
tree
2007-05-02
S
ven
Verdoolaege
e
numerator: handle
(dual) stopped Barvinok decomposition
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verdoolaege
lattice_point
.
cc:
remo
v
e un
u
s
ed PD argument
commit
|
commitdiff
|
tree
2007-05-02
S
v
en
Verd
o
olaege
lattice_point
.
cc: extract coset generation
commit
|
commitdiff
|
tree
2007-05-02
S
ven Verdoo
l
aege
l
att
i
ce_point
.
c
c: rename ceil_mod to fractio
n
al_part
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
e
r
doolaege
latt
i
ce_point
.
c
c: use so
m
e
helper functions to simplify
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verdoolaege
lattice_poin
t
.
cc
:
implem
e
n
t
lookup-
t
ab
l
e ve
r
s
i
on in
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verd
o
olaege
m
o
ve more lattic
e
point computations to lattice_p
o
int
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sven Ve
r
d
oolaege
barvinok
.
cc: lattice
_
point: re
m
ove a s
p
eci
a
l
case
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
oo
l
aeg
e
doc: integer points in fundam
e
ntal p
a
r
a
llel
e
pi
p
ed:
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
S
ven Verd
o
ola
e
g
e
ut
i
l
.
c: export Matrix_Transposition
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
oolaege
util
.
c: e
x
por
t
Vector_Oppos
e
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erdoolaege
scale
.
c:
m
ove Param_Vert
e
x_Com
m
on
_
D
e
nomi
n
a
tor to param_u
t
il
.
c
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolae
g
e
evalue
.
c: add evalue_add_
c
onstant
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erd
o
olaege
e
va
l
ue
.
c: af
f
ine2evalue: skip zero coefficients
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
evalu
e
.
c: emul_poly
:
e
f
fic
i
ently handle case of
mul
t
ip
l
i
c
ati
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven V
e
rdoolaege
bump ver
s
ion
commit
|
commitdiff
|
tree
2007-04-28
S
v
en Verd
o
o
l
a
e
g
e
doc: up
d
ate option
s
and some fu
n
ction
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoo
l
aege
doc: documen
t
vol
u
me com
p
u
tation
commit
|
commitdiff
|
tree
2007-04-28
Sven Ver
d
o
o
l
a
ege
d
o
c:
m
o
r
e
repor
t
s expl
a
inin
g
p
a
rts of ba
r
vinok
commit
|
commitdiff
|
tree
2007-04-28
Sven
V
erdoolaege
b
erns
t
ein: bump versi
o
n
commit
|
commitdiff
|
tree
2007-04-28
Sven Verd
o
ola
e
ge
doc:
t
ransformati
o
n of par
a
meter d
o
m
ain to
h
av
e
revlex
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
barvinok
.
cc: barvinok_count_f: avoid warning on recurs
i
v
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sve
n
Verdoolaege
util
.
c: uni
m
odul
a
r_complet
e
: h
a
ndle
c
o
mpletion of
m
ore
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
bar
v
inok
_
enumerate
.
cc: handl
e
all lines in --series
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdo
o
laeg
e
barvino
k
_
e
nume
r
a
te
.
cc: series: p
l
ug memory lea
k
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdool
a
ege
doc:
doc
u
ment l
e
ft_i
n
ver
s
e
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
d
o
c: rem
o
ve refer
e
n
c
e to
o
l
d
b
a
rvinok_
s
eries application
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaeg
e
doc: update evalue_
b
e
r
nst
e
in_coe
f
fi
c
ients
commit
|
commitdiff
|
tree
2007-04-26
Sven Ver
d
oolaege
barv
i
nok/options
.
h: put stats first
i
n barvino
k
_opt
i
ons
commit
|
commitdiff
|
tree
2007-04-25
Sven Ver
d
o
o
l
aeg
e
barvinok_m
a
x
i
mize: read_evalue: support rela
t
io
n
s
commit
|
commitdiff
|
tree
2007-04-25
Sv
e
n Verdoolaege
bernste
i
n
.
cc
:
evalue_bernstein_c
o
efficie
n
t
s
:
ha
n
dle
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sv
e
n Verd
o
olaege
barvinok_maximize: evalue_read: allow i
d
entifie
r
s to
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
b
arvinok_maximize: move --(bernstein-)rec
u
rse o
p
tio
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
lib/argp:
f
ix logic in hol_clus
t
er_cmp
commit
|
commitdiff
|
tree
2007-04-25
Sven
V
erdoolaege
b
a
rvinok_maximize:
a
llo
w
specification of
t
he
variables
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven
V
erdo
o
la
e
ge
barvinok_maximize: barf on unexpected f
i
r
s
t t
o
ken
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdool
a
e
ge
doc: more
docum
e
n
ts r
e
fering to t
h
e
library
commit
|
commitdiff
|
tree
2007-04-23
S
ven Verdoolaege
evalu
e
_convert
.
cc: evalue_c
o
s
e
t
:
s
upport relations
commit
|
commitdiff
|
tree
2007-04-23
Sven Ve
r
doolaege
evalue
.
c
: print_eval
u
e: always pr
i
nt
n
ewlin
e
at the end
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
doc: multivariat
e
qua
s
i
-polynom
i
als as lists of p
o
l
y
nomials
commit
|
commitdiff
|
tree
2007-04-23
Sv
e
n
Verdoolaege
evalue_convert
.
cc
:
include "con
f
ig
.
h" to pick up USE_FDS
T
REA
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sv
e
n Verdo
o
laege
doc: index add
i
ti
o
ns
commit
|
commitdiff
|
tree
2007-04-23
Sven Verd
o
o
laege
doc: triangulation i
n
prim
a
l spac
e
+ some typo fixes
commit
|
commitdiff
|
tree
2007-04-23
Sven Verd
o
olaege
doc: d
o
c
u
ment inne
r
_
p
o
int
commit
|
commitdiff
|
tree
2007-04-23
Sv
e
n Ve
r
doolaege
doc: refer to Koeppe art
i
cle
for
s
impler motivation
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
S
v
e
n Ver
d
oolaege
doc: more p
u
blications (imp
l
icit
l
y
)
r
e
fering to the
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
Sven
V
erd
o
olaege
configure
.
in: add $(EXE
E
XT) to optional p
r
ogra
m
s for
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
S
v
e
n
V
e
rd
o
olae
g
e
Makefile
.
am: make sure
distributi
o
n
contains required
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdo
o
laege
work a
r
oun
d
incom
p
let
e
name
s
pace support in old compilers
commit
|
commitdiff
|
tree
2007-04-19
Sven Ve
r
d
o
olaege
d
isable some feat
u
res if fdst
r
eam do
e
sn'
t
compile
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoo
l
aege
barvinok_enumer
a
t
e
.
cc: avoid use o
f
fdst
r
eam
commit
|
commitdiff
|
tree
2007-04-19
Sve
n
Verdoolaege
barv
i
nok_e
n
ume
r
ate: don't print (non-existin
g
) evalue
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdo
o
lae
g
e
edomain
.
cc: avo
i
d use
of fdstream
commit
|
commitdiff
|
tree
2007-04-19
Sven Ve
r
do
o
laege
configure
.
in:
c
hec
k
for polylib/polyli
b
gmp
.
h
commit
|
commitdiff
|
tree
2007-04-19
Sven V
e
rdoolaege
decl
a
re variab
l
e
a
t
start of code block
.
commit
|
commitdiff
|
tree
2007-04-18
Sven Verdool
a
ege
M
a
kefile
.
am: r
e
build l
i
brar
i
es in s
u
bdir
s
if missing
commit
|
commitdiff
|
tree
next