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
bump version
2007-04-28
Sven Verdoo
l
aege
bum
p
ve
r
s
i
o
n
commit
|
commitdiff
|
tree
2007-04-28
Sve
n
Verdoolae
g
e
do
c
: update o
p
tio
n
s
a
nd some funct
i
on
commit
|
commitdiff
|
tree
2007-04-28
Sv
e
n
Verd
o
olaege
doc: documen
t
v
olume compu
t
a
t
ion
commit
|
commitdiff
|
tree
2007-04-28
Sven Ve
r
doola
e
ge
d
o
c: more
report
s
exp
l
a
ining parts of barvinok
commit
|
commitdiff
|
tree
2007-04-28
Sven Ve
r
doolaege
bernstein: bump ver
s
i
o
n
commit
|
commitdiff
|
tree
2007-04-28
Sv
e
n Verdoolaege
doc: transformati
o
n of
p
a
r
amet
e
r
d
om
a
in
t
o
hav
e
r
e
v
lex
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
S
v
en Verdoolaege
b
a
rvin
o
k
.
cc: barvinok_
c
ount_
f
: avoid warning on rec
u
rsive
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven
Verdoolaege
util
.
c:
u
nim
o
dular_comple
t
e: handle completion
o
f more
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
S
ven Verdo
o
l
aege
barvinok_enumerate
.
cc: handle all line
s
in --s
e
r
i
e
s
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
barvinok_enumerate
.
cc: series: p
l
u
g m
e
mory
l
ea
k
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
doc
:
document l
e
ft_inverse
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolae
g
e
doc:
rem
o
ve
r
eference to old
barvinok_seri
e
s ap
p
lica
t
ion
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
doc: updat
e
evalue_b
e
rnstein_coe
f
ficients
commit
|
commitdiff
|
tree
2007-04-26
Sven Verd
o
o
l
aege
bar
v
inok/
o
ptions
.
h: pu
t
s
t
ats fi
r
st in barvinok_options
commit
|
commitdiff
|
tree
2007-04-25
Sven
V
e
rdoolae
g
e
ba
r
vinok_maximi
z
e: rea
d
_e
v
al
u
e
: support rela
t
io
n
s
commit
|
commitdiff
|
tree
2007-04-25
Sven V
e
rdoola
e
ge
be
r
nstein
.
cc: e
v
a
l
ue_
b
ernstein
_
coeffic
i
ent
s
: handle
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sv
e
n Ve
r
doolaege
barvinok_maximize
:
evalue
_
read:
a
llow
i
d
entifiers to
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven
Verdoolaege
barvi
n
o
k
_
m
aximize: move --(b
e
rnstein-)recur
s
e optio
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdo
o
laege
lib/argp: fix logi
c
in hol_cluster_cmp
commit
|
commitdiff
|
tree
2007-04-25
Sven V
e
rdoolaeg
e
barvino
k
_maximize: allow specification o
f
t
he varia
b
l
e
s
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven
Verdoolaege
barvinok_
m
axi
m
ize: barf on un
e
xpected f
i
rst token
commit
|
commitdiff
|
tree
2007-04-23
Sven
Verdoolaege
doc: more documents re
f
er
i
n
g t
o
t
h
e library
commit
|
commitdiff
|
tree
2007-04-23
Sve
n
Ver
d
oolaege
evalue_conve
r
t
.
cc: eval
u
e
_
co
s
et: support
r
elation
s
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
evalue
.
c: prin
t
_
eval
u
e
:
al
w
ays print
n
e
wli
n
e at the end
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdo
o
laege
do
c
: mu
l
ti
v
ariate q
u
asi-polyno
m
ials as
l
is
t
s of p
o
lynomials
commit
|
commitdiff
|
tree
2007-04-23
S
v
en Ver
d
o
ola
e
g
e
evalue_conv
e
rt
.
cc:
i
n
c
lude
"con
f
ig
.
h"
to pick up USE_FDSTREA
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sv
e
n Verdoolae
g
e
do
c
:
index addi
t
ions
commit
|
commitdiff
|
tree
2007-04-23
Sven Ve
r
doolaege
d
o
c: tr
i
a
n
gulation
in prima
l
s
pac
e
+ some t
y
po fi
x
es
commit
|
commitdiff
|
tree
2007-04-23
S
v
e
n
Verdoo
l
aege
doc: document inner_p
o
int
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
doc:
r
efer
to
K
oe
p
pe article
f
or si
m
pl
e
r
motivation
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
S
ven Ver
d
oolaege
doc: m
o
re publications
(implicit
l
y
)
refering
to the
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
Sven Verdoolaege
con
f
igure
.
i
n
: add $(EXEE
X
T) to
o
p
t
i
o
nal
p
rograms for
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
Sven Verdoolaege
Mak
e
fi
l
e
.
am: make
sure dist
r
ibution contains required
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
w
o
r
k around incomplete name
s
pace s
u
p
p
o
rt in old compilers
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
di
s
able some features if fdstream doesn't compile
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven V
e
rdoolaege
barvino
k
_enu
m
erate
.
c
c
:
avoid use of fdstrea
m
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
b
a
rv
i
nok_enumera
t
e: d
o
n
'
t print
(
no
n
-e
x
isting) evalue
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
S
v
en Verdoola
e
ge
edoma
i
n
.
c
c
: avoid use of fdstream
commit
|
commitdiff
|
tree
2007-04-19
Sven
V
e
rdoolaege
confi
g
u
re
.
in: chec
k
for polylib
/
polyl
i
b
gmp
.
h
commit
|
commitdiff
|
tree
2007-04-19
S
ven Ve
r
doola
e
ge
declar
e
variable
a
t s
t
art
of code block
.
commit
|
commitdiff
|
tree
2007-04-18
Sven Ve
r
d
oolaege
Makefile
.
am: rebuild libraries
i
n subd
i
r
s
if miss
i
n
g
commit
|
commitdiff
|
tree
2007-04-18
Sven
V
erdoo
l
aege
barvinok_enu
m
era
t
e: recheck for equalit
i
es after "va
r
iable
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdoolaege
doc: a voting
t
heory r
e
port that
refe
r
s to the l
i
brary
commit
|
commitdiff
|
tree
2007-04-15
Sven
Verdoolaege
doc
:
update primal Barv
i
nok reference
commit
|
commitdiff
|
tree
2007-04-15
Sv
e
n
Verdoola
e
ge
doc:
a
d
d
jou
r
nal version of improve
d
derivation paper
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdoolaege
volume
.
c: keep
t
rack of n
u
mber of simpl
i
c
e
s in volume
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
Sven Ve
r
d
o
o
l
aeg
e
test_ap
p
rox: test
v
olume computation variations
commit
|
commitdiff
|
tree
2007-04-13
S
v
en Verdoo
l
a
ege
volume
.
c
:
v
o
lume_tr
i
angula
t
e: use vertex i
n
ste
a
d of
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
v
en V
e
rdoola
e
ge
volume
.
c: face_vertices: use Param_
I
nn
e
r
_
Pr
o
duc
t
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
e
r
doolaege
Call set_progr
a
m_name
b
e
f
ore calling
a
rgp
_
pa
r
s
e
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdo
o
la
e
ge
reduce_domain: e
x
p
l
oit t
h
a
t
no caller u
s
e
s P
o
lyhedron2Param_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verd
o
olaege
le
x
m
in: stop
using Polyh
e
dron2Param_S
i
mplifie
d
Domain
commit
|
commitdiff
|
tree
2007-04-12
Sven
Ve
r
doolaege
b
a
r
vinok
.
c
c: stop usi
n
g
Pol
y
hedron2Param
_
SimplifiedDoma
i
n
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
Verdoolaege
Require a version
of Po
l
yLib
that computes corre
c
t
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n Ve
r
doo
l
a
e
g
e
volume
.
c: non_e
m
p
ty_po
i
n
t
: simply use interna
l
poi
n
t
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Ve
r
doolaege
only co
m
pile
b
arvi
n
ok_maximiz
e
if GiNaC (an
d
bern
s
tein
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n
Verdo
o
la
e
ge
add an ehrha
r
t exampl
e
with interesting chambers
commit
|
commitdiff
|
tree
2007-04-12
S
ven Ve
r
doo
l
aege
te
s
t_a
p
pro
x
:
test
chamber based scalin
g
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
Verdool
a
ege
scale
.
c: o
p
tionally
p
erform
s
cali
n
g
on individual chambers
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoola
e
ge
barvi
n
ok_enumera
t
e: u
s
e "vari
a
ble
c
ompression" to r
e
move
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
util
.
c:
left_inv
e
rse
:
handle cons
t
ant
map
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n
Verdoolaege
evalue
.
c: evalue_substit
u
te:
m
ove from e
d
omain
.
cc
commit
|
commitdiff
|
tree
2007-04-12
S
ven
Verdool
a
e
ge
evalue
.
c: affine2evalue: extracted from volum
e
.
c
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n
V
er
d
oolae
g
e
reduce
_
domain:
p
a
r
t
i
tion
c
hamber comple
x
b
ased on in
n
er
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Ver
d
o
o
l
a
e
g
e
reduce_domain
.
c
:
extract in
n
er_p
o
int and is_internal
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdo
o
la
e
ge
reduce_d
o
main: check
f
o
r
a
djace
n
t
chambers
in
simplifi
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdoo
l
aege
FORALL_
R
EDUCED_DOMAIN: extra
c
t
common h
a
n
d
ling of reduced
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
S
v
en Verd
o
olaege
barvinok
_
enumerate: move recursive call duri
n
g sc
a
l
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoo
l
aege
barvin
o
k
.
cc:
P
aram_Polyhedr
o
n
_Enu
m
erate: extr
a
cted
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
S
v
e
n Verdool
a
ege
add some interes
t
ing
test cas
e
s for volume
c
o
mputation
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
p
erf
o
rm very basic polynomial approxim
a
tion test
commit
|
commitdiff
|
tree
2007-04-09
Sv
e
n
V
erdoola
e
ge
test_ap
p
rox: compare d
i
ff
e
rent
polynom
i
al approximations
commit
|
commitdiff
|
tree
2007-04-08
Sven
V
erdoo
l
aege
eval
u
e
_convert
.
cc: p
a
rtial support
f
o
r prin
t
ing i
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
Param_Polyhedro
n
_Volume: perfo
r
m lifting triangulation
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven
V
er
d
o
olaege
volu
m
e
.
c: introduce parameter_point abstractio
n
commit
|
commitdiff
|
tree
2007-04-08
S
v
en Ver
d
oolaege
s
c
ale
.
c: expor
t
Param_Vertex
_
Commo
n
_Denomin
a
to
r
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
volume
.
c: dr
o
p
r
edundant argumen
t
s to volume_simplex
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdo
o
l
a
ege
options
.
c
:
sepa
r
ate
p
o
ly
n
omi
a
l ap
p
roximatio
n
related
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdo
o
lae
g
e
barvi
n
ok
_
op
t
ions
_
new_with_def
a
ults: ini
t
ialize scale_flags
commit
|
commitdiff
|
tree
2007-04-07
Sven
Verdool
a
ege
tri
a
n
g
ulate_c
o
ne: ski
p
Del
a
una
y
triangulation
by default
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolaege
ev
a
lue_co
n
vert: p
r
int lattice when printin
g
as list
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Ver
d
oolaege
evalu
e
_c
o
nvert:
a
dd v
e
r
bos
e
argument
a
nd
r
eturn 1 if
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Verdo
o
laege
Polyhedron_Flate: intersect infl
a
t
ed pol
y
tope wit
h
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
S
v
en
V
erdoolae
g
e
doc:
bi
b
:
f
ix u
p
name
in t
i
tle
o
f A
l
gorithmica pa
p
e
r
commit
|
commitdiff
|
tree
2007-04-05
Sven Verdoolaege
a
dd missing vol
u
me
.
h
f
ile
commit
|
commitdiff
|
tree
2007-04-04
Sven Ve
r
d
o
olaege
vol
u
me
.
c: delay
computation o
f
point wher
e
volume i
s
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
S
v
en Verdo
o
laege
Param_Polyhedron
_
Volume
:
set poly
n
o
m
ia
l
_approxima
t
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Ve
r
do
o
lae
g
e
v
o
l
ume
.
c: allow co
m
putation o
f
lower a
n
d u
p
per bound
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoola
e
ge
sca
l
e: export
Polyhedro
n
_Flate
commit
|
commitdiff
|
tree
2007-04-03
Sven V
e
r
d
oola
e
ge
b
arvinok_enumerate:
o
p
ti
o
nally compute "volume"
p
olynomial
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verd
o
olaege
polytop
e
_
volume:
com
p
ute
v
olume
o
f para
m
etr
i
c
polytope
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
reduc
e
_domain
.
c: plug mem
o
ry leak
commit
|
commitdiff
|
tree
2007-03-31
Sven Ver
d
o
o
la
e
ge
verify
.
c
:
m
o
ve computation of true conte
x
t int
o
check_poly_c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdool
a
ege
scale
.
c: add simplifie
d
method
of
comp
u
ting
t
ighter
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
v
en V
e
rdoo
l
a
ege
ba
r
v
i
nok
_
e
n
umerate: optio
n
al
l
y compu
t
e
tighter polyn
o
mial
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
ve
n
Verdoola
e
ge
p
o
lyh
e
dron_
s
ample
.
c: rem
o
v
e
red
u
nda
n
t MAXRA
Y
S define
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdool
a
ege
e
v
a
lue
.
c:
evalue_eval
:
support
r
elation
s
commit
|
commitdiff
|
tree
2007-03-31
S
v
en
V
erdool
a
ege
eva
l
u
e
.
c: evalue_frac
2
polynomial: proper
l
y
handl
e
re
l
ations
commit
|
commitdiff
|
tree
2007-03-31
S
ven Verdoolaege
b
arvinok_enumerate: suppor
t
ap
p
roximation by me
a
ns
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
V
erdoolaege
scale
.
c: avoi
d
simplifica
t
ion
o
f const
r
ain
t
s after
.
.
.
commit
|
commitdiff
|
tree
next