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
util.c: export Vector_Oppose
2007-05-02
Sven Verdo
o
laege
ut
i
l
.
c: export V
e
ctor
_
Oppose
commit
|
commitdiff
|
tree
2007-05-02
S
v
en
V
erdool
a
ege
scale
.
c: move
P
aram_V
e
rtex_Com
m
on
_
D
enominator to par
a
m_uti
l
.
c
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoola
e
ge
evalu
e
.
c
:
add evalue_add_c
o
nstant
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
evalue
.
c:
affi
n
e
2ev
a
lue:
s
k
ip zero coeffic
i
e
nt
s
commit
|
commitdiff
|
tree
2007-05-02
S
v
e
n Verdoolaege
e
v
alue
.
c: em
u
l_
p
oly: effic
i
ent
l
y handle ca
s
e
of multiplicati
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Ver
d
oolaeg
e
bump v
e
rsion
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolae
g
e
d
oc: update options an
d
some functio
n
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
doc: document volum
e
co
m
putation
commit
|
commitdiff
|
tree
2007-04-28
Sven V
e
rdoolae
g
e
doc: mor
e
reports expl
a
ini
n
g
p
arts
o
f
barvinok
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
bernstein: bump versi
o
n
commit
|
commitdiff
|
tree
2007-04-28
S
v
en Verd
o
o
l
aege
d
o
c:
trans
f
o
r
mation
o
f
parameter domain to h
a
ve revlex
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sve
n
V
e
rdool
a
ege
bar
v
ino
k
.
cc: barvinok_
c
ount_f: avoid warning
o
n recu
r
sive
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sve
n
Verdoolaege
util
.
c: unimodular_complete: handl
e
comp
l
etion of
m
or
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven Verd
o
o
l
aege
barvinok_enumerate
.
cc: h
a
ndle all lines in --series
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdo
o
laege
b
arvinok_enumera
t
e
.
cc: s
e
ries: plug
m
e
m
ory le
a
k
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoola
e
ge
doc: document left_i
n
vers
e
commit
|
commitdiff
|
tree
2007-04-26
Sven Ve
r
doolaege
do
c
:
remove reference t
o
old bar
v
inok_series
app
l
ication
commit
|
commitdiff
|
tree
2007-04-26
S
v
e
n Verdoolaege
doc: update e
v
alue_bernstein_co
e
fficients
commit
|
commitdiff
|
tree
2007-04-26
Sven
V
e
rdoolaege
barvin
o
k/
o
pt
i
ons
.
h: put s
t
ats first in barvinok_opt
i
ons
commit
|
commitdiff
|
tree
2007-04-25
Sve
n
Ve
r
doo
l
aege
barvinok
_
maximize: read_evalue: support r
e
l
a
tion
s
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
bernstein
.
c
c: ev
a
l
ue_berns
t
ein_coefficients: h
a
ndle
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
barvinok_maximize: evalue_re
a
d: allow ide
n
tifiers to
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
S
ven Verdool
a
eg
e
b
arvinok_maximi
z
e: move --(bernstein-)recur
s
e o
p
tion
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaeg
e
l
ib
/
a
r
gp:
fi
x
l
o
gic
in hol_cluster_cmp
commit
|
commitdiff
|
tree
2007-04-25
Sven V
e
rdool
a
ege
barvinok_ma
x
imize: allow speci
f
ication of the variables
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sve
n
Ve
r
doolaege
b
a
rvin
o
k
_
m
aximize:
b
arf
o
n unexpe
c
t
ed fi
r
st token
commit
|
commitdiff
|
tree
2007-04-23
S
ven Verd
o
o
la
e
ge
doc:
more documents ref
e
ring t
o
the library
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoo
l
aege
evalue_convert
.
cc: eva
l
ue_coset
:
supp
o
rt relations
commit
|
commitdiff
|
tree
2007-04-23
S
v
en Verdoolaege
eva
l
ue
.
c: print_
e
value: al
w
a
ys print n
e
wline at th
e
e
n
d
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
doc: m
u
l
ti
v
a
riate q
u
asi
-
polyn
o
m
ials
as
l
ists of
p
olynomi
a
ls
commit
|
commitdiff
|
tree
2007-04-23
S
ven Verdoolae
g
e
eva
l
ue_conver
t
.
cc: inc
l
ude "conf
i
g
.
h"
to pick up USE_FDSTRE
A
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
S
v
en Verdoolaege
d
o
c: index additions
commit
|
commitdiff
|
tree
2007-04-23
Sven Ver
d
oolaege
d
oc: t
r
iangulat
i
on
i
n pr
i
mal
s
pace +
s
ome typo fixes
commit
|
commitdiff
|
tree
2007-04-23
S
ven
V
e
r
doolaege
doc: doc
u
m
e
n
t inne
r
_
point
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
doc: r
e
fer
to Koeppe a
r
ti
c
le
f
or
s
impler m
o
tivation
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
S
v
en
V
erdoo
l
a
e
ge
doc: m
o
re pu
b
l
i
cations (impl
i
citly)
r
eferin
g
to the
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
Sven Verdoolaege
configure
.
in: ad
d
$(EX
E
E
XT)
to optional pr
o
g
r
a
ms for
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
Sven Verd
o
ol
a
ege
Mak
e
file
.
am:
make
s
ure d
i
stributi
o
n contains
requir
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven
Verdoolaege
work
around incomplete
na
m
espace support in old compilers
commit
|
commitdiff
|
tree
2007-04-19
Sven V
e
rdoo
l
a
ege
di
s
abl
e
some features if fd
s
trea
m
doesn't compile
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Ve
r
doo
l
aege
b
a
rvinok
_
en
u
m
e
rate
.
cc: a
v
oid use of fdstrea
m
commit
|
commitdiff
|
tree
2007-04-19
Sv
e
n Verdool
a
e
ge
bar
v
inok_enumer
a
te: don'
t
print (non-existing)
e
valu
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
S
v
en Verd
o
olaege
e
d
oma
i
n
.
c
c
: avoid use of fds
t
r
eam
commit
|
commitdiff
|
tree
2007-04-19
Sven
Ver
d
oolaege
c
o
n
figure
.
in: check for
p
olylib
/
p
o
ly
l
ibg
m
p
.
h
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
dec
l
are variable at
s
tart
o
f c
o
de bl
o
ck
.
commit
|
commitdiff
|
tree
2007-04-18
Sven Verdoolaege
M
a
kefile
.
am: reb
u
i
ld
l
ibraries in subdi
r
s
if missing
commit
|
commitdiff
|
tree
2007-04-18
Sven Verdoolaege
barvinok_enumerate:
r
echec
k
for
e
q
u
alities a
f
ter
"
var
i
able
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
Sven Ve
r
d
oolaeg
e
d
oc: a vo
t
in
g
t
h
eory rep
o
rt that
refers to
the li
b
rary
commit
|
commitdiff
|
tree
2007-04-15
S
v
e
n
Verdoolaege
doc: update p
r
ima
l
Barvinok ref
e
rence
commit
|
commitdiff
|
tree
2007-04-15
S
ven Verdo
o
laege
d
oc: add journal v
e
rsion of improved derivation
paper
commit
|
commitdiff
|
tree
2007-04-13
S
v
e
n Ver
d
oolaege
volume
.
c:
keep track of nu
m
ber of simpli
c
es in volume
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
S
ven Verdoolaege
test_appro
x
: test volume c
o
m
put
a
tion variations
commit
|
commitdiff
|
tree
2007-04-13
S
ven
V
erdoolaege
volu
m
e
.
c: volu
m
e_triangulate: use verte
x
instead of
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
v
e
n
V
e
r
d
o
o
l
a
eg
e
volume
.
c: face_ve
r
t
ic
e
s: us
e
Par
a
m
_
Inner_Product
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
Call set_
p
rogram_name before cal
l
ing argp_parse
.
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
Ve
r
doola
e
g
e
reduc
e
_doma
i
n:
exploit that no c
a
l
ler uses Polyh
e
d
ro
n
2Param_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Ver
d
oolaege
lexmin:
s
top using
P
olyhedron2P
a
ram_Simplifie
d
Doma
i
n
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
barvinok
.
cc: stop usi
n
g
Pol
y
h
edr
o
n2
P
a
ram_Simplifie
d
Domain
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaeg
e
Require a v
e
r
si
o
n
of
PolyLi
b
that co
m
p
u
t
es correct
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
ven
Verdoo
l
aege
volume
.
c
:
non
_
emp
t
y_po
i
nt: simply
use i
n
ternal poin
t
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
a
d
d an ehrhart exa
m
ple
w
ith interesting cham
b
e
rs
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
test_appro
x
:
test
chamber ba
s
ed
scaling
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
scale
.
c: option
a
lly perform
s
c
a
l
i
n
g on in
d
ividual chambers
commit
|
commitdiff
|
tree
2007-04-12
Sven V
e
r
d
oolaege
b
a
rvi
n
ok_e
n
umerate:
use "varia
b
le compr
e
ssion" to remove
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
erdoolaege
util
.
c: left_inverse
:
ha
n
dle
c
o
n
stant
m
ap
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
e
v
alue
.
c: evalue_subst
i
tute: m
o
v
e
from edomain
.
cc
commit
|
commitdiff
|
tree
2007-04-12
S
ven Verdoolaege
e
valu
e
.
c:
a
ffine2e
v
alue: extracted from volume
.
c
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdo
o
laege
r
edu
c
e_
d
omain: partit
i
o
n
c
h
a
mber complex based on
inner
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdoolaege
reduce_domain
.
c
: extract inner_point and is_i
n
ternal
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verd
o
ol
a
ege
red
u
ce_domain: check for adjacent chambers i
n
simpli
f
ied
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
S
v
e
n
Verdoola
e
ge
FORA
L
L_RED
U
C
E
D_DOMAIN:
e
xtract common
h
a
ndling of red
u
c
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
S
ven
Ve
r
d
o
ol
a
ege
barvinok_enumerate:
m
o
ve recur
s
ive ca
l
l
d
u
r
i
ng
s
c
a
lin
g
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
barvino
k
.
cc:
Par
a
m_Polyhedron_Enumer
a
te:
e
xtracte
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven V
e
rdoo
l
aeg
e
ad
d
some
interesting test ca
s
es
f
or volume computation
commit
|
commitdiff
|
tree
2007-04-09
Sven
Verdo
o
laege
perform ver
y
basic pol
y
nomi
a
l a
p
proxi
m
atio
n
t
e
s
t
commit
|
commitdiff
|
tree
2007-04-09
Sven V
e
rdoolaege
test_approx: compar
e
differ
e
nt polynomial approximations
commit
|
commitdiff
|
tree
2007-04-08
Sv
e
n Verdo
o
la
e
g
e
evalue_convert
.
cc
:
p
a
rtial suppo
r
t
for pr
i
ntin
g
in
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Verd
o
olaege
Param_Polyhedron_Volume
:
perform lifting tri
a
ngu
l
ation
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
S
v
en
V
erdool
a
e
g
e
volume
.
c: introduce par
a
meter_poin
t
abst
r
acti
o
n
commit
|
commitdiff
|
tree
2007-04-08
Sven Ve
r
doolaege
scale
.
c: export Param_Vertex_Co
m
m
o
n_Denominator
commit
|
commitdiff
|
tree
2007-04-08
S
v
en Verdoolaege
volume
.
c:
d
rop
redundant argume
n
ts to volume_
s
implex
commit
|
commitdiff
|
tree
2007-04-08
Sven Ve
r
doolaege
optio
n
s
.
c:
s
eparate poly
n
omial approximation related
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Ve
r
d
o
olaege
barvino
k
_
op
t
ions_new_with_defaults: initialize sc
a
le_fla
g
s
commit
|
commitdiff
|
tree
2007-04-07
Sven Ver
d
oolaege
triangulat
e
_cone: skip Delau
n
a
y
trian
g
ulation by
d
efault
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolaege
e
v
al
u
e_c
o
nvert:
print lattice when pr
i
nting as list
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolaege
evalue_convert: add v
e
rbose argument and retu
r
n 1 if
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Verdoolaege
Polyhedron_Flate: int
e
rsect inflate
d
po
l
ytope w
i
th
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Ve
r
d
oolaege
doc:
b
i
b
:
fi
x
up
n
ame
in
t
itle of A
l
gorithmica paper
commit
|
commitdiff
|
tree
2007-04-05
Sven Verdoolaege
add m
i
ss
i
ng volume
.
h fil
e
commit
|
commitdiff
|
tree
2007-04-04
Sve
n
Ver
d
oolaege
volu
m
e
.
c: delay
computation
o
f point
where
v
olume i
s
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
Sven Verdoolaege
Param_Polyhe
d
ron_Volu
m
e: set p
o
lynomial_ap
p
roximation
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
volum
e
.
c: al
l
ow
comput
a
tion of low
e
r and upper bound
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Ve
r
doolaege
scale: export Polyhed
r
on_Flate
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
barvinok_en
u
merate: optionally compute "volume" polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
S
v
e
n Ve
r
doolaege
po
l
ytop
e
_volume: com
p
ut
e
volume of par
a
metric
p
oly
t
ope
commit
|
commitdiff
|
tree
2007-04-03
S
ven Ver
d
ool
a
e
ge
reduc
e
_domain
.
c: plug memory leak
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaeg
e
verify
.
c: m
o
ve c
o
mputation of true
c
ontext into check_p
o
ly_c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Ver
d
oo
l
aege
scale
.
c: add simplified
m
e
thod of comput
i
ng tighte
r
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolae
g
e
barvinok_
e
n
umerate: op
t
ionally comput
e
tighter polyn
o
mial
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
ven Verdoolaege
pol
y
hedron_s
a
mp
l
e
.
c:
re
m
ove redundant M
A
XRAYS de
f
ine
commit
|
commitdiff
|
tree
next