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
volume.c: avoid warnings
2007-07-29
Sve
n
V
e
r
d
oolaege
volume
.
c:
a
v
o
id warnings
commit
|
commitdiff
|
tree
2007-07-27
Sven Verdoolaeg
e
export
Para
m
_
Inner_Product
commit
|
commitdiff
|
tree
2007-07-25
Sv
e
n Verdo
o
laege
barvinok_enum
e
ra
t
e
.
cc: add mi
n
im
a
l
check on input
commit
|
commitdiff
|
tree
2007-07-19
Sv
e
n Verdool
a
e
ge
m
o
re prototype changes to const char *
commit
|
commitdiff
|
tree
2007-07-19
Sv
e
n Ve
r
d
oolaege
eval
u
e: pr
i
n
t_evalue: make parameter na
m
es const char*s
commit
|
commitdiff
|
tree
2007-07-11
Sven Verdoolaege
A
l
w
a
ys compile po
l
ytope_scan
commit
|
commitdiff
|
tree
2007-07-11
Sven
V
erdool
a
ege
pol
y
tope_scan
:
use argp fo
r
arg
u
ment
parsing
commit
|
commitdiff
|
tree
2007-07-05
S
ven Verdoolaege
doc
:
fi
x
typo
commit
|
commitdiff
|
tree
2007-07-04
Sv
e
n Verdoolaege
conf
i
g
ure
.
in: allow
specification of default
p
refix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sven V
e
rdoolaege
co
n
solidate calls
t
o Polyhedron2Pa
r
am_Do
m
ain
commit
|
commitdiff
|
tree
2007-07-03
Sven Verdool
a
ege
volu
m
e
.
c: fix typ
o
in comment
commit
|
commitdiff
|
tree
2007-07-01
Sve
n
Verdoolae
g
e
Makefil
e
.
am: a
d
d $(EXEEXT) for
c
ygw
i
n
commit
|
commitdiff
|
tree
2007-07-01
Sven
Verdoola
e
ge
Makefile
.
am: force rebu
i
ld librarie
s
i
n
subdirs if
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
S
ve
n
Verdoolaege
onl
y
test barvinok
_
ma
x
im
i
ze i
f
it has been/ca
n
be c
r
eated
commit
|
commitdiff
|
tree
2007-06-30
S
ven V
e
rdoolaeg
e
ba
r
vinok 0
.
24
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdoola
e
ge
testlib
.
cc
:
wor
k
around inco
m
p
l
ete namespace support
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verd
o
ola
e
ge
scale
.
c: enumerate_narro
w
_f
l
ated: don't s
i
mplify constraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verd
o
ol
a
ege
declare var
i
abl
e
s
at st
a
r
t of co
d
e block
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdo
o
laege
doc: update documentation of options and
some f
u
nctions
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
P
o
lyhedron_Sam
p
le: factor
polyhe
d
ron
if
p
os
s
ible
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdoolaege
Polyhedron_Sample: compute vertices of 1D
po
l
yh
e
dr
a
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Po
l
yhedron_S
a
mple: remo
v
e all eq
u
ali
t
ie
s
from
pol
y
h
edron
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdool
a
ege
a
d
d po
s
s
ibility to use GL
P
K as
L
P solv
e
r
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Polyhe
d
ron_
S
amp
l
e: postpon
e
remov
a
l of
rays until we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
e
n Verdoolaege
P
olyhedron_Sam
p
le: use lp
solver for
f
inding range
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verdoolaege
le
x
min: m
o
v
e
c
hoice o
f
lp solve
r
to u
s
e outside ba
s
is
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoo
l
aege
p
o
lysign
.
h
:
use correct name of PL_polyhedron_af
f
ine_s
i
gn
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
b
a
rvinok_enu
m
er
a
te: pl
u
g
memory l
e
ak
i
n
Bernoulli
approxim
a
tio
n
commit
|
commitdiff
|
tree
2007-06-30
S
v
e
n Verdoola
e
g
e
barvinok
_
enumerate_e_r
:
d
o
n't assume AddCon
s
traints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
e
n Verdoolaege
evalue_
f
rac2polyn
o
mial: rech
e
c
k evalue after evalue_split_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
util
.
c:
L
i
n
e
_Length: don't
g
et confused by
p
osit
i
v
i
ty
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Ma
k
efile
.
a
m
:
stop after
f
irst failed test
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolaege
ber
n
stein: carry through variable renami
n
g to debugging
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sven
V
erdo
o
laege
bernstein: d
o
n
'
t
a
ssume
i
nput polynomia
l
has
b
ee
n
ex
p
a
n
ded
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolaege
evalue_r
e
ad
.
c: correct constness of n
a
me in par
a
meter_
n
e
w
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolaege
evalue_read:
accept constant multiple of va
r
iable
w
ithout
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sven Ver
d
ool
a
ege
evalue
.
c: evalue_sum: better handling of nega
t
iv
e
v
a
lues
commit
|
commitdiff
|
tree
2007-06-15
S
v
en Verd
o
olaege
evalue
.
c: reorder_t
e
rms: fix typo
commit
|
commitdiff
|
tree
2007-06-14
S
v
en Verdoo
l
aeg
e
evalue: d
e
clare
first
a
rgument of
e
mul const
commit
|
commitdiff
|
tree
2007-06-14
Sve
n
Verdo
o
laege
evalue
.
c: emul: don't use e
x
plicit
_
complement
o
n
a
rg
u
ments
commit
|
commitdiff
|
tree
2007-06-14
Sv
e
n Verdoolae
g
e
a
d
d a t
e
s
t
for evalue_s
p
lit_periods
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdool
a
ege
evalu
e
.
c: eva
l
ue
_
split
_
periods: make
s
ure select
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdo
o
laege
evalu
e
.
c
: polynomia
l
_project
i
on: use evalue_extract
_
affine
commit
|
commitdiff
|
tree
2007-06-10
Sven Ve
r
do
o
laege
a
dd a test
f
o
r
barvi
n
ok_maximize and
ba
r
vinok_sum
m
at
e
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdool
a
ege
barvino
k
_summate: support
v
e
ri
f
ication of re
s
ults
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdool
a
e
g
e
e
v
alue
.
c: evalu
e
_sum: split i
n
t
o
orthants + so
m
e re
f
actoring
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoola
e
ge
barvinok_union: use argp for
a
rg
u
m
ent pa
r
s
i
n
g
commit
|
commitdiff
|
tree
2007-06-09
S
v
e
n
Ver
d
oola
e
ge
barvinok_enumerate_union_series_with_options: fix
t
y
po
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoolaege
basis
_
reduction_cdd
.
cc: get correct dual solu
t
ion in
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven
V
erdo
o
l
aege
basis_reduction_glp
k
.
c:
corr
e
ctly s
e
t type of
r
ows
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
S
ve
n
Verdoolaege
b
a
s
is_reduction_glpk
.
c: c
h
eck for san
i
t
y of s
o
lutio
n
commit
|
commitdiff
|
tree
2007-06-06
Sven V
e
rd
o
o
laege
option
s
: m
e
ntion default and avail
a
ble solver
s
f
or
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
Sven
V
erdoola
e
g
e
p
ol
y
hedron_sample: take options
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdoolae
g
e
doc: more about p
o
wer sums
commit
|
commitdiff
|
tree
2007-06-04
Sven Verdoolaege
doc:
t
ypo
commit
|
commitdiff
|
tree
2007-05-30
Sven V
e
rdoola
e
ge
doc: repeat Matthias' s
t
opped
B
arvin
o
k
experi
m
ent
s
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
S
v
en
V
e
r
doolaege
a
d
d
b
arvinok_summate to sum a
q
uasi-pol
y
n
omial over
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven Verdool
a
e
ge
evalu
e
_
read: fix
f
or top-level fracti
o
n
a
l part
commit
|
commitdiff
|
tree
2007-05-14
Sven Verdoolaege
ber
n
oulli
.
c: Bernoul
l
i_s
u
m_evalue: re
d
uce resu
l
ting
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
Sv
e
n
Ver
d
oolaege
bernoulli
.
c: perform nested sums
appr
o
xima
t
ion depth
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
S
ve
n
Verdo
o
laege
add polyn
o
mial approximation
b
ased on ne
s
ted sums
commit
|
commitdiff
|
tree
2007-05-13
Sve
n
Verdoolaege
u
t
il
.
c:
e
xtr
a
ct for
_
each_lower_
u
pper
_
bound
from
P
ara
m
Line_Length
commit
|
commitdiff
|
tree
2007-05-13
Sv
e
n Verdoolaege
de
c
omp
o
ser: use NTL to invert
ma
t
r
ix
rath
e
r
t
h
a
n
converin
g
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
lattice_po
i
nt
.
c
c: allow rays and
v
er
t
ex to
have been
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven
Verd
o
olaege
count
e
r: o
p
tim
i
z
e summi
n
g
ov
e
r
point
s
in fundapiped
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
lattice_point
.
cc: avoid convers
i
on betwee
n
NTL and
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
conve
r
sion
.
cc
:
re
m
ove rays
2
matrix
commit
|
commitdiff
|
tree
2007-05-13
Sven
Ver
d
oolaege
evalu
e
.
c: evalue
_
polyn
o
mial ext
r
acted
f
r
o
m bar
v
inok
.
cc
commit
|
commitdiff
|
tree
2007-05-13
Sv
e
n V
e
rdoolaege
ev
a
lue
.
c
:
a
d
d
e
value_
n
e
gate
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoola
e
ge
doc:
a
no
t
e on
the co
n
n
e
ction
b
etween Todd polyn
o
mials
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Ve
r
doola
e
ge
doc: poi
n
ts in fundapiped
:
fix typo
commit
|
commitdiff
|
tree
2007-05-10
Sven
V
e
r
do
o
laege
barvin
o
k
.
cc: simplif
y
d
poly
_
n
c
o
ns
t
r
u
ctor
commit
|
commitdiff
|
tree
2007-05-10
Sve
n
Verdoolaege
Rem
o
v
e "normaliza
t
ion"
or powers in denominator on
.
.
.
commit
|
commitdiff
|
tree
2007-05-09
Sv
e
n Verdoolaege
decomp
o
ser
.
cc
:
pa
s
s options to
t
riangula
t
e_
c
o
n
e
commit
|
commitdiff
|
tree
2007-05-08
Sven
V
e
r
doolaege
barvinok_count: o
p
tionally use
e
xponential substitut
i
on
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoolaege
counter
.
cc: e
x
tracted from barvinok
.
cc
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoolaeg
e
dpoly::div
:
av
o
id computation w
i
th r
a
tional num
b
ers
.
.
.
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoolaege
dpol
y
: use V
a
l
ue instead of ZZ
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdool
a
e
g
e
d
o
c: f
i
x typo
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verdoolaege
add test for
lattic
e
point c
o
mput
a
t
i
on
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verdoolaege
ev
a
lue_
r
ead
.
c: ad
d
evalue_read_from_
s
t
r for readin
g
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Ve
r
doolaege
evalue
_
read_from_fi
l
e: don't
m
odify va
r
_list argumen
t
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdo
o
laege
evalue_read: read more gene
r
al evalu
e
s
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n V
e
rdoolaege
e
v
alue_co
n
ve
r
t
.
cc
:
a
d
d
m
i
s
s
ing
in
c
lude
commit
|
commitdiff
|
tree
2007-05-02
S
v
en V
e
rdo
o
l
a
ege
c
onversion
.
h: g
e
neralize rays2ma
t
rix2 to
z
z2matrix
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
o
o
l
a
ege
lattice_point
.
h: make sel
f
-contained
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolae
g
e
e
va
l
ue
_
read: extract
f
rom maximize
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verdoo
l
a
e
ge
enumerat
o
r
:
s
u
pport primal (ha
l
f-open
)
d
ecomp
o
sitions
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verdoolaege
en
u
merator: handle (dual)
s
topped
Barvino
k
de
c
ompos
i
t
i
on
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaeg
e
lattice_point
.
cc: remove
unu
s
ed PD argum
e
nt
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolae
g
e
lattice
_
p
o
int
.
cc: extract co
s
et
generation
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
latti
c
e_point
.
cc: rename c
e
il_
m
od
t
o
f
ractional_part
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verdoolaege
lattic
e
_point
.
cc: use some helper fu
n
ctio
n
s
t
o s
i
mplify
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verd
o
ol
a
e
g
e
l
a
ttice
_
p
o
int
.
cc: implement lookup
-
table version in
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
S
v
en V
e
rdoolaege
move
m
ore
lattice point computations to lattice_point
.
cc
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Ver
d
oolaege
barvinok
.
cc:
lat
t
ice_point:
remove a
s
p
e
c
ial case
commit
|
commitdiff
|
tree
2007-05-02
Sven V
e
rdoolaege
d
oc: integer points i
n
fun
d
amental parallelepip
e
d:
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verdool
a
ege
util
.
c: expor
t
M
a
trix_Transpositi
o
n
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
util
.
c: export V
e
c
tor_Oppose
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erdo
o
lae
g
e
scale
.
c: move Par
a
m_Vertex_Com
m
o
n_D
e
nominat
o
r to para
m
_util
.
c
commit
|
commitdiff
|
tree
next