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: emul: don't use explicit_complement on arguments
2007-06-14
S
ven
V
erdoolaege
eva
l
ue
.
c: emul: don't use explicit_complement on
argu
m
e
n
ts
commit
|
commitdiff
|
tree
2007-06-14
S
v
en Verdoolaege
ad
d
a test for e
v
alue_split_pe
r
iods
commit
|
commitdiff
|
tree
2007-06-12
Sven Ver
d
oola
e
g
e
evalue
.
c: eval
u
e_split_periods: ma
k
e
s
ure selected
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdoolaege
evalu
e
.
c: polynomial_projection: use evalue_extr
a
ct_affine
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoolaeg
e
ad
d
a test for barvinok_
m
aximize and ba
r
vinok_su
m
m
ate
commit
|
commitdiff
|
tree
2007-06-10
Sven Ver
d
oolaege
ba
r
vinok_summate:
suppor
t
verification of results
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoola
e
g
e
evalue
.
c
: evalue_sum:
split
in
t
o
or
t
h
a
nts +
s
ome refacto
r
i
n
g
commit
|
commitdiff
|
tree
2007-06-10
S
v
en Verdoolaege
ba
r
vin
o
k_union:
u
s
e
argp for argument
p
a
r
sing
commit
|
commitdiff
|
tree
2007-06-09
Sven
Verdoolaege
b
arvinok_enumerate
_
union_se
r
ies_with_o
p
tions:
f
ix ty
p
o
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoo
l
aege
basis_reducti
o
n_cdd
.
cc: get correc
t
dual solution in
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoolaege
basis_r
e
duction
_
glpk
.
c
:
correctly set t
y
p
e
of ro
w
s
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven V
e
rdoolaege
basis_reduc
t
i
on_glpk
.
c: check
f
or sani
t
y
o
f solution
commit
|
commitdiff
|
tree
2007-06-06
Sve
n
V
e
rdoolaege
options: menti
o
n def
a
ult and
av
a
ilable so
l
vers
f
or
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdoo
l
a
ege
polyhe
d
ron_sample: t
a
ke
o
ptions
commit
|
commitdiff
|
tree
2007-06-06
S
ven Verd
o
olaege
doc: more about p
o
wer s
u
m
s
commit
|
commitdiff
|
tree
2007-06-04
Sven
V
erdoolaege
doc
:
typo
commit
|
commitdiff
|
tree
2007-05-30
Sven
V
e
rd
o
ola
e
ge
doc: repe
a
t Matthias' stopped
Barvinok experiment
s
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven Ver
d
oolaege
add b
a
rv
i
nok_su
m
mate to
sum a quasi
-
p
o
l
y
n
o
mial o
v
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven Ver
d
oola
e
g
e
evalue
_
rea
d
:
fix for top-level f
r
a
c
t
i
onal part
commit
|
commitdiff
|
tree
2007-05-14
Sve
n
V
erdoolaege
ber
n
oulli
.
c: Bernou
l
li_sum_ev
a
l
ue: r
e
duce resulting
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
Sve
n
Verdoolaege
bernoulli
.
c: p
e
r
f
o
rm nested su
m
s a
p
pro
x
i
m
ation
depth
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Ve
r
doolaege
a
d
d po
l
ynomi
a
l approximation base
d
on ne
s
ted sums
commit
|
commitdiff
|
tree
2007-05-13
Sven Verd
o
olaege
util
.
c: extract for_each_lower_upp
e
r_boun
d
from ParamLine_L
e
ngth
commit
|
commitdiff
|
tree
2007-05-13
Sven Ve
r
doolae
g
e
decomposer: use NTL
t
o
invert matri
x
rath
e
r th
a
n converi
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
lattice
_
p
o
int
.
c
c: allow rays and verte
x
to have
been
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven
Ve
r
do
o
laege
counte
r
: o
p
timize su
m
ming over p
o
ints in fundapiped
commit
|
commitdiff
|
tree
2007-05-13
Sven Ve
r
d
o
olaege
lattice_poin
t
.
cc: avoid conversion bet
w
een N
T
L and
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
co
n
v
ersion
.
cc: rem
o
v
e
rays2matrix
commit
|
commitdiff
|
tree
2007-05-13
Sven V
e
rdoolae
g
e
eva
l
ue
.
c: evalue_polynomial extracted from barvinok
.
cc
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoo
l
aege
evalue
.
c: add evalue_negate
commit
|
commitdiff
|
tree
2007-05-13
S
v
en Verdoolaeg
e
doc
:
a note on
th
e
connection b
e
twee
n
T
odd po
l
y
n
omials
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
S
v
en Verdoo
l
aege
doc:
p
oints in
f
undapiped: fix typo
commit
|
commitdiff
|
tree
2007-05-10
Sv
e
n Verdool
a
ege
barvinok
.
cc: si
m
p
l
ify dp
o
ly_n co
n
structor
commit
|
commitdiff
|
tree
2007-05-10
Sven Verdoolaege
Remo
v
e "nor
m
ali
z
ation" or p
o
wers
in
d
e
nominato
r
on
.
.
.
commit
|
commitdiff
|
tree
2007-05-09
Sven Verdoolaeg
e
dec
o
mposer
.
cc: pass options to tr
i
ang
u
la
t
e_co
n
e
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoolae
g
e
barvi
n
ok_cou
n
t:
o
ptionally use ex
p
one
n
tial substitutio
n
commit
|
commitdiff
|
tree
2007-05-08
S
ven
Verdool
a
e
g
e
counte
r
.
cc:
extracted from
bar
v
ino
k
.
cc
commit
|
commitdiff
|
tree
2007-05-08
Sv
e
n V
e
rd
o
olaege
dpoly::div: avoid computation
with rationa
l
numb
e
rs
.
.
.
commit
|
commitdiff
|
tree
2007-05-08
S
ven V
e
rdoolaeg
e
dpoly: use Value
instead of ZZ
commit
|
commitdiff
|
tree
2007-05-08
Sven
Verdoolaege
doc: fix t
y
po
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
e
rdoo
l
aege
a
d
d test for l
a
ttice
p
o
int computat
i
on
commit
|
commitdiff
|
tree
2007-05-02
Sven V
e
rdoo
l
aege
evalue_read
.
c: add evalue_read_from_
s
tr for
rea
d
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erdoolaege
evalue_read_from_file: don't m
o
dify v
a
r_list
a
rgum
e
nt
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verdoolaege
ev
a
lu
e
_read: read more general
eval
u
es
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
evalue
_
c
onvert
.
cc: add
m
i
ssing include
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verdoo
l
aege
conversion
.
h: generalize rays2matrix2 to zz2matrix
commit
|
commitdiff
|
tree
2007-05-02
Sven Verd
o
olaege
l
at
t
ice_
p
o
int
.
h: make self
-
contained
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoo
l
a
e
ge
evalue_rea
d
: extract from maximize
.
c
c
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
enumera
t
or: supp
o
r
t
primal
(ha
l
f
-
open) de
c
om
p
ositions
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdool
a
e
ge
enumerator: handle (dual) stopped Barvinok dec
o
mposition
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
latt
i
ce_point
.
c
c: remove unused PD argument
commit
|
commitdiff
|
tree
2007-05-02
S
v
en
V
erdoo
l
aeg
e
lattice_point
.
cc: extract c
o
s
et
g
enera
t
ion
commit
|
commitdiff
|
tree
2007-05-02
Sven Ve
r
doolaege
l
att
i
ce_point
.
cc:
r
ename ceil_mod to fractional_part
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Verdoolaeg
e
lattice_point
.
cc: use some helper f
u
nctions t
o
s
im
p
l
ify
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verdoolaege
l
a
ttice_point
.
cc: implement lo
o
kup-table versi
o
n in
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
S
ven V
e
rdoo
l
aege
move more la
t
tice point computations to la
t
tic
e
_point
.
c
c
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verdoolaege
barvinok
.
cc:
lattice_po
i
nt: r
e
move
a
special case
commit
|
commitdiff
|
tree
2007-05-02
Sven V
e
rdool
a
ege
doc: integer points
i
n fundamental pa
r
allelepiped:
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Verdoolae
g
e
util
.
c
:
export Matrix_Tran
s
position
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoola
e
ge
util
.
c: ex
p
ort V
e
c
t
or_
O
ppos
e
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
scale
.
c: mov
e
P
a
r
am_V
e
rte
x
_Common_Den
o
minator
to param_ut
i
l
.
c
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
e
value
.
c:
a
dd evalue_add_constant
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verdoolaege
evalue
.
c: affi
n
e2evalue:
s
kip zero coeffi
c
i
e
nts
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
evalue
.
c: emul_poly:
e
fficie
n
tly
handl
e
c
as
e
of mult
i
pl
i
cati
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaeg
e
bump version
commit
|
commitdiff
|
tree
2007-04-28
Sven Verd
o
olaege
doc: u
p
date options and s
o
m
e function
commit
|
commitdiff
|
tree
2007-04-28
S
ven Ve
r
d
oolaege
d
o
c:
docu
m
ent volume c
o
mputati
o
n
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
doc: mor
e
repo
r
ts
explaining parts of barvinok
commit
|
commitdiff
|
tree
2007-04-28
S
v
e
n
V
erdoolae
g
e
bern
s
t
e
in: bump version
commit
|
commitdiff
|
tree
2007-04-28
Sven
Verdoolaege
doc: transfo
r
m
a
tion of param
e
ter domain t
o
have
r
evlex
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoola
e
ge
barvinok
.
cc: ba
r
vinok_co
u
n
t
_f: avoid warning on
recursive
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
ut
i
l
.
c: unimodular_c
o
mp
l
ete: handle completion of more
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
S
v
en
V
er
d
oolaege
barvino
k
_enu
m
erate
.
cc: han
d
le a
l
l l
i
ne
s
in -
-
s
e
ries
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
S
v
e
n Verdo
o
l
aege
barvinok_enum
e
rate
.
cc:
s
eri
e
s
:
plug mem
o
ry leak
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
doc
:
d
o
c
u
m
e
nt left_inverse
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
doc: remo
v
e r
e
f
e
rence
t
o o
l
d
b
arvinok_
s
eries applicat
i
on
commit
|
commitdiff
|
tree
2007-04-26
Sv
e
n Verdoolaege
doc: update
e
valu
e
_bernstein_coeffic
i
e
n
ts
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
barvi
n
ok/options
.
h: put stats first in b
a
rv
i
nok
_
o
pti
o
ns
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoo
l
aege
barvinok_
m
a
x
i
m
ize: read_evalue: support relations
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoo
l
aege
bernstein
.
c
c
:
e
valu
e
_bernstei
n
_
c
o
e
fficients
:
handle
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
S
v
en Verdoolaege
barvinok_
m
axim
i
z
e
: e
v
alue_read: allo
w
i
dentifie
r
s to
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
ba
r
vino
k
_maximize: move --(bernste
i
n-)recur
s
e option
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolae
g
e
lib/a
r
gp:
f
ix l
o
gic in hol_cluster_cmp
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
barvin
o
k
_maxim
i
ze: allow specifi
c
ation of th
e
varia
b
les
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoo
l
aeg
e
b
a
rvinok_
m
aximize: barf on unex
p
ected
f
i
rst token
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
d
oc: m
o
r
e
d
o
cuments r
e
f
e
rin
g
to the
l
ibrary
commit
|
commitdiff
|
tree
2007-04-23
Sven
Ver
d
oolaege
evalue_convert
.
cc: evalue_c
o
s
e
t
:
sup
p
ort relations
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
e
value
.
c: print_evalue: alw
a
ys print newline
a
t the e
n
d
commit
|
commitdiff
|
tree
2007-04-23
Sv
e
n Verdool
a
e
g
e
d
oc: multi
v
ari
a
te quasi-polynom
i
als as lists of polynomials
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolae
g
e
evalue_convert
.
c
c:
i
nclude "config
.
h" to pick up USE_FD
S
TR
E
A
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolae
g
e
doc
:
index
a
dditions
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
doc: triangul
a
tion in primal space +
some ty
p
o fi
x
e
s
commit
|
commitdiff
|
tree
2007-04-23
Sven
Verdoolaege
doc: document i
n
ner_point
commit
|
commitdiff
|
tree
2007-04-23
Sven Ver
d
oolaege
doc: r
e
f
er to Ko
e
p
p
e article for simpler motivation
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sv
e
n Verdool
a
ege
doc: more publ
i
cations
(
implicitly)
r
efering to th
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
Sven Verdoolaege
configure
.
in
:
add $(EXEEXT) to optional progra
m
s for
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
Sven Verdoolaege
Makefile
.
am: make s
u
r
e
distribution co
n
tains required
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
S
ven
V
erdoolaeg
e
wo
r
k around incomplete namespa
c
e support in old
c
ompile
r
s
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoola
e
ge
disable some features if fds
t
ream doesn't
c
ompile
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven
V
erdoolaege
barvin
o
k_enu
m
e
r
ate
.
cc: a
v
oi
d
us
e
of fdstream
commit
|
commitdiff
|
tree
next