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
add some test sets from cases 2004 and cc 2005 papers
2007-06-07
Sven V
e
rdool
a
ege
bas
i
s_r
e
du
c
t
i
on_cdd
.
cc: g
e
t c
o
rrect dual
s
olution in
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
S
ven Ver
d
oolaege
b
a
sis_reduction_gl
p
k
.
c
:
correctly
s
et type
o
f rows
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven
V
erdoola
e
ge
b
a
sis_redu
c
t
ion_glpk
.
c: c
h
ec
k
for sanit
y
of solution
commit
|
commitdiff
|
tree
2007-06-06
Sve
n
V
e
rdool
a
ege
options: mentio
n
default an
d
available solv
e
rs for
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
S
ven Ver
d
o
o
laege
p
o
l
yh
e
dron_
s
ample:
t
ake option
s
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdoolaege
doc: more about
p
ower sums
commit
|
commitdiff
|
tree
2007-06-04
S
v
en Verdoolaege
doc: typo
commit
|
commitdiff
|
tree
2007-05-30
Sven Verdoolaege
doc
:
repeat Matthi
a
s'
stopped
B
arvin
o
k e
x
perim
e
n
ts
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sve
n
Verdoolaege
a
d
d barvi
n
ok_summate to sum a quasi-p
o
lynomia
l
over
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven Verdoolaege
evalu
e
_read
:
fix
f
or top-lev
e
l
fractio
n
al p
a
r
t
commit
|
commitdiff
|
tree
2007-05-14
Sven Verdoolae
g
e
bernoulli
.
c: Bernoulli_sum
_
evalue:
r
educe resulting
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
Sv
e
n Verdoolaege
berno
u
lli
.
c: perform nested sums approximation de
p
th
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
add polynomial app
r
ox
i
mation ba
s
e
d
on neste
d
sums
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
u
t
i
l
.
c: extract for_
e
a
c
h
_
low
e
r
_upper
_
b
o
und f
r
om ParamLine_Length
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
decomposer: use NTL
t
o
i
n
v
e
rt matrix
rathe
r
th
a
n
c
o
nvering
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
l
a
ttice_po
i
nt
.
cc: al
l
ow ray
s
and vert
e
x to ha
v
e been
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verd
o
olaege
counter
:
optim
i
ze su
m
ming ov
e
r poi
n
t
s in funda
p
iped
commit
|
commitdiff
|
tree
2007-05-13
Sven
V
erdoolaege
latt
i
ce_point
.
cc:
a
void
c
o
nversi
o
n
between NTL and
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
S
v
en
Verdoolaege
conversio
n
.
cc: r
e
move ray
s
2m
a
trix
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdool
a
ege
e
valu
e
.
c: eva
l
ue_polynomial extracted from
b
arvino
k
.
c
c
commit
|
commitdiff
|
tree
2007-05-13
S
v
en
Verdoolaege
evalue
.
c: add eval
u
e_neg
a
t
e
commit
|
commitdiff
|
tree
2007-05-13
Sven Ve
r
doolaeg
e
doc: a no
t
e
on t
h
e connection between T
o
dd
p
olynom
i
a
ls
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
S
ve
n
Verdo
o
l
a
e
g
e
doc
:
points
i
n
f
u
ndapiped: fix typo
commit
|
commitdiff
|
tree
2007-05-10
Sv
e
n
Ve
r
doolaege
barvinok
.
cc
:
simpli
f
y dpoly_n const
r
uctor
commit
|
commitdiff
|
tree
2007-05-10
Sven V
e
r
d
o
olaege
R
e
move "normaliza
t
ion
"
o
r powers
i
n
d
enominat
o
r on
.
.
.
commit
|
commitdiff
|
tree
2007-05-09
Sven Ver
d
oolaege
d
ecomposer
.
cc
:
p
a
ss options t
o
tr
i
angulate_cone
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoolaege
b
ar
v
inok_count: optionally use exp
o
nential subst
i
tution
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoolaege
counter
.
cc: extracted from barvinok
.
cc
commit
|
commitdiff
|
tree
2007-05-08
S
v
en Verdoolaege
dp
o
l
y::d
i
v: av
o
i
d computation with rati
o
n
al
numbers
.
.
.
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdool
a
ege
dpoly: use Value instead of ZZ
commit
|
commitdiff
|
tree
2007-05-08
S
v
en Verdool
a
ege
doc
:
fix typo
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
e
rdoolaege
add test for
lattice
p
oint
c
o
mp
u
tati
o
n
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erdoolae
g
e
evalue_r
e
ad
.
c: add eval
u
e_re
a
d_from_str for reading
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Verdoolaege
evalue_read_from_file:
don't
modify va
r
_list argument
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verdoolaege
evalue_read: r
e
a
d more gen
e
ral eval
u
es
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
evalue_convert
.
cc: add missing include
commit
|
commitdiff
|
tree
2007-05-02
Sven Ve
r
doolae
g
e
c
o
nversion
.
h:
generalize rays2matrix2 to zz2m
a
trix
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verdoolaege
lattice_poin
t
.
h: m
a
ke self-conta
i
n
e
d
commit
|
commitdiff
|
tree
2007-05-02
Sven V
e
rdoolaege
eval
u
e_read: extract from maxi
m
ize
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
e
n
u
m
erator:
support primal (half-open) decompo
s
itions
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
enumerator: hand
l
e (dual) sto
p
ped Barvinok decompo
s
ition
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verdoolaege
l
a
t
t
i
ce_
p
oint
.
cc: remove u
n
used PD argu
m
e
n
t
commit
|
commitdiff
|
tree
2007-05-02
Sven V
e
rdoolaege
latti
c
e_point
.
cc: extrac
t
coset
generation
commit
|
commitdiff
|
tree
2007-05-02
Sven V
e
r
dool
a
e
ge
latt
i
ce
_
p
o
int
.
cc: rename ceil_
m
od to fractional_part
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verdoolaege
l
a
ttice_po
i
nt
.
cc: use some
h
el
p
er functions
to sim
p
lify
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoo
l
a
e
g
e
lattice_point
.
cc:
i
mplem
e
nt lookup-table versio
n
in
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verd
o
olaege
move more lattice point c
o
mputations
to lattice_poi
n
t
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erdoolaege
barvinok
.
cc: lattice_point: remove
a special case
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
e
r
doolae
g
e
doc: integer points in fundamental
paral
l
elepip
e
d:
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
e
rdoolaeg
e
u
t
il
.
c: export Mat
r
ix_
T
r
a
nsposi
t
i
on
commit
|
commitdiff
|
tree
2007-05-02
Sven Ve
r
doolaege
util
.
c: export
V
ector_Oppose
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
scale
.
c:
m
o
v
e Param_V
e
rtex_Common_Denominator to param_u
t
il
.
c
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoo
l
ae
g
e
eva
l
ue
.
c: add evalue_add_co
n
stant
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoola
e
ge
e
value
.
c: affin
e
2eval
u
e: s
k
ip zero coeff
i
cients
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verd
o
o
l
aege
evalue
.
c: emul_po
l
y: ef
f
iciently handle ca
s
e o
f
multip
l
icati
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
bump version
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
doc: updat
e
opt
i
ons
a
nd some fun
c
tio
n
commit
|
commitdiff
|
tree
2007-04-28
Sven
V
e
rdoolaeg
e
doc: doc
u
ment volume
c
o
mputati
o
n
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoola
e
ge
doc: more
reports explaining
p
art
s
of
b
arvi
n
ok
commit
|
commitdiff
|
tree
2007-04-28
Sven
Ver
d
oolaege
be
r
nstein: bump ve
r
sion
commit
|
commitdiff
|
tree
2007-04-28
Sven
Ve
r
d
oolaege
doc:
t
r
ansf
o
rmation of
p
ar
a
m
ete
r
domain
t
o have revl
e
x
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
S
ven
Ver
d
ool
a
ege
barvinok
.
cc:
barvinok_count_f:
avoid wa
r
ning on recursive
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
uti
l
.
c
:
unimodular
_
complete:
h
a
n
d
le completion of more
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
S
v
en V
e
rdoolaege
barvinok_enume
r
ate
.
cc: handle a
l
l lines i
n
--series
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
S
v
en Verdoolaege
ba
r
vinok_enumerate
.
cc: seri
e
s
:
plug memory leak
commit
|
commitdiff
|
tree
2007-04-26
Sven
Verdool
a
e
ge
doc:
d
o
cu
m
ent left_inv
e
rse
commit
|
commitdiff
|
tree
2007-04-26
Sven V
e
rd
o
o
l
a
ege
doc:
remove reference
to old barvi
n
ok_series appli
c
ation
commit
|
commitdiff
|
tree
2007-04-26
S
v
e
n
Verdoolae
g
e
doc: update evalue_bern
s
tein_coefficients
commit
|
commitdiff
|
tree
2007-04-26
S
ven Verd
o
olae
g
e
b
a
r
v
inok/options
.
h:
p
ut stat
s
firs
t
in b
a
rv
i
n
o
k
_opt
i
o
n
s
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
b
arv
i
nok_
m
aximize: read_ev
a
lue:
supp
o
rt
rela
t
io
n
s
commit
|
commitdiff
|
tree
2007-04-25
S
v
en Verdoolaege
berns
t
ein
.
cc: e
v
alue_bern
s
tein_coef
f
ici
e
nt
s
: handle
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdool
a
ege
barvinok_
m
aximize: evalue_read: allow identifiers to
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Ve
r
doolaege
bar
v
inok_maximize: move --(b
e
rnst
e
in-)recurs
e
o
p
tion
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Ver
d
oolaege
lib/a
r
gp:
fix logic i
n
hol_cluster
_
cmp
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
barv
i
n
ok_maxi
m
ize: allow spec
i
fication of the
v
a
r
iables
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Ver
d
oo
l
a
e
g
e
barvino
k
_
maxi
m
ize: barf on unexpected first
t
o
ken
commit
|
commitdiff
|
tree
2007-04-23
Sven Verd
o
olaeg
e
d
oc: more document
s
refering
to the l
i
b
r
ary
commit
|
commitdiff
|
tree
2007-04-23
Sven Ve
r
doolae
g
e
evalue_c
o
n
v
e
r
t
.
cc: evalue_
c
oset: support relations
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoo
l
aege
ev
a
lue
.
c
:
p
r
i
n
t_
e
value: always print newline
at the
e
nd
commit
|
commitdiff
|
tree
2007-04-23
Sven Verd
o
olaege
doc: mu
l
ti
v
a
r
iate qua
s
i-polynomials
a
s list
s
o
f polyno
m
ials
commit
|
commitdiff
|
tree
2007-04-23
S
ven Verdoolaege
e
v
a
lue_convert
.
cc: inclu
d
e
"
con
f
ig
.
h" to pick up USE
_
F
D
STREA
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sv
e
n
V
e
rdoo
l
aege
doc: index
addit
i
o
n
s
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaeg
e
doc: tri
a
n
g
u
l
a
tion in primal
space +
som
e
t
y
po fixes
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdo
o
l
aege
doc:
d
ocument inner_
p
oint
commit
|
commitdiff
|
tree
2007-04-23
Sven
Verdoo
l
aeg
e
doc: refer to
K
oeppe article for simpler motivation
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven V
e
rdoolae
g
e
do
c
: more publications
(implici
t
ly) refering
t
o
the
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
Sven
V
e
r
d
o
o
l
aege
config
u
re
.
i
n: add
$(EXEEXT) to opti
o
n
al
p
ro
g
rams
for
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
Sve
n
Verdoolaege
Makefile
.
am
:
make sure distribution contains req
u
ir
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
work around in
c
omplet
e
namespa
c
e
s
u
pp
o
rt in o
l
d
co
m
pile
r
s
commit
|
commitdiff
|
tree
2007-04-19
Sven Ve
r
doo
l
aege
dis
a
ble some
f
eatur
e
s if fdstream does
n
't compile
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven V
e
r
doola
e
ge
b
a
rvino
k
_e
n
u
m
e
ra
t
e
.
c
c: av
o
id use of
f
dst
r
e
am
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaeg
e
barvinok_enumerate: don'
t
print (non
-
existing) evalue
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven
V
e
rdoolaege
edom
a
in
.
cc: avoid use of f
d
stream
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
c
o
nf
i
gure
.
in: check for polyli
b
/polylibgmp
.
h
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
decl
a
r
e
variable at
s
tart of code block
.
commit
|
commitdiff
|
tree
2007-04-18
Sven Verdoolaeg
e
Makefile
.
am:
r
ebuild librarie
s
in subdirs if mis
s
ing
commit
|
commitdiff
|
tree
2007-04-18
Sven
V
erdoolaege
barvinok_enu
m
e
r
ate:
r
echeck for
e
qualities a
f
ter "v
a
r
i
able
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
S
v
en
Verdoolaege
doc: a voting t
h
eory report
that refers t
o
the library
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdoolaege
doc: upda
t
e
p
rimal
B
arvinok reference
commit
|
commitdiff
|
tree
2007-04-15
Sven
V
erd
o
olae
g
e
doc: add journal version
of improved d
e
ri
v
ation paper
commit
|
commitdiff
|
tree
next