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
mate
:
suppo
r
t verificati
o
n o
f
re
s
ults
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoolaege
evalue
.
c: evalue_sum
:
spli
t
into orthant
s
+ some
r
e
factoring
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoolaege
barvi
n
ok_union: use argp for argument pa
r
sin
g
commit
|
commitdiff
|
tree
2007-06-09
Sven
Verdoolae
g
e
barvin
o
k_
e
numerate_un
i
o
n
_series_with_options:
f
ix typo
commit
|
commitdiff
|
tree
2007-06-07
Sven
V
erdoo
l
aege
b
asis_
r
edu
c
tion
_
cdd
.
cc: get cor
r
ec
t
d
ual solutio
n
in
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
S
v
en Ver
d
oolaege
basis_r
e
d
u
ction_g
l
p
k
.
c
: correctly set
t
yp
e
of rows
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoolaege
basis_re
d
u
ction
_
glpk
.
c:
c
he
c
k f
o
r
san
i
ty o
f
solution
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdoolaege
options:
m
ention default and av
a
ilable solvers for
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdoolaege
polyhedro
n
_sa
m
pl
e
: take opti
o
ns
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdoo
l
aege
doc: mor
e
about power su
m
s
commit
|
commitdiff
|
tree
2007-06-04
Sven V
e
rdoo
l
a
e
ge
d
o
c: typo
commit
|
commitdiff
|
tree
2007-05-30
Sven Verdoolaege
doc: repeat Matthi
a
s'
s
t
opped
Barvinok experiments
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven
V
erdoolaege
ad
d
barvinok_summate t
o
sum a
qua
s
i-
p
olyno
m
ial
over
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven Ver
d
oolaege
evalue_read: f
i
x for
top-l
e
vel fractional part
commit
|
commitdiff
|
tree
2007-05-14
Sv
e
n Verdool
a
ege
bernoull
i
.
c:
B
erno
u
lli_su
m
_evalue: redu
c
e re
s
u
lting
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
Sven Verdoolaege
bernoulli
.
c
: perform nes
t
ed sums appr
o
xi
m
ation depth
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
add polynomial appr
o
ximation
b
ased on
n
ested sums
commit
|
commitdiff
|
tree
2007-05-13
Sven V
e
rdoolaege
util
.
c
:
extract for_each_lo
w
er_
u
p
p
er_bound from Par
a
mLine_Length
commit
|
commitdiff
|
tree
2007-05-13
S
ven Verdoo
l
aege
de
c
omp
o
s
er: us
e
NTL to invert matrix
r
a
ther tha
n
conver
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
lattice
_
poin
t
.
cc: allow
r
ays
and vertex
to have been
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sve
n
Verdoolaege
counter: optimi
z
e
s
u
mmin
g
over points in fund
a
p
i
ped
commit
|
commitdiff
|
tree
2007-05-13
Sv
e
n Verdoolaege
lattice_poi
n
t
.
cc:
a
void conversion between NTL a
n
d
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
conversion
.
cc
:
remov
e
rays2matrix
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
evalue
.
c: e
v
alu
e
_polyno
m
ial e
x
tra
c
ted from barvinok
.
cc
commit
|
commitdiff
|
tree
2007-05-13
Sven Ver
d
oolaege
ev
a
lue
.
c
: add evalue_ne
g
ate
commit
|
commitdiff
|
tree
2007-05-13
Sve
n
Verd
o
ol
a
ege
doc: a n
o
te
on the connecti
o
n
b
e
t
w
e
en Todd po
l
ynomials
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven
V
erdoola
e
ge
doc:
p
oints
i
n funda
p
iped: fix
typo
commit
|
commitdiff
|
tree
2007-05-10
S
v
en Verd
o
olaege
barvinok
.
c
c
:
si
m
pli
f
y d
p
oly_n
co
n
structor
commit
|
commitdiff
|
tree
2007-05-10
Sven Verdoolaege
Remove "normalization" or powe
r
s
in
d
en
o
mi
n
a
t
or on
.
.
.
commit
|
commitdiff
|
tree
2007-05-09
Sven V
e
rdoolaege
decomposer
.
c
c: pass
opt
i
ons to triangulate_cone
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdo
o
laege
barvinok_c
o
unt:
opti
o
nally use exponentia
l
su
b
stitution
commit
|
commitdiff
|
tree
2007-05-08
Sve
n
Ve
r
doolae
g
e
counter
.
cc: extra
c
ted from barvinok
.
c
c
commit
|
commitdiff
|
tree
2007-05-08
Sv
e
n Verdoolaege
d
poly:
:
div: avo
i
d computati
o
n wit
h
rati
o
nal nu
m
bers
.
.
.
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoolaeg
e
dpoly:
use Value i
n
stead of ZZ
commit
|
commitdiff
|
tree
2007-05-08
Sve
n
Verdoolaege
doc: fix
typo
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Ve
r
doolaege
ad
d
test fo
r
lattice
poin
t
comput
a
tion
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verdoolaege
e
v
alue_read
.
c: add eval
u
e_read_fr
o
m_str for
r
eading
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
S
ven Verdo
o
laeg
e
evalue_r
e
ad_fr
o
m
_f
i
le: don't mod
i
f
y var
_
l
i
st argument
commit
|
commitdiff
|
tree
2007-05-02
Sven Verd
o
o
laege
e
v
al
u
e
_
read: read more gener
a
l eval
u
es
commit
|
commitdiff
|
tree
2007-05-02
Sven Ve
r
d
o
o
laege
e
v
a
lue_con
v
ert
.
cc
:
a
d
d missing include
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verdoolaege
conve
r
sion
.
h:
generalize
rays2
m
at
r
ix2 to
zz2m
a
trix
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
lattice_po
i
nt
.
h:
m
a
ke self-con
t
a
ined
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdool
a
ege
eval
u
e
_read:
e
x
tract from maxim
i
ze
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoo
l
aege
e
n
umer
a
tor: support primal (
h
alf-open) deco
m
pos
i
tions
commit
|
commitdiff
|
tree
2007-05-02
Sven
Ve
r
doolaege
enume
r
at
o
r: handle (d
u
a
l) stopped
Bar
v
i
n
ok decomposition
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdool
a
e
g
e
latti
c
e_point
.
cc: remove unused PD arg
u
ment
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
la
t
tice_point
.
c
c: e
x
tr
a
ct co
s
e
t
generation
commit
|
commitdiff
|
tree
2007-05-02
S
v
en
V
erdoolaege
lattice_point
.
cc: rename cei
l
_mod to fractional_part
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdo
o
la
e
ge
lattice_point
.
cc: use
s
ome helper
fun
c
ti
o
ns
to simplify
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
latt
i
ce
_
po
i
nt
.
cc
:
implement l
o
okup
-
tab
l
e version in
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdool
a
ege
move
more lattice poi
n
t
c
o
mputa
t
ions t
o
lattice_point
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sven Ve
r
doolaege
barv
i
nok
.
cc: l
a
tti
c
e_p
o
int:
r
emove a
sp
e
ci
a
l case
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erd
o
olaege
d
o
c: in
t
eger
p
oints in fundamental paralle
l
epipe
d
:
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdo
o
l
aege
util
.
c: expor
t
Matrix
_
T
ra
n
sposition
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
V
erdoolaege
u
t
il
.
c: export Vector_Op
p
o
se
commit
|
commitdiff
|
tree
2007-05-02
Sven Verd
o
olaege
sc
a
le
.
c:
move Par
a
m_Vertex
_
Common_
D
enominator t
o
pa
r
am_util
.
c
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
e
r
dool
a
ege
evalue
.
c
:
a
d
d evalue_a
d
d_constant
commit
|
commitdiff
|
tree
2007-05-02
Sven Verd
o
olaege
ev
a
l
ue
.
c
: affine2eva
l
ue:
s
kip zero coefficien
t
s
commit
|
commitdiff
|
tree
2007-05-02
S
v
e
n
Verdoolaege
evalue
.
c: emul_po
l
y: efficient
l
y handle cas
e
of multiplicati
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sv
e
n Verdoolaege
bump version
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoo
l
aege
d
o
c:
u
pdate
options
a
nd some fu
n
ction
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoo
l
aege
d
o
c: d
o
cument
volume compu
t
ation
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
doc: more
r
e
p
orts explaining p
a
r
t
s
o
f barvi
n
o
k
commit
|
commitdiff
|
tree
2007-04-28
Sven
Verdoolaege
b
ernstein: bump version
commit
|
commitdiff
|
tree
2007-04-28
S
v
en Verdoo
l
ae
g
e
doc: tran
s
formati
o
n o
f
parameter d
o
main
to have revlex
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
ba
r
vinok
.
cc:
b
a
rvinok
_
count_f: avo
i
d w
a
r
ning
on
r
ecursive
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
util
.
c: unimodu
l
ar_complete: handle completio
n
of more
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
barvinok_enumerate
.
cc: han
d
le all lines in --
s
eries
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoo
l
aege
b
arvino
k
_
enu
m
e
r
ate
.
cc: series: p
l
ug memory leak
commit
|
commitdiff
|
tree
2007-04-26
Sv
e
n Verdoolaege
doc: document
l
eft_inv
e
rse
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoola
e
ge
doc: remove refer
e
nce
to old
barvinok_series
a
p
p
lication
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
doc: updat
e
e
value_bernste
i
n_coefficients
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
barvino
k
/
o
ptions
.
h
:
put s
t
ats
f
i
rst in barvi
n
ok_options
commit
|
commitdiff
|
tree
2007-04-25
S
ven
Verdoo
l
a
e
ge
barvinok_m
a
xi
m
ize: read_evalue: su
p
port rela
t
ions
commit
|
commitdiff
|
tree
2007-04-25
Sv
e
n Verdoolaege
b
e
rnstei
n
.
cc: evalue_bernst
e
in_coeffi
c
ients: h
a
ndle
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
barvin
o
k_max
i
mize
:
eval
u
e_read:
allow iden
t
if
i
er
s
to
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven
V
erdoola
e
ge
barvinok_maxi
m
ize
:
move
-
-(bernstei
n
-)recurse opt
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven V
e
rdoolaege
lib/ar
g
p
:
f
i
x
l
ogic in ho
l
_cluster_c
m
p
commit
|
commitdiff
|
tree
2007-04-25
Sven Ve
r
doo
l
aege
b
arvino
k
_max
i
m
ize: all
o
w
s
p
ecificati
o
n of the variables
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
b
ar
v
inok_maximize: barf on unexpected
first to
k
en
commit
|
commitdiff
|
tree
2007-04-23
S
ven Verdoola
e
ge
doc: m
o
r
e documents refering to t
h
e
li
b
r
ary
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolae
g
e
evalu
e
_convert
.
cc: evalue_coset: support rela
t
ions
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolae
g
e
evalue
.
c:
print_evalue: alway
s
print newline
a
t
the end
commit
|
commitdiff
|
tree
2007-04-23
Sven V
e
rdoolaege
doc: multiv
a
riate qu
a
s
i
-po
l
ynomials as lists of p
o
lynomials
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
evalue_con
v
ert
.
c
c
: include
"
c
o
nfig
.
h"
to p
i
ck up USE_FDSTREA
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven
Verdoolaeg
e
doc: index additio
n
s
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoo
l
aege
d
o
c: triangulati
o
n in primal
s
p
ace
+
some typo f
i
xes
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoola
e
ge
doc:
document i
n
ner
_
point
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaeg
e
doc: re
f
er to
K
oe
p
pe
article
fo
r
si
m
pler motivation
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
d
o
c: more
publi
c
atio
n
s (implicitly) refering to the
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
Sven
Verdoolaege
co
n
figure
.
in: add $(EXEEXT) t
o
opt
i
o
nal progr
a
ms for
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
S
v
en
V
erdoolaege
Makefile
.
am: mak
e
sure
d
istribu
t
ion contains required
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sv
e
n Verdoolae
g
e
wor
k
around incom
p
lete nam
e
spac
e
support
i
n old
c
ompilers
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoola
e
ge
disable so
m
e
f
e
a
tures i
f
fds
t
ream doesn'
t
c
ompile
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoola
e
ge
barvinok_enumerate
.
c
c: av
o
id use of fdst
r
eam
commit
|
commitdiff
|
tree
2007-04-19
Sven V
e
rdoolaeg
e
bar
v
inok_enumer
a
te: don't pri
n
t (no
n
-e
x
isting) evalue
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
S
v
en Verdoo
l
a
ege
edomain
.
cc: avoid
u
se of fdstream
commit
|
commitdiff
|
tree
2007-04-19
Sven Verd
o
olaege
configure
.
in: ch
e
ck for
pol
y
lib/pol
y
libgmp
.
h
commit
|
commitdiff
|
tree
2007-04-19
Sven V
e
rdoolae
g
e
decla
r
e variable at start of
c
ode block
.
commit
|
commitdiff
|
tree
2007-04-18
S
v
en Verdoolae
g
e
M
akefile
.
am: reb
u
il
d
l
i
braries in
s
ubdirs if miss
i
ng
commit
|
commitdiff
|
tree
next