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
evalue.c: evalue_sum: better handling of negative values
2007-06-16
Sven Verdoolaege
e
value
.
c: evalue
_
sum:
better han
d
li
n
g
o
f
negative values
commit
|
commitdiff
|
tree
2007-06-15
Sven Ve
r
d
oolae
g
e
evalu
e
.
c: re
o
r
d
er_term
s
: fix typo
commit
|
commitdiff
|
tree
2007-06-14
Sve
n
Verdoolaege
e
v
alue:
dec
l
are fi
r
st ar
g
ument of emul const
commit
|
commitdiff
|
tree
2007-06-14
S
ven Verdool
a
ege
eval
u
e
.
c: e
m
u
l: don't use e
x
plicit_comp
l
ement
o
n arguments
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdoolaege
add
a
test for eva
l
ue_
s
p
l
it_periods
commit
|
commitdiff
|
tree
2007-06-13
Harald
.
Devos@elis
.
.
.
f
i
nd_fracti
o
nal_
w
ith_m
a
x
_
p
eriods: initial
i
ze local
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdoolaege
evalu
e
.
c:
evalue_split_
p
eriods: make sure selected
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdo
o
l
a
ege
evalue
.
c:
polynomial_projection:
u
se evalue_extract
_
affin
e
commit
|
commitdiff
|
tree
2007-06-10
S
v
en Verdoolaege
add
a test fo
r
barvinok_
m
aximi
z
e an
d
barvinok_sum
m
a
t
e
commit
|
commitdiff
|
tree
2007-06-10
Sve
n
Verd
o
o
l
aeg
e
barvino
k
_
s
u
m
mate: suppor
t
verificatio
n
of
r
esults
commit
|
commitdiff
|
tree
2007-06-10
Sven Ver
d
oolaege
evalu
e
.
c: evalue_sum: split into ort
h
ants + some refacto
r
ing
commit
|
commitdiff
|
tree
2007-06-10
S
ven Verdoolaege
barvinok_uni
o
n: use argp for argume
n
t parsing
commit
|
commitdiff
|
tree
2007-06-09
S
v
en
Verdoolae
g
e
b
arvinok_enumerate_un
i
on
_
series_with_op
t
ions: f
i
x
t
y
po
commit
|
commitdiff
|
tree
2007-06-07
Sven
V
erdoolaege
ba
s
is_
r
eduction_cdd
.
c
c
:
get correct dual solution in
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Verd
o
olaege
basis_reduct
i
on_glpk
.
c: c
o
r
r
e
ctly set
t
y
p
e of rows
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdo
o
laege
b
a
sis_reduction_
g
lpk
.
c: check
f
o
r
sanity of solution
commit
|
commitdiff
|
tree
2007-06-06
S
v
en Verdoolaege
options: mention
default and available solvers for
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdoolaege
polyhed
r
on_sample:
t
ake op
t
ions
commit
|
commitdiff
|
tree
2007-06-06
S
ven Ve
r
d
oolaege
doc: more
a
bout p
o
we
r
sums
commit
|
commitdiff
|
tree
2007-06-04
Sven
V
e
rdoolae
g
e
do
c
: typo
commit
|
commitdiff
|
tree
2007-05-30
S
ven Verdoolaege
d
o
c: re
p
eat Ma
t
thias' s
t
opped Barvi
n
ok e
x
perime
n
ts
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven V
e
rdoolaege
add barvinok_
s
ummat
e
to sum a q
u
a
s
i
-pol
y
nom
i
a
l
ove
r
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven Verdoolaege
eva
l
u
e_
r
ead: fix for
t
o
p
-level frac
t
ional
p
art
commit
|
commitdiff
|
tree
2007-05-14
Sven Verdoolaege
b
er
n
oull
i
.
c: Bern
o
ulli_sum_
e
value: re
d
uce result
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
Sven Verdoolaege
bernoulli
.
c: perf
o
rm nested
s
ums
approx
i
mation d
e
pth
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sv
e
n V
e
rdoolaege
add
p
olynomi
a
l approx
i
m
ation based on nested
s
ums
commit
|
commitdiff
|
tree
2007-05-13
Sven Ver
d
oolaege
util
.
c:
extract for_each
_
low
e
r_upper_bou
n
d
f
r
om P
a
ramLin
e
_Length
commit
|
commitdiff
|
tree
2007-05-13
Sven V
e
rdoo
l
a
e
g
e
decomposer: use N
T
L to invert matrix rather t
h
an conv
e
ring
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
S
v
e
n V
e
rdoolaeg
e
lattice_p
o
int
.
cc: allow rays
and vertex to have been
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven
Verdoolaege
counter: optimize summing
ove
r
p
oints in
f
undapiped
commit
|
commitdiff
|
tree
2007-05-13
S
v
en Verdool
a
ege
la
t
t
i
ce_point
.
cc: avoid co
n
version between NTL an
d
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
S
v
e
n Verdo
o
lae
g
e
conversion
.
cc
:
re
m
ove rays2matrix
commit
|
commitdiff
|
tree
2007-05-13
Sve
n
V
erdoolaeg
e
e
v
alue
.
c: evalue_polynomial extracted from barvinok
.
cc
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoo
l
aege
evalue
.
c: add e
v
al
u
e_negate
commit
|
commitdiff
|
tree
2007-05-13
Sv
e
n Verdoola
e
ge
doc: a note
o
n
t
he connect
i
on between Todd polyn
o
mials
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
S
ven Verdoolaege
doc: points in fundapip
e
d: fi
x
typo
commit
|
commitdiff
|
tree
2007-05-10
S
ven Verdool
a
ege
b
a
rvino
k
.
cc: simplif
y
dpoly_n constru
c
tor
commit
|
commitdiff
|
tree
2007-05-10
Sven
Verdoolaege
Rem
o
ve
"
n
o
rmalizat
i
on" o
r
powers in denom
i
nator on
.
.
.
commit
|
commitdiff
|
tree
2007-05-09
S
ve
n
Verdoolaege
decomposer
.
cc: pass options to triangu
l
ate_cone
commit
|
commitdiff
|
tree
2007-05-08
Sven
V
erdoolae
g
e
barvinok_count: optionally use ex
p
on
e
ntial subs
t
it
u
tion
commit
|
commitdiff
|
tree
2007-05-08
Sven Ver
d
oolaege
counter
.
cc: extracted fro
m
ba
r
vinok
.
cc
commit
|
commitdiff
|
tree
2007-05-08
S
v
en Ver
d
oolaege
dpoly::div: avoid
co
m
puta
t
ion with
r
ational
number
s
.
.
.
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoolaege
d
poly: use V
a
lue instead of ZZ
commit
|
commitdiff
|
tree
2007-05-08
Sve
n
Ve
r
doolaege
doc: fix typo
commit
|
commitdiff
|
tree
2007-05-02
Sven V
e
rdoolaege
a
d
d te
s
t
for lattice point co
m
putatio
n
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
oolaege
evalue_r
e
ad
.
c: add eval
u
e_re
a
d
_from_s
t
r for reading
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
e
value_
r
ead_from_file: don't modify var_list argument
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
eva
l
ue_read: read more general eva
l
ues
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
oolaege
evalue_convert
.
cc: add missing include
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdo
o
l
aege
con
v
ersion
.
h:
generalize ray
s
2m
a
trix2 to zz
2
matrix
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaeg
e
lattice_point
.
h: mak
e
self
-
contained
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdo
o
laege
ev
a
lue_rea
d
:
extract from
max
i
mize
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sven Ve
r
doola
e
ge
e
numerator: sup
p
ort pri
m
al
(h
a
l
f
-open) dec
o
mp
o
sitions
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
enumerator: ha
n
dle
(
dual) stopped Barvinok decomposition
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
ool
a
ege
lat
t
i
c
e_point
.
c
c
: remove
unused PD
a
r
g
ument
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Verdoolaege
la
t
ti
c
e
_point
.
c
c: extract coset generation
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaeg
e
lattice_point
.
c
c
: rename
c
ei
l
_mod to fr
a
ction
a
l_part
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
lat
t
ice_point
.
cc
:
use some helper func
t
io
n
s to si
m
plify
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verd
o
o
laege
lattice_point
.
cc: im
p
lement
l
o
okup-table version in
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolae
g
e
move more latt
i
ce point computations t
o
lattice_
p
oint
.
cc
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verdool
a
eg
e
barvinok
.
c
c: l
a
ttice_
p
oint: remove a special case
commit
|
commitdiff
|
tree
2007-05-02
Sven Ve
r
d
o
olaege
doc: integer p
o
i
nt
s
in fundam
e
ntal p
a
r
a
llel
e
piped:
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdool
a
e
g
e
u
ti
l
.
c
: exp
o
rt
M
atrix_Transposit
i
on
commit
|
commitdiff
|
tree
2007-05-02
S
ve
n
Ver
d
oolaege
util
.
c: export V
e
ctor_Opp
o
s
e
commit
|
commitdiff
|
tree
2007-05-02
Sven V
e
rd
o
olaege
s
cale
.
c
:
move
P
aram
_
Vertex_C
o
mmon_
D
eno
m
i
n
ator to
p
a
ram_util
.
c
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolae
g
e
ev
a
lue
.
c:
ad
d
evalue_a
d
d_consta
n
t
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
evalue
.
c
: aff
i
ne2evalue: sk
i
p zer
o
coeffi
c
ients
commit
|
commitdiff
|
tree
2007-05-02
S
ven V
e
r
d
oolae
g
e
evalu
e
.
c
: emul_poly: eff
i
ciently
h
and
l
e case of m
u
l
tiplicati
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
bump
ver
s
ion
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoola
e
g
e
doc: update options and some fun
c
tion
commit
|
commitdiff
|
tree
2007-04-28
Sv
e
n Ver
d
oolaege
doc: docu
m
ent
volume co
m
put
a
tion
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdo
o
laege
do
c
: more
reports expl
a
ining parts
o
f bar
v
inok
commit
|
commitdiff
|
tree
2007-04-28
Sv
e
n Ve
r
doolaege
be
r
nstein
:
bu
m
p ver
s
ion
commit
|
commitdiff
|
tree
2007-04-28
Sven Ver
d
oolae
g
e
d
oc: t
r
an
s
for
m
a
tion o
f
parameter
d
oma
i
n
t
o
h
ave revle
x
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
S
ven Verdoolaege
barvinok
.
c
c: barvin
o
k_count_f:
a
v
o
id warning
on
r
ecursive
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
S
v
en Verdool
a
ege
util
.
c: u
n
imodular_c
o
m
p
lete: handle
c
o
mpletion o
f
m
ore
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven
V
erdoolaege
barvinok_enumerate
.
c
c: handle all lin
e
s
in
-
-series
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
S
ven Verdo
o
laege
barvinok_en
u
m
e
rate
.
cc: series: plug me
m
o
ry leak
commit
|
commitdiff
|
tree
2007-04-26
Sven
V
erdoolaege
doc: document lef
t
_inverse
commit
|
commitdiff
|
tree
2007-04-26
S
ven Verdoolaege
doc: remove reference to old barvinok_se
r
i
es ap
p
licat
i
on
commit
|
commitdiff
|
tree
2007-04-26
S
ven
Verdoo
l
aege
doc:
u
pdate evalue
_
bernstein_coeffic
i
ents
commit
|
commitdiff
|
tree
2007-04-26
Sven Ve
r
doolaeg
e
barvinok/options
.
h:
put stats
f
i
r
s
t
in barvinok_optio
n
s
commit
|
commitdiff
|
tree
2007-04-25
Sve
n
Verd
o
olaege
barv
i
nok_maximi
z
e:
r
e
ad_
e
valu
e
:
s
u
p
port
r
el
a
t
i
ons
commit
|
commitdiff
|
tree
2007-04-25
Sven Ve
r
d
o
olae
g
e
bernstein
.
cc: ev
a
l
u
e_bernstein_coefficients: h
a
n
dle
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
S
v
en Verdoolaeg
e
barvinok_m
a
ximi
z
e: evalue_
r
ead: allo
w
iden
t
ifier
s
to
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven V
e
rd
o
o
l
aege
barvinok_maximize: move --(bernstein-
)
recurse option
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
lib/argp:
fix logic in hol
_
c
lust
e
r_cmp
commit
|
commitdiff
|
tree
2007-04-25
Sven Ver
d
oola
e
ge
ba
r
vin
o
k_
m
a
ximize: allow specification of t
h
e variabl
e
s
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verd
o
olaege
barvinok_maximize: barf on unexpec
t
ed first t
o
ken
commit
|
commitdiff
|
tree
2007-04-23
Sven
Verdoolaeg
e
doc
:
more documents
r
e
f
e
ri
n
g to t
h
e library
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
ev
a
lue_convert
.
cc: evalue_coset: supp
o
rt rela
t
ions
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
evalue
.
c
:
print_evalue: al
w
ays p
r
int new
l
ine at t
h
e end
commit
|
commitdiff
|
tree
2007-04-23
Sven V
e
rdoolaeg
e
do
c
: multi
v
ariate
q
u
asi-polynomials as lists of poly
n
omia
l
s
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
eva
l
ue_c
o
n
vert
.
cc: inclu
d
e "config
.
h
" to p
i
ck up
USE_FDS
T
REA
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
doc: index additions
commit
|
commitdiff
|
tree
2007-04-23
S
ven Verdoolaege
doc
:
tr
i
angulation
i
n p
r
imal
s
pace + some typo fix
e
s
commit
|
commitdiff
|
tree
2007-04-23
Sven V
e
rdoo
l
aege
doc: document
inner_p
o
int
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoola
e
g
e
doc:
r
efer to Koeppe article
for simpler
m
oti
v
at
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
S
v
en Verdoolaege
doc: mor
e
publicatio
n
s (implicitly) re
f
erin
g
to th
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
Sven Verdoola
e
ge
configur
e
.
in: add $
(
E
X
EEXT) to optional progra
m
s for
.
.
.
commit
|
commitdiff
|
tree
next