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.24
2007-06-30
Sven
Ve
r
doola
e
ge
barvin
o
k 0
.
2
4
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdoolaege
tes
t
lib
.
cc: w
o
rk around incomp
l
ete namespace s
u
pport
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolae
g
e
scale
.
c: enumerate_n
a
rrow_fl
a
ted:
d
on'
t
simplify constra
i
nts
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
declare varia
b
le
s
at sta
r
t of code block
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoo
l
aege
d
oc: upd
a
te documentat
i
on of opti
o
ns a
n
d s
o
me
functions
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdo
o
laege
Polyhedron
_
S
a
m
ple: factor
p
olyhed
r
on
i
f
p
ossible
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdoolaege
P
o
lyhedron_Sample: compute verti
c
es of 1D po
l
yhedra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verdoolaege
Polyhedron_Sample: remove
a
ll equalitie
s
from polyhedron
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
add possibility
t
o use
GLP
K
as LP solver
commit
|
commitdiff
|
tree
2007-06-30
S
v
e
n Verdoolaege
P
o
lyhedron_Sample: postp
o
n
e
removal of rays until we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en
Verd
o
olaege
Polyhed
r
on_Sample: use lp solver for finding range
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaeg
e
lexm
i
n
: m
o
ve choice o
f
lp solver
t
o us
e
o
u
tside
basis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolae
g
e
polysign
.
h: us
e
co
r
rect n
a
me
o
f
PL_polyh
e
dron_affine_sign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdoola
e
ge
barvinok_enumerate: plug
me
m
o
r
y leak in Bernoulli approxi
m
at
i
on
commit
|
commitdiff
|
tree
2007-06-30
Sven Verd
o
o
laeg
e
barvinok_enumerate_
e
_r: d
o
n
't assume
A
d
dConstrai
n
ts
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
evalu
e
_frac2polynomial: r
e
check
e
v
alue af
t
er
e
va
l
ue_split_
d
o
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdoola
e
ge
util
.
c: Line
_
Length
:
don't get co
n
f
used by positivit
y
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
e
n Verdoolaege
Makefile
.
am: stop
after first failed test
commit
|
commitdiff
|
tree
2007-06-27
S
v
en Verdoolaege
b
ernstein: carry
t
hro
u
gh variable rena
m
ing to d
e
bugging
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sve
n
V
e
rdoolaege
bernstein: don't assume
input polynomia
l
has been ex
p
anded
commit
|
commitdiff
|
tree
2007-06-27
Sven
V
er
d
oo
l
aege
evalue_read
.
c: correct constn
e
ss of name in parame
t
e
r
_n
e
w
commit
|
commitdiff
|
tree
2007-06-27
Sven Verd
o
ola
e
ge
ev
a
l
ue_read: acc
e
pt cons
t
ant mul
t
iple of
v
ariable wi
t
hout
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sven Verdoola
e
g
e
eva
l
ue
.
c: evalue_sum: better handl
i
ng of nega
t
ive valu
e
s
commit
|
commitdiff
|
tree
2007-06-15
S
ve
n
V
e
rdoolaege
evalu
e
.
c: reorder_terms
:
fix typo
commit
|
commitdiff
|
tree
2007-06-14
Sven Ve
r
do
o
laege
eval
u
e: declare
f
irst arg
u
ment of
e
mul const
commit
|
commitdiff
|
tree
2007-06-14
Sven V
e
rdoolaege
evalue
.
c:
e
m
u
l: don'
t
use exp
l
icit_comple
m
ent on
argument
s
commit
|
commitdiff
|
tree
2007-06-14
S
v
en Verdoolaege
add a test for eval
u
e
_
split_per
i
ods
commit
|
commitdiff
|
tree
2007-06-13
Harald
.
D
evos@
e
lis
.
.
.
fin
d
_fractio
n
al_
w
ith_ma
x
_
periods: initialize lo
c
al
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven Verd
o
olaege
e
value
.
c: ev
a
l
ue
_
split_
p
eriods:
m
a
ke su
r
e selected
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdo
o
laege
evalue
.
c: p
o
lynomial_projectio
n
:
use evalue_extract_
a
ffine
commit
|
commitdiff
|
tree
2007-06-10
Sven Verd
o
ol
a
ege
add
a test for barvinok_m
a
ximize
a
nd barvinok_summate
commit
|
commitdiff
|
tree
2007-06-10
S
ven Verdoola
e
ge
b
a
rvin
o
k
_
s
ummate
:
support
v
erif
i
cation
o
f re
s
ults
commit
|
commitdiff
|
tree
2007-06-10
Sven Ver
d
oolaege
evalue
.
c: evalue
_
sum:
s
p
lit int
o
or
t
hants + s
o
me refa
c
toring
commit
|
commitdiff
|
tree
2007-06-10
Sven
Verd
o
olaege
barvinok_
u
n
io
n
: use argp for ar
g
ument
pa
r
sing
commit
|
commitdiff
|
tree
2007-06-09
Sven
V
erdool
a
e
g
e
barvinok_enumera
t
e
_
un
i
on_ser
i
es_wi
t
h_opti
o
ns:
f
ix typo
commit
|
commitdiff
|
tree
2007-06-07
Sven
V
erdoolaege
ba
s
is
_
reduction_cdd
.
cc: get correct dual solut
i
on in
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Ve
r
doolaege
b
a
sis_reduction_glpk
.
c: cor
r
e
ctly set type of rows
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Ve
r
doo
l
aege
b
a
sis
_
re
d
uction_glpk
.
c: ch
e
ck fo
r
sanity of
s
olution
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdo
o
laege
options: ment
i
on def
a
ult and availab
l
e
solvers for
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdoolae
g
e
polyhedron_sample: take
option
s
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdoola
e
ge
doc: more about power sums
commit
|
commitdiff
|
tree
2007-06-04
S
ven V
e
r
d
o
ola
e
ge
d
o
c: typo
commit
|
commitdiff
|
tree
2007-05-30
Sven Verdo
o
la
e
ge
doc: repea
t
Mat
t
hias' sto
p
ped
B
arvinok
experiments
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven Verdo
o
laeg
e
add barvinok_s
u
mma
t
e t
o
sum a quasi-poly
n
omial ove
r
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
S
v
en Ver
d
o
olaeg
e
evalue_read: f
i
x for to
p
-level fra
c
tion
a
l
part
commit
|
commitdiff
|
tree
2007-05-14
S
v
e
n
V
erdoolaege
be
r
noulli
.
c:
Berno
u
lli_
s
um_ev
a
lue
:
red
u
ce resulting
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
Sven Verd
o
olaege
b
e
rnoulli
.
c: perform
n
ested sums app
r
o
x
imation
dep
t
h
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
add polynomia
l
appr
o
x
i
m
a
tio
n
ba
s
e
d on nes
t
e
d sums
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaeg
e
util
.
c: extract
for_each_lower
_
u
p
per_bound from ParamLine_Length
commit
|
commitdiff
|
tree
2007-05-13
Sv
e
n Verdool
a
ege
decomposer
:
use NTL to
invert matrix rather than con
v
ering
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sve
n
Verdoolaege
latt
i
c
e
_po
i
nt
.
cc: allow
rays and vert
e
x to h
a
ve bee
n
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
counter:
o
p
t
imize summing over points
in fundapiped
commit
|
commitdiff
|
tree
2007-05-13
Sven
V
e
rdoolaege
lattic
e
_poi
n
t
.
cc: avoi
d
conversion b
e
tween NTL and
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
S
ven Verd
o
olaege
conve
r
sio
n
.
c
c: remove rays2mat
r
ix
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdool
a
eg
e
eva
l
ue
.
c: evalue_polynomial
ext
r
a
c
ted from barvinok
.
c
c
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoola
e
ge
evalue
.
c: ad
d
evalue_nega
t
e
commit
|
commitdiff
|
tree
2007-05-13
Sven Ver
d
oolaege
doc: a note on the connection betwe
e
n Tod
d
pol
y
nomials
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoo
l
a
e
ge
doc
:
p
o
ints in fundapiped: fi
x
typo
commit
|
commitdiff
|
tree
2007-05-10
S
v
e
n
Verdo
o
laeg
e
barvinok
.
cc: simplify
dpol
y
_n
c
onstructor
commit
|
commitdiff
|
tree
2007-05-10
S
v
en Verdoolaege
Remove "norm
a
lization" or powers in denominator on
.
.
.
commit
|
commitdiff
|
tree
2007-05-09
S
ven Verdoolaege
d
e
compo
s
er
.
cc: pas
s
options to
t
r
iang
u
late_c
o
ne
commit
|
commitdiff
|
tree
2007-05-08
Sv
e
n V
e
r
doola
e
ge
barvinok_count: op
t
i
onally use exponent
i
al
substitut
i
on
commit
|
commitdiff
|
tree
2007-05-08
Sven Ve
r
doolaege
coun
t
er
.
cc:
e
xtracted from barvinok
.
cc
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdo
o
laeg
e
dpoly::
d
iv: avo
i
d comput
a
tion with rati
o
na
l
nu
m
b
ers
.
.
.
commit
|
commitdiff
|
tree
2007-05-08
S
v
en Verdoola
e
g
e
dpo
l
y: use Value instead of ZZ
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoolae
g
e
do
c
: fix typo
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erdoolaeg
e
add te
s
t for latti
c
e po
i
nt computation
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Verdoolaege
e
va
l
ue_read
.
c: add evalue_read_from_str for readin
g
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoola
e
ge
evalue_r
e
ad_from_fi
l
e: don
'
t modif
y
var_list argument
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verdoolaege
eval
u
e_
r
ead: read more general evalues
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
e
value_con
v
ert
.
cc
:
add missing incl
u
de
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaeg
e
conve
r
s
i
on
.
h
:
genera
l
ize
r
ays2matrix
2
to
zz2matrix
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoo
l
ae
g
e
latti
c
e_poi
n
t
.
h
:
make self-contain
e
d
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n
V
erdoolae
g
e
ev
a
l
u
e_rea
d
: extract fro
m
maximize
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erdoolaege
enumerat
o
r:
support primal (half-op
e
n) decomposition
s
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdo
o
l
aeg
e
e
numerator: handle (d
u
al) st
o
p
p
ed Ba
r
vin
o
k
decom
p
osition
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verdoolaege
l
a
ttice
_
poi
n
t
.
cc:
remove unuse
d
PD argument
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
lattice_poi
n
t
.
c
c: extr
a
ct coset ge
n
eration
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verdoo
l
aege
lattice_p
o
int
.
cc:
r
ena
m
e ceil_m
o
d to fractional_part
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
lattice_
p
oi
n
t
.
cc:
u
se some he
l
per
functions
t
o simplify
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven V
e
rd
o
olaege
lat
t
ice
_
p
o
int
.
cc: im
p
lemen
t
lookup
-
table version in
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verdoolaege
move more lattice
p
oint comp
u
t
ations to latti
c
e_point
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sven Verd
o
olaege
b
arvinok
.
cc: lattice_point: remove a
special cas
e
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
doc: in
t
eger po
i
nts
in fu
n
d
a
mental parall
e
le
p
iped:
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n V
e
rdoolaege
util
.
c: exp
o
rt Matrix
_
T
r
ansposition
commit
|
commitdiff
|
tree
2007-05-02
S
v
e
n
Ver
d
oolaege
u
til
.
c
:
ex
p
o
rt Vec
t
or_
O
pp
o
se
commit
|
commitdiff
|
tree
2007-05-02
S
ven Ver
d
oolaege
scale
.
c: move Param_Vertex_Common_De
n
omin
a
tor to param_util
.
c
commit
|
commitdiff
|
tree
2007-05-02
Sven V
e
rdoolaege
e
value
.
c: add evalue_add_constant
commit
|
commitdiff
|
tree
2007-05-02
S
v
en
V
e
rdoolaege
evalue
.
c: affine2evalu
e
: sk
i
p zero coefficien
t
s
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
evalue
.
c: emul_poly: e
f
f
i
c
iently handle
c
ase of multiplicati
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sv
e
n
Verdoolaege
b
ump version
commit
|
commitdiff
|
tree
2007-04-28
Sven
Verdoolaege
doc:
u
pdate options and some function
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
d
o
c: document volume computation
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdo
o
l
a
ege
doc: mor
e
reports explaini
n
g par
t
s of barvinok
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
ber
n
stein: bu
m
p vers
i
on
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
do
c
: tran
s
form
a
tion of pa
r
ameter domain
to have revlex
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
S
ven Verdool
a
eg
e
b
a
r
vinok
.
cc: b
a
rvino
k
_count
_
f: avoid
w
a
r
ning
on recursiv
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdo
o
laege
util
.
c
: unimodular_com
p
l
e
te
:
handle completi
o
n of more
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven
V
erd
o
olaege
b
a
rv
i
nok_en
u
merate
.
cc: handle all
l
ines in --se
r
i
e
s
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
S
ven Verdoola
e
ge
bar
v
i
n
ok_e
n
umerate
.
cc
:
series: plug
m
emor
y
leak
commit
|
commitdiff
|
tree
next