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
Makefile.am: stop after first failed test
2007-06-30
Sven Verdoolaeg
e
Makefile
.
am: stop after first faile
d
test
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolae
g
e
bernstein: carry thro
u
gh variable rena
m
ing to debug
g
ing
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolaege
be
r
nste
i
n:
do
n
't assume input polynomia
l
has been expanded
commit
|
commitdiff
|
tree
2007-06-27
Sv
e
n Verdoolaege
e
v
alue_read
.
c: co
r
rect co
n
stness of name
i
n parameter_new
commit
|
commitdiff
|
tree
2007-06-27
Sve
n
Verdo
o
laege
evalue_read: acce
p
t c
o
n
s
tant multiple
of variable withou
t
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sven
V
e
rdool
a
ege
evalue
.
c: evalue_sum: bet
t
er hand
l
ing of negat
i
ve v
a
lu
e
s
commit
|
commitdiff
|
tree
2007-06-15
Sve
n
V
e
r
dool
a
e
g
e
evalue
.
c: reorder_term
s
:
f
ix typo
commit
|
commitdiff
|
tree
2007-06-14
Sven Ve
r
doolaege
eval
u
e
: declare first a
r
g
u
ment of emul co
n
s
t
commit
|
commitdiff
|
tree
2007-06-14
Sven Ve
r
doola
e
ge
evalue
.
c: emul: don't use e
x
plicit_compleme
n
t on arguments
commit
|
commitdiff
|
tree
2007-06-14
S
v
e
n
Verdoola
e
ge
add a test
f
or evalue_spl
i
t_periods
commit
|
commitdiff
|
tree
2007-06-13
Harald
.
Devos@elis
.
.
.
fin
d
_fractional_with_ma
x
_
periods: initialize l
o
cal
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdoolaege
evalue
.
c: evalue_
s
plit_periods: make sure
s
elected
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sve
n
Ve
r
doolaege
e
v
alue
.
c: polyn
o
mial_projection: use evalue_ex
t
rac
t
_affine
commit
|
commitdiff
|
tree
2007-06-10
Sven Ver
d
o
o
laege
add a tes
t
for ba
r
vinok
_
maximi
z
e and
b
a
r
vinok_
s
u
m
mat
e
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoolaege
b
a
rvinok_summate
:
support veri
f
ication of resu
l
ts
commit
|
commitdiff
|
tree
2007-06-10
S
v
e
n Verdoo
l
aege
ev
a
lue
.
c: evalue_su
m
: spli
t
int
o
orthants +
s
o
me refactoring
commit
|
commitdiff
|
tree
2007-06-10
Sve
n
Verdoolae
g
e
barvi
n
ok
_
u
nion:
use argp fo
r
argumen
t
p
a
rsi
n
g
commit
|
commitdiff
|
tree
2007-06-09
Sven
Verdoola
e
ge
bar
v
inok_enum
e
rate_union
_
series_wit
h
_option
s
: fix typo
commit
|
commitdiff
|
tree
2007-06-07
S
ve
n
Ve
r
doolaeg
e
b
asis_redu
c
tio
n
_
c
dd
.
c
c: get
c
orrect dual solution in
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Ve
r
doolaege
basis_
r
eduction_glpk
.
c:
c
orrectly se
t
t
ype of rows
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdo
o
l
a
eg
e
basis
_
reductio
n
_g
l
pk
.
c:
c
he
c
k for sa
n
i
ty of sol
u
tio
n
commit
|
commitdiff
|
tree
2007-06-06
Sve
n
Verdool
a
eg
e
o
p
tio
n
s
:
mentio
n
default and
a
v
ailable solvers
for
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
Sven Ve
r
doolaege
polyh
e
dron_sample: ta
k
e option
s
commit
|
commitdiff
|
tree
2007-06-06
Sven Ver
d
o
olaeg
e
doc: mo
r
e about powe
r
sums
commit
|
commitdiff
|
tree
2007-06-04
S
v
en Verdoo
l
aege
d
o
c: typo
commit
|
commitdiff
|
tree
2007-05-30
S
v
e
n V
e
rdoolae
g
e
doc: repeat
M
at
t
hi
a
s'
s
top
p
ed Ba
r
vi
n
ok
e
xp
e
r
i
ments
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sv
e
n V
e
r
d
oola
e
ge
a
d
d barvin
o
k
_s
u
m
m
a
te t
o
s
um a quasi-polyn
o
mial over
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven V
e
rdoolaege
eva
l
ue_read:
f
ix for
t
op-l
e
vel fractional part
commit
|
commitdiff
|
tree
2007-05-14
S
ven Verdoolaeg
e
bernoulli
.
c:
B
erno
u
lli_sum_evalue: r
e
d
u
ce resulting
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
Sven Ver
d
oolaege
bernoulli
.
c: p
e
r
f
o
rm nested
sums appro
x
ima
t
ion d
e
pth
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
add polynomial appr
o
ximation
b
ased
o
n
nest
e
d sums
commit
|
commitdiff
|
tree
2007-05-13
Sv
e
n
Ver
d
oo
l
aege
u
t
i
l
.
c: e
x
tract for_each_lowe
r
_
upper_boun
d
f
rom Pa
r
a
mLine_Length
commit
|
commitdiff
|
tree
2007-05-13
S
v
en
Ver
d
oolaege
deco
m
poser: us
e
NTL to in
v
e
r
t matrix rather than
converin
g
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
lattic
e
_po
i
nt
.
cc: al
l
ow ra
y
s and vertex
t
o h
a
ve been
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
S
ven Verdoola
e
ge
counter: opti
m
ize summing o
v
er p
o
i
nt
s
in funda
p
iped
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
lattice
_
p
oint
.
c
c
: avo
i
d conversion betwee
n
NTL and
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
conversion
.
cc: remove rays2m
a
t
r
i
x
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoo
l
aege
evalue
.
c: ev
a
l
u
e_poly
n
omial
extracted from b
a
r
v
i
nok
.
cc
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolae
g
e
evalue
.
c: add evalue_negate
commit
|
commitdiff
|
tree
2007-05-13
Sve
n
Ve
r
doolaege
d
o
c: a not
e
on
t
he con
n
ection between
T
odd pol
y
n
o
m
i
a
ls
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sve
n
V
erdoolaege
doc:
points in fundapi
p
ed: fix typo
commit
|
commitdiff
|
tree
2007-05-10
Sven Verd
o
olae
g
e
b
a
rvinok
.
cc: sim
p
lify d
p
o
l
y_n constru
c
tor
commit
|
commitdiff
|
tree
2007-05-10
Sven
Verdoo
l
a
e
g
e
Remove "n
o
r
m
alization" or powers in denom
i
na
t
or on
.
.
.
commit
|
commitdiff
|
tree
2007-05-09
Sv
e
n Verdoolae
g
e
decompo
s
e
r
.
c
c
: pass options to tr
i
angulate_cone
commit
|
commitdiff
|
tree
2007-05-08
S
v
e
n
Verdoolaege
b
arvinok
_
count: optionally use exponential subst
i
t
u
tion
commit
|
commitdiff
|
tree
2007-05-08
Sve
n
Ver
d
o
o
laege
counter
.
cc
:
extracted from barv
i
nok
.
cc
commit
|
commitdiff
|
tree
2007-05-08
Sven
Verdoolaeg
e
dpol
y
::d
i
v: avoid c
o
mputation w
i
th
ratio
n
al numbers
.
.
.
commit
|
commitdiff
|
tree
2007-05-08
Sven Ver
d
o
ola
e
ge
dpol
y
: use
V
a
lue inste
a
d of
ZZ
commit
|
commitdiff
|
tree
2007-05-08
Sven
Verd
o
olaege
doc: fix
typo
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
oolaege
add test for lattice point computation
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erdoolaeg
e
evalue_read
.
c: add evalue_read_from_str
for
r
e
a
ding
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verdoolaege
evalue_read
_
f
rom_file: don't modify var_list argument
commit
|
commitdiff
|
tree
2007-05-02
Sven V
e
rdoola
e
ge
e
value_read: read more ge
n
eral evalues
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
evalue_c
o
nver
t
.
cc
:
ad
d
missing inc
l
u
de
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
V
e
rdoolaege
conversion
.
h: g
e
nerali
z
e r
a
ys2m
a
trix2 to zz2
m
a
t
rix
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erdoolaege
la
t
tice_poi
n
t
.
h
:
m
ake se
l
f-contained
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdo
o
laege
eva
l
ue_re
a
d: extr
a
ct
from maximize
.
cc
commit
|
commitdiff
|
tree
2007-05-02
S
v
e
n
V
e
rdool
a
ege
enume
r
a
to
r
: suppo
r
t primal (
h
alf-open) decomposit
i
ons
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
e
n
u
merator
:
h
a
ndle (dual
)
stop
p
e
d
Barvinok deco
m
position
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verd
o
ol
a
eg
e
la
t
tice
_
point
.
cc: remove unused PD argum
e
nt
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n
V
e
r
doolaege
lattic
e
_point
.
cc: extract cose
t
generation
commit
|
commitdiff
|
tree
2007-05-02
S
ven Verd
o
olaeg
e
lattice_
p
oint
.
cc: rename c
e
il_
m
od
t
o
fractional_
p
art
commit
|
commitdiff
|
tree
2007-05-02
Sven V
e
rdoolaege
lattice_point
.
cc: us
e
some
helper
func
t
ions to simplify
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Verdool
a
ege
lattice_point
.
c
c:
i
mplement lookup-table
v
ersion in
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verdoola
e
ge
move m
o
re latti
c
e po
i
nt c
o
mp
u
tations to lat
t
ice_point
.
cc
commit
|
commitdiff
|
tree
2007-05-02
S
ven Verdool
a
ege
barvinok
.
c
c
: lattic
e
_point:
r
emove
a
s
pecial case
commit
|
commitdiff
|
tree
2007-05-02
Sven V
e
rdoola
e
ge
doc: int
e
g
er point
s
in fundamental parallelepiped
:
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verdool
a
ege
util
.
c: export Matr
i
x_
T
r
a
nspos
i
tion
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
util
.
c: export Ve
c
t
o
r_Oppose
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Ver
d
o
olaege
sc
a
le
.
c: move Par
a
m
_Vertex_Comm
o
n
_
De
n
omina
t
or to param_util
.
c
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verdoolaege
evalue
.
c: add e
v
alue_a
d
d_cons
t
an
t
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
eval
u
e
.
c: aff
i
ne2evalue: ski
p
zero coefficients
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoo
l
aeg
e
evalu
e
.
c: emul_poly: effic
i
ent
l
y
handl
e
c
ase o
f
multiplicati
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven
V
e
rdoolaege
bump v
e
rsion
commit
|
commitdiff
|
tree
2007-04-28
Sv
e
n
V
erdoolaege
d
o
c
: updat
e
options and
s
ome
f
unction
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
doc: document volu
m
e c
o
m
p
utation
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoo
l
aege
d
o
c: mo
r
e reports explaining parts of ba
r
vinok
commit
|
commitdiff
|
tree
2007-04-28
Sven
V
erdoolaege
bernste
i
n:
bump v
e
rs
i
on
commit
|
commitdiff
|
tree
2007-04-28
S
v
e
n Verdoolaege
doc: transformatio
n
o
f
parameter domain
to
have revlex
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven
V
e
rdoolaege
barvinok
.
cc: barvinok_count_f: avoid w
a
rning on recursive
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sve
n
Verdoolaege
util
.
c
: unimodular_
c
omplete
:
handl
e
co
m
pleti
o
n
of mo
r
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
S
ven Verdoola
e
ge
barv
i
nok_enume
r
ate
.
cc: h
a
ndl
e
all lines in --series
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven Ver
d
oo
l
aege
barvinok_enume
r
ate
.
cc: series: plug mem
o
ry leak
commit
|
commitdiff
|
tree
2007-04-26
Sven
V
e
rdoolaege
doc: documen
t
left_in
v
e
rse
commit
|
commitdiff
|
tree
2007-04-26
S
v
e
n Verdool
a
e
g
e
doc: remove reference to old barvinok_series
a
pplication
commit
|
commitdiff
|
tree
2007-04-26
Sven V
e
rdoola
e
ge
do
c
:
u
p
date
e
v
a
lue_bernstein_coefficie
n
ts
commit
|
commitdiff
|
tree
2007-04-26
Sve
n
Verdoolaege
barv
i
nok/options
.
h: pu
t
s
tats
f
irst
in
barvinok_options
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
barvinok_m
a
xi
m
ize: r
e
ad_evalu
e
: suppo
r
t
r
elations
commit
|
commitdiff
|
tree
2007-04-25
Sven Verd
o
olaege
ber
n
st
e
in
.
cc: evalue_bernstein_coefficients: handle
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolae
g
e
barvinok_
m
axim
i
ze: evalue
_
read: allow ident
i
f
iers to
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
barvin
o
k_ma
x
imi
z
e: move --(be
r
nstein-)recu
r
se optio
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
li
b
/ar
g
p
: fix logic in
hol_cl
u
ster_c
m
p
commit
|
commitdiff
|
tree
2007-04-25
Sven
V
erd
o
ol
a
ege
barvinok_maximize
:
a
l
lo
w
specifi
c
a
t
ion of the variables
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdo
o
l
a
ege
b
a
rvinok_ma
x
imize:
barf on une
x
pected fi
r
st token
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdool
a
e
ge
doc:
mor
e
documents re
f
ering to the library
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
evalue_convert
.
cc: eva
l
u
e_cos
e
t: s
u
pport relat
i
o
ns
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
evalu
e
.
c: prin
t
_evalue: alwa
y
s pr
i
nt newline at the end
commit
|
commitdiff
|
tree
2007-04-23
Sv
e
n Ver
d
oola
e
g
e
doc: m
u
ltivariate
q
uasi-polyn
o
mials a
s
lists of
polynomials
commit
|
commitdiff
|
tree
2007-04-23
Sven
V
erdoolaege
e
v
alue_co
n
vert
.
cc:
i
n
c
l
ude "config
.
h" to
pi
c
k u
p
US
E
_
F
DSTREA
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
d
o
c:
i
n
d
e
x addition
s
commit
|
commitdiff
|
tree
next