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
doc: fix typo in Michele Vergne's name
2007-06-16
S
v
en Verdoolaege
ev
a
lu
e
.
c: eva
l
ue_sum:
better han
d
ling
o
f negative values
commit
|
commitdiff
|
tree
2007-06-15
Sven Verdoola
e
ge
evalue
.
c: reo
r
der_terms: fix typo
commit
|
commitdiff
|
tree
2007-06-14
S
v
en Verdoo
l
a
ege
evalue:
decl
a
r
e
f
irst argument of e
m
ul c
o
nst
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdoo
l
a
e
ge
evalue
.
c: e
m
ul: don
'
t
use exp
l
icit_co
m
plement
on ar
g
u
ments
commit
|
commitdiff
|
tree
2007-06-14
Sven Ve
r
d
o
olaege
add
a
t
e
st f
o
r evalue_split_periods
commit
|
commitdiff
|
tree
2007-06-12
Sve
n
Verdoola
e
ge
evalue
.
c: evalue_split_periods: make sure
s
elected
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdool
a
ege
evalue
.
c
: polynomial_p
r
oject
i
on: use evalue_e
x
tr
a
ct_a
f
f
ine
commit
|
commitdiff
|
tree
2007-06-10
S
v
en
Verdool
a
ege
add
a
test for barvinok_maxim
i
ze and barvinok_summate
commit
|
commitdiff
|
tree
2007-06-10
Sven Ver
d
oo
l
aege
barv
i
nok
_
summate: sup
p
ort verifica
t
ion of
r
esul
t
s
commit
|
commitdiff
|
tree
2007-06-10
Sven
V
e
r
doolaege
ev
a
lue
.
c
:
evalue_s
u
m: spl
i
t
into orthants + s
o
me
ref
a
ctoring
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoola
e
ge
b
arvinok_union: use argp for argument parsi
n
g
commit
|
commitdiff
|
tree
2007-06-09
S
ven V
e
rdoo
l
aege
barvi
n
ok_enumerate_union_series_with_options: fix typo
commit
|
commitdiff
|
tree
2007-06-07
Sv
e
n Verdoolaege
bas
i
s_reduc
t
ion_cd
d
.
cc: get
c
orre
c
t
d
ual sol
u
tion
in
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Ve
r
doola
e
ge
ba
s
is_red
u
ction_glpk
.
c: c
o
rrectl
y
set type of row
s
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdool
a
ege
b
asis_redu
c
tion_glp
k
.
c: check for sanity of solu
t
ion
commit
|
commitdiff
|
tree
2007-06-06
Sven V
e
rdoolaege
options: mention default
and avail
a
bl
e
solver
s
for
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
Sven
V
e
rdoolae
g
e
polyh
e
dron_sample: take optio
n
s
commit
|
commitdiff
|
tree
2007-06-06
Sve
n
V
e
rdoolaege
doc
:
mor
e
about power sums
commit
|
commitdiff
|
tree
2007-06-04
Sven Verdoolaege
doc: typ
o
commit
|
commitdiff
|
tree
2007-05-30
Sve
n
Verdoolaege
doc: repeat Matthi
a
s' stopp
e
d Bar
v
ino
k
experiments
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven
V
erdo
o
laege
add ba
r
vinok_summa
t
e to
sum a quasi-poly
n
omial ove
r
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sv
e
n Verdoolaege
evalue_read: fix for
t
op
-
level fract
i
onal pa
r
t
commit
|
commitdiff
|
tree
2007-05-14
S
ven
Verdo
o
laege
ber
n
oulli
.
c
: Bernou
l
li_sum_evalue: reduce
resulti
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
Sven Verdoola
e
ge
bernoull
i
.
c
:
per
f
orm nested sums approxima
t
ion depth
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven V
e
r
doo
l
aege
add pol
y
nomial
a
p
proxima
t
ion based on ne
s
ted
s
ums
commit
|
commitdiff
|
tree
2007-05-13
Sven
V
erdoolae
g
e
util
.
c: extract
f
or_e
a
ch_lower_upp
e
r
_
bound from Par
a
mLin
e
_Lengt
h
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
d
ecomposer: u
s
e NTL to invert
m
a
t
rix rather than con
v
erin
g
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaeg
e
la
t
tice_
p
oin
t
.
cc
:
al
l
ow rays and vertex to hav
e
been
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
S
v
e
n V
e
rdoolaege
counte
r
:
o
ptimize summing ove
r
po
i
n
ts in f
u
nda
p
iped
commit
|
commitdiff
|
tree
2007-05-13
Sve
n
V
er
d
o
ol
a
e
g
e
l
attice_
p
o
int
.
cc: avoid conversi
o
n
be
t
ween NTL and
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sve
n
Verdoo
l
ae
g
e
conversio
n
.
cc:
remove
rays2matrix
commit
|
commitdiff
|
tree
2007-05-13
Sven
Verdoo
l
aege
evalu
e
.
c: evalue_polynom
i
al e
x
tr
a
cte
d
from
barvinok
.
cc
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoo
l
aeg
e
evalue
.
c
:
add evalue_negate
commit
|
commitdiff
|
tree
2007-05-13
S
v
en Verdoolaege
d
o
c: a
note
o
n t
h
e connection betw
e
en Todd poly
n
o
mials
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
d
oc: points
i
n fundapiped: fix typo
commit
|
commitdiff
|
tree
2007-05-10
S
v
en Verdo
o
laege
b
arvinok
.
cc: simplif
y
dpol
y
_n con
s
tructor
commit
|
commitdiff
|
tree
2007-05-10
Sven Verdoolaege
Remove "normalization" or powers in denom
i
nator on
.
.
.
commit
|
commitdiff
|
tree
2007-05-09
Sven Verdoolaege
deco
m
poser
.
cc: pass options to triangula
t
e_cone
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoolaege
barv
i
nok_cou
n
t:
o
ptionally use e
x
ponential sub
s
titution
commit
|
commitdiff
|
tree
2007-05-08
S
ven Verdoolaege
cou
n
ter
.
cc: ext
r
a
cted from barvinok
.
cc
commit
|
commitdiff
|
tree
2007-05-08
Sven V
e
rdoolaege
d
poly::d
i
v: avoi
d
computation
w
it
h
rational num
b
e
r
s
.
.
.
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdo
o
laege
dpo
l
y: u
s
e Value instead of ZZ
commit
|
commitdiff
|
tree
2007-05-08
S
ven Verdoolae
g
e
d
oc: fix
typo
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdool
a
e
ge
a
dd test for latt
i
c
e
poin
t
comp
u
tation
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
oolaege
eval
u
e
_
read
.
c:
a
dd evalue_read_from_str for r
e
ading
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
eva
l
ue_read_from_file: don't modify
v
a
r
_lis
t
a
r
gument
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
evalu
e
_read:
r
ead more ge
n
eral
e
va
l
ues
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verd
o
ol
a
ege
ev
a
lue_
c
onver
t
.
cc:
a
dd missi
n
g
include
commit
|
commitdiff
|
tree
2007-05-02
Sven Ve
r
doolaege
conversion
.
h:
generalize
r
ays2matrix2 to zz2matr
i
x
commit
|
commitdiff
|
tree
2007-05-02
S
v
e
n Verdoolaege
l
a
ttice
_
po
i
nt
.
h: make self-con
t
ai
n
ed
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaeg
e
evalue
_
read: extract from maximize
.
cc
commit
|
commitdiff
|
tree
2007-05-02
S
ven
V
erdoo
l
aege
enumerator: support primal
(
half-open) decompositions
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
er
d
oolaege
e
n
umerator: handle
(
dual) stopped Barv
i
nok dec
o
mposition
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoo
l
aege
lattic
e
_p
o
int
.
cc: remov
e
unused PD a
r
gument
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
lattice_poin
t
.
cc: extract coset
ge
n
era
t
ion
commit
|
commitdiff
|
tree
2007-05-02
S
v
e
n Verdoolaege
lattice
_
point
.
cc: rename ceil_
m
o
d
to fract
i
onal_p
a
rt
commit
|
commitdiff
|
tree
2007-05-02
S
v
e
n
Verdoo
l
aege
l
a
tt
i
ce_point
.
cc: us
e
some hel
p
er functi
o
ns to simplify
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verdoolaege
l
attice_point
.
cc: i
m
ple
m
ent lookup-table versio
n
i
n
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verdoola
e
g
e
move more lattice
point computatio
n
s to lattice_po
i
nt
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaeg
e
barvinok
.
cc: lattic
e
_point: r
e
move a special case
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Ver
d
oolaege
doc:
i
nteg
e
r poi
n
t
s
in fundamenta
l
pa
r
a
llelepiped:
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven V
e
r
d
oolaege
util
.
c
:
export Matrix_
T
r
a
nsposi
t
i
on
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
uti
l
.
c: ex
p
ort Vecto
r
_Oppose
commit
|
commitdiff
|
tree
2007-05-02
Sven Ve
r
doolaege
scale
.
c
:
move Param_Vert
e
x_Common_Denominator to
p
a
ram
_
util
.
c
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verd
o
ola
e
ge
eva
l
ue
.
c: ad
d
eval
u
e_add_consta
n
t
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
evalue
.
c:
a
ffine
2
evalue:
sk
i
p zero co
e
f
ficients
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdo
o
l
aege
eva
l
ue
.
c:
e
mul_poly: effic
i
ently
h
a
ndle case of m
u
l
t
iplicati
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolae
g
e
bump
ve
r
sio
n
commit
|
commitdiff
|
tree
2007-04-28
Sven Ver
d
oolaege
doc: update opt
i
ons and s
o
m
e fu
n
c
tio
n
commit
|
commitdiff
|
tree
2007-04-28
Sve
n
V
e
rdool
a
eg
e
doc: document volume comput
a
tion
commit
|
commitdiff
|
tree
2007-04-28
Sven Verd
o
olaege
d
o
c:
more rep
o
rts exp
l
aining parts
of barvinok
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
ber
n
ste
i
n: bump version
commit
|
commitdiff
|
tree
2007-04-28
Sven Verd
o
olaege
doc
:
tra
n
sforma
t
ion of par
a
me
t
e
r
d
omain
to hav
e
revlex
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sv
e
n Verdoolaege
barvin
o
k
.
cc: ba
r
vinok_count_f
:
avoid
w
arning on re
c
ur
s
ive
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sv
e
n
V
erdoola
e
g
e
ut
i
l
.
c:
u
nimodular_c
o
mplete: handle completion of mo
r
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven Verd
o
olaege
barvinok_enumerate
.
cc: handle all lines i
n
-
-
series
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
b
a
r
v
inok
_
enumerate
.
cc: series: plug memo
r
y leak
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
doc: document left
_
inv
e
rse
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
doc:
re
m
o
ve r
e
feren
c
e to old barvinok_serie
s
application
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolae
g
e
doc: updat
e
evalue
_
bernstein_c
o
efficien
t
s
commit
|
commitdiff
|
tree
2007-04-26
Sv
e
n Verdoolaege
b
a
rvi
n
ok/options
.
h: put stat
s
first
in barvinok
_
options
commit
|
commitdiff
|
tree
2007-04-25
S
v
en Verdoolaege
bar
v
i
n
ok_maximize: read_evalue
:
su
p
port rela
t
ions
commit
|
commitdiff
|
tree
2007-04-25
Sv
e
n Verdoolae
g
e
b
e
rnstein
.
c
c: ev
a
lue_bernstein
_
coeff
i
cients
:
handle
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Ver
d
oolaege
barvinok_maximize: evalue_read: allow id
e
n
tif
i
ers
t
o
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven
V
erdo
o
la
e
g
e
b
a
rvinok_maxi
m
ize
:
move --(bernstei
n
-
)recurse o
p
tion
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoo
l
aege
lib/argp: fix logic in ho
l
_cluste
r
_cmp
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
barvinok_maximiz
e
:
al
l
o
w specification of the variables
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven
V
e
rdoolaege
barvinok_max
i
mize: barf on unexpected first toke
n
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
doc:
m
ore doc
u
ments refering to the l
i
brary
commit
|
commitdiff
|
tree
2007-04-23
Sven Ve
r
dool
a
e
g
e
evalue_convert
.
cc: ev
a
lue
_
c
oset:
s
uppo
r
t
r
elation
s
commit
|
commitdiff
|
tree
2007-04-23
S
v
e
n Verdoola
e
ge
evalue
.
c: pr
i
nt_eva
l
ue
:
always pri
n
t newline at
the
e
n
d
commit
|
commitdiff
|
tree
2007-04-23
Sven Verd
o
olaege
d
o
c:
m
u
l
tivariate quasi-poly
n
o
m
ials as
lis
t
s of p
o
lynomials
commit
|
commitdiff
|
tree
2007-04-23
S
ven Verdoolaege
eva
l
u
e
_convert
.
cc: include
"
co
n
fig
.
h
"
t
o p
i
ck up USE_
F
D
STREA
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
S
v
en
V
erdool
a
ege
doc: index
a
dditions
commit
|
commitdiff
|
tree
2007-04-23
S
v
en
Verdoolaege
d
oc: tri
a
ngula
t
ion in primal spa
c
e
+
some typo fixes
commit
|
commitdiff
|
tree
2007-04-23
Sve
n
Verdoolaege
doc: documen
t
inner_poin
t
commit
|
commitdiff
|
tree
2007-04-23
Sve
n
V
e
rdoo
l
aege
doc: refer t
o
Koeppe ar
t
icle for sim
p
ler motivation
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
d
oc: more
p
ub
l
ications (
i
mplicitly)
referi
n
g
to the
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
Sve
n
V
erdo
o
laeg
e
c
onfi
g
ure
.
in: add $(EX
E
EXT)
t
o
optional programs for
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
Sven Verdoolaege
Makefil
e
.
am: make sure dis
t
ribution contains
r
e
q
uired
.
.
.
commit
|
commitdiff
|
tree
next