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 0.25
2007-06-10
Sven Verd
o
olaeg
e
add
a
tes
t
f
or barvinok_
m
aximize
and barvinok_summate
commit
|
commitdiff
|
tree
2007-06-10
Sve
n
Verdo
o
laege
barvi
n
ok_summate:
s
u
pp
o
rt
verification of
r
e
s
u
l
ts
commit
|
commitdiff
|
tree
2007-06-10
S
ven Verdoola
e
ge
evalue
.
c
:
ev
a
l
ue_sum: spli
t
into orthan
t
s + som
e
refactorin
g
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoolae
g
e
b
a
r
vinok
_
union: use argp for ar
g
u
ment
p
arsing
commit
|
commitdiff
|
tree
2007-06-09
Sven Verdo
o
laege
barvinok_enumer
a
t
e
_
uni
o
n_
s
eri
e
s_wit
h
_op
t
i
o
n
s
: fix typo
commit
|
commitdiff
|
tree
2007-06-07
Sven
Verdoolaege
basis_reduction
_
cdd
.
cc: get
c
o
rrect dual solution in
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Verd
o
o
l
a
e
ge
b
asis_reduction_glpk
.
c: corre
c
tl
y
set type of rows
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Ver
d
oolaege
basis_reduction
_
gl
p
k
.
c: chec
k
for
s
anit
y
of solution
commit
|
commitdiff
|
tree
2007-06-06
S
ven Verdoolaege
options: mention default
a
nd available solvers
f
or
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdoola
e
ge
p
o
lyhe
d
ron_sample: take options
commit
|
commitdiff
|
tree
2007-06-06
Sve
n
Ver
d
oolaege
d
o
c
:
more about power sum
s
commit
|
commitdiff
|
tree
2007-06-04
Sven Ver
d
o
o
laege
doc:
t
ypo
commit
|
commitdiff
|
tree
2007-05-30
Sven
V
erdoo
l
aege
doc
:
repe
a
t Mat
t
hias' stopped Ba
r
vi
n
ok experiments
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
S
v
en Verdoolaege
a
d
d
b
ar
v
inok_s
u
mm
a
te to sum a quasi-polyn
o
mial ov
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven
V
e
rdoolaege
e
v
alue_read:
fix f
o
r
top-leve
l
fractional
p
a
rt
commit
|
commitdiff
|
tree
2007-05-14
Sven Verdoola
e
ge
bernoulli
.
c: Bernoulli_su
m
_evalu
e
: reduce resu
l
ti
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
S
v
e
n Verdoolaege
bernou
l
li
.
c:
p
e
rform nes
t
ed sums appr
o
xi
m
ation depth
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven
Ve
r
doolaege
add polynomia
l
approximation bas
e
d on n
e
s
t
e
d
sums
commit
|
commitdiff
|
tree
2007-05-13
Sven
Verdoolaege
u
t
il
.
c: ex
t
r
a
ct for_each_lower_u
p
per_boun
d
from Par
a
mLine_Lengt
h
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaeg
e
d
ec
o
mp
o
s
e
r: use NTL to invert matrix rather than convering
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Ver
d
oolaege
la
t
t
i
ce_point
.
cc: allow
ra
y
s and vert
e
x to have been
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
S
v
e
n
Verdool
a
ege
counter: optimize sum
m
i
ng o
v
er point
s
in f
u
ndapi
p
ed
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
l
attic
e
_point
.
cc: avoid conversi
o
n between NTL an
d
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sv
e
n V
e
rdo
o
laege
conversion
.
cc: remove rays2matrix
commit
|
commitdiff
|
tree
2007-05-13
Sve
n
V
e
rdoolaeg
e
evalue
.
c: e
v
al
u
e_
p
o
l
ynomial extracted from bar
v
ino
k
.
cc
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoola
e
g
e
ev
a
lue
.
c: add evalue_negate
commit
|
commitdiff
|
tree
2007-05-13
Sven
Ve
r
d
o
olaege
doc:
a
note on
t
h
e
connection betwee
n
Todd p
o
lynom
i
als
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
S
v
en
Verd
o
ola
e
ge
d
oc:
p
o
ints i
n
fu
n
d
api
p
ed: fix typ
o
commit
|
commitdiff
|
tree
2007-05-10
Sven Verdoolaege
b
a
rv
i
no
k
.
cc: simplify dpoly_n constructor
commit
|
commitdiff
|
tree
2007-05-10
Sven
V
erdoolaege
Re
m
ove
"
normalization
"
or powers in denominator o
n
.
.
.
commit
|
commitdiff
|
tree
2007-05-09
Sven Ve
r
doolaege
decompos
e
r
.
cc: pas
s
o
ptions to triangulate_c
o
ne
commit
|
commitdiff
|
tree
2007-05-08
Sve
n
V
erdoolaege
barvinok_
c
ount: optionally u
s
e exp
o
nential substitutio
n
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoolaege
counter
.
cc: extrac
t
ed from barvinok
.
cc
commit
|
commitdiff
|
tree
2007-05-08
Sven
V
erdoolaege
dpoly::
d
i
v
: avoi
d
computation with
r
ational numbe
r
s
.
.
.
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoolaege
dpoly
:
use Value in
s
tead of ZZ
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoo
l
a
e
ge
doc: fix
t
y
po
commit
|
commitdiff
|
tree
2007-05-02
Sven Ve
r
doolaege
add test for l
a
ttice poi
n
t
computation
commit
|
commitdiff
|
tree
2007-05-02
Sven Ve
r
doolaege
evalue_read
.
c: add evalue_read_from_str
f
or
r
e
a
ding
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
S
v
e
n Ve
r
doola
e
ge
evalu
e
_read_from_file: don't mo
d
ify var_l
i
s
t argume
n
t
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
er
d
oolae
g
e
e
v
alue_r
e
ad: rea
d
more general evalues
commit
|
commitdiff
|
tree
2007-05-02
Sven V
e
rdoolaege
evalue_convert
.
cc: add missing includ
e
commit
|
commitdiff
|
tree
2007-05-02
Sven Verd
o
olaege
conversion
.
h: ge
n
eralize rays
2
matri
x
2
to z
z
2
mat
r
i
x
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
lattice_poi
n
t
.
h: make sel
f
-contai
n
ed
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoola
e
ge
e
value_read: ext
r
a
ct fro
m
m
a
ximize
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verdoo
l
aege
enum
e
rator: suppor
t
pr
i
m
a
l (h
a
lf-open) d
e
composit
i
ons
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
oolaege
enumera
t
or: handle
(d
u
al) stopped Barvin
o
k dec
o
mposition
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdool
a
e
ge
lattice_point
.
cc: remov
e
unused P
D
a
r
gument
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Ver
d
ool
a
ege
l
a
tti
c
e_poin
t
.
cc: extract
c
oset
g
ene
r
a
t
ion
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Verdoola
e
ge
latti
c
e_point
.
cc: rename ceil_mod to
fract
i
o
n
al_part
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erdoolaege
latt
i
ce_point
.
cc: u
s
e some helper
functions to simplify
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erdool
a
ege
lattice_poi
n
t
.
cc: imp
l
em
e
nt lookup-table version i
n
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
m
o
v
e more lattice point com
p
u
t
ation
s
to lat
t
ice_p
o
in
t
.
c
c
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdool
a
ege
ba
r
vino
k
.
cc: lattic
e
_poi
n
t: remove a special cas
e
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
e
rdoolaege
d
o
c: integer poi
n
ts in fu
n
d
amental parall
e
l
e
piped:
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolae
g
e
util
.
c: export Matrix_Tra
n
sposition
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
ut
i
l
.
c:
export
V
e
ctor_Op
p
ose
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
scale
.
c: move Param_Ver
t
e
x_C
o
mmon_De
n
ominator to param_util
.
c
commit
|
commitdiff
|
tree
2007-05-02
Sven
Ve
r
doolaege
e
v
al
u
e
.
c: a
d
d evalue_add_constan
t
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
evalue
.
c
:
affine2evalue: skip zero co
e
fficients
commit
|
commitdiff
|
tree
2007-05-02
Sven
Ve
r
d
o
ol
a
ege
eva
l
ue
.
c:
em
u
l
_po
l
y:
effici
e
ntly han
d
le cas
e
of multi
p
l
i
cati
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
b
um
p
version
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoola
e
ge
doc
:
update options
a
nd
s
ome fun
c
tion
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
d
oc:
document volume computation
commit
|
commitdiff
|
tree
2007-04-28
S
v
e
n V
e
rdoolae
g
e
d
oc:
more
re
p
orts expl
a
ining pa
r
ts
of barvinok
commit
|
commitdiff
|
tree
2007-04-28
Sven V
e
rdo
o
laeg
e
berns
t
ein: bump versio
n
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
doc:
t
ransformation of param
e
t
e
r
d
oma
i
n to have revl
e
x
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdo
o
laege
barvi
n
ok
.
cc: bar
v
in
o
k_coun
t
_f: avoid warning on r
e
cu
r
sive
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoola
e
ge
util
.
c: unimodul
a
r_complete: h
a
ndl
e
c
o
mp
l
eti
o
n
of
more
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolae
g
e
barvinok_enumer
a
te
.
cc: hand
l
e all lines in --series
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoola
e
ge
barvinok_e
n
umera
t
e
.
cc:
se
r
ies
:
p
l
u
g memory l
e
ak
commit
|
commitdiff
|
tree
2007-04-26
S
ve
n
Ver
d
oolaege
doc: document left_inverse
commit
|
commitdiff
|
tree
2007-04-26
S
v
en Ve
r
doolaege
doc: re
m
ove refer
e
n
ce to
old barvinok_series
a
p
plica
t
io
n
commit
|
commitdiff
|
tree
2007-04-26
S
ven Verdoolaege
doc: update evalu
e
_bern
s
t
e
in
_
co
e
ffic
i
e
n
ts
commit
|
commitdiff
|
tree
2007-04-26
Sven Ver
d
oolaege
barvinok/o
p
ti
o
ns
.
h
: pu
t
sta
t
s first in ba
r
vinok_opti
o
n
s
commit
|
commitdiff
|
tree
2007-04-25
Sven Verd
o
ola
e
ge
barvinok_maxim
i
ze: re
a
d
_
evalue: support
r
elations
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdool
a
ege
berns
t
e
in
.
c
c: evalue
_
bern
s
tein_coefficients: handle
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sv
e
n Ver
d
oolaege
b
a
rvin
o
k_max
i
m
ize: evalue_read: allow identi
f
ier
s
to
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoo
l
a
ege
barvinok_maxim
i
ze: move --(
b
e
r
nstein-)recu
r
se opt
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoo
l
aege
lib/a
r
g
p: fix l
o
gic in hol_cluster_cmp
commit
|
commitdiff
|
tree
2007-04-25
Sve
n
Verdoolaege
b
a
rvinok_maximize
:
allow s
p
ecification of the variable
s
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaeg
e
ba
r
v
i
nok_max
i
mize: barf
o
n
u
n
expected
f
i
r
st to
k
e
n
commit
|
commitdiff
|
tree
2007-04-23
Sven Verd
o
o
laege
doc: mor
e
documents refering to
the lib
r
a
r
y
commit
|
commitdiff
|
tree
2007-04-23
Sve
n
Ve
r
doola
e
ge
e
v
al
u
e
_
convert
.
cc: eva
l
ue_coset:
suppor
t
r
e
lation
s
commit
|
commitdiff
|
tree
2007-04-23
S
v
e
n
Verdoolaege
e
v
alue
.
c: p
r
int_evalue: always pri
n
t newline
at th
e
end
commit
|
commitdiff
|
tree
2007-04-23
S
v
en Verdoo
l
aege
doc:
m
ul
t
ivariate quasi-poly
n
om
i
als
a
s
lists
of polynomia
l
s
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
evalue_convert
.
cc:
include "config
.
h
" to pick up US
E
_FDSTREA
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sv
e
n
Verdoolaeg
e
doc:
i
ndex addit
i
ons
commit
|
commitdiff
|
tree
2007-04-23
Sven Ve
r
doolaege
d
oc: triangul
a
ti
o
n in
p
ri
m
al spa
c
e + some typo fixes
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdo
o
laege
doc: doc
u
ment inner
_
poin
t
commit
|
commitdiff
|
tree
2007-04-23
S
v
en Verdool
a
ege
d
oc: re
f
e
r
t
o
Koeppe arti
c
le for simp
l
er motivation
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdool
a
e
ge
d
oc: more publications
(
i
m
plicitly) r
e
fering to the
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
Sven
V
erdoolaege
configure
.
in: ad
d
$(
E
XEEXT) to optional
p
rogr
a
m
s for
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
S
v
en Verdo
o
l
aege
Makefile
.
am:
make sure distrib
u
tion contains requi
r
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sv
e
n Verdoo
l
ae
g
e
work aroun
d
incomplet
e
namesp
a
ce suppor
t
in old compilers
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdool
a
ege
d
isable so
m
e feature
s
i
f f
d
stream does
n
'
t com
p
ile
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
barvi
n
ok_
e
numerate
.
cc: avo
i
d use of fdstream
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
barvi
n
ok_enumerate
:
don
'
t print (n
o
n-existing) eval
u
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
edom
a
i
n
.
cc: avoid use of fdstr
e
am
commit
|
commitdiff
|
tree
2007-04-19
Sven V
e
rd
o
olaeg
e
c
o
nfigure
.
in: c
h
eck for
polylib/polylibgmp
.
h
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
declare v
a
riable at start of code bl
o
ck
.
commit
|
commitdiff
|
tree
next