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
S
ven Verdoolaege
util
.
c: export
V
e
ctor_Op
p
ose
commit
|
commitdiff
|
tree
2007-05-02
Sven V
e
r
d
oolaege
s
c
a
le
.
c: move Param_V
e
rtex_Common_Denominato
r
to param_util
.
c
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
e
value
.
c: a
d
d evalue_add_constant
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdool
a
ege
evalue
.
c: af
f
ine2evalue:
s
k
i
p zero coefficie
n
ts
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
evalue
.
c: emul
_
pol
y
: efficiently
handle cas
e
of mu
l
tiplicati
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
bump version
commit
|
commitdiff
|
tree
2007-04-28
Sve
n
V
e
rdoolaege
d
o
c:
update opti
o
ns and some function
commit
|
commitdiff
|
tree
2007-04-28
Sven
V
erdool
a
e
ge
d
o
c:
document
v
olume computat
i
on
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
doc:
m
ore re
p
orts e
x
plaining p
a
r
ts of barvinok
commit
|
commitdiff
|
tree
2007-04-28
Sven
Verdoolaege
bernstei
n
: bump version
commit
|
commitdiff
|
tree
2007-04-28
Sven Verd
o
olaege
d
o
c: t
r
ansformati
o
n
of
parameter d
o
main to hav
e
re
v
l
e
x
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
barvinok
.
cc: barvinok_coun
t
_f: av
o
id warning on recurs
i
ve
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
S
v
en Verdoolaege
util
.
c: unimod
u
lar_comple
t
e: handle completion of mor
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven
V
er
d
oolaege
barvinok_enumerate
.
cc: handle a
l
l
l
ines
in --
s
er
i
es
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sve
n
Ver
d
oolaege
barvin
o
k_
e
numerate
.
c
c
: series
:
plug mem
o
ry leak
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
do
c
:
do
c
u
m
ent left_inverse
commit
|
commitdiff
|
tree
2007-04-26
Sve
n
Verdo
o
laege
doc: re
m
ove reference to old barvinok_seri
e
s application
commit
|
commitdiff
|
tree
2007-04-26
Sve
n
Verd
o
olae
g
e
doc:
u
pdate evalue_bernstein_c
o
effic
i
ents
commit
|
commitdiff
|
tree
2007-04-26
S
ven V
e
rdool
a
eg
e
barvinok/options
.
h: put stats firs
t
in barvinok_options
commit
|
commitdiff
|
tree
2007-04-25
S
v
en Verdoolaege
b
ar
v
in
o
k_m
a
ximize: read_evalue: suppo
r
t relations
commit
|
commitdiff
|
tree
2007-04-25
Sv
e
n Verdoola
e
ge
bernstein
.
cc:
e
value_bernstein_coefficient
s
: handle
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven
V
e
r
d
ool
a
ege
barv
i
nok_maximize: evalue_r
e
ad: all
o
w identifie
r
s
to
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
S
v
en Verdoolaeg
e
barvinok_maxim
i
ze
:
move --(ber
n
stein-
)
r
e
c
u
rse opt
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
lib/argp:
f
ix logic i
n
hol_cluster_c
m
p
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
barvinok_maxim
i
z
e
:
allow specification of
the variables
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verd
o
olaege
barvinok_m
a
ximize: ba
r
f
on unexpected fir
s
t token
commit
|
commitdiff
|
tree
2007-04-23
Sven Ver
d
oolaege
doc: m
o
re doc
u
m
ents re
f
er
i
ng to
the library
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
eval
u
e_convert
.
c
c
:
e
v
alue
_
coset: support relations
commit
|
commitdiff
|
tree
2007-04-23
S
v
en V
e
rd
o
olaege
evalue
.
c: print_evalue: al
w
ays print newl
i
ne
at the
e
n
d
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdool
a
ege
doc: multivariate
quasi-polynomials as lists
of polyn
o
mia
l
s
commit
|
commitdiff
|
tree
2007-04-23
Sven Ve
r
doola
e
ge
evalue
_
c
o
nve
r
t
.
cc: include "confi
g
.
h" to
p
ick up USE_FDSTREA
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
S
v
en Ve
r
doolaege
doc: inde
x
additions
commit
|
commitdiff
|
tree
2007-04-23
Sven V
e
rdoolaege
doc: tria
n
gulat
i
on in primal space + some typo fi
x
es
commit
|
commitdiff
|
tree
2007-04-23
Sv
e
n Ve
r
doo
l
aege
doc: document
i
nner_point
commit
|
commitdiff
|
tree
2007-04-23
S
v
en Verdoolaege
do
c
:
refe
r
to Koeppe article for simpler motivation
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sve
n
V
erdoo
l
aege
doc: more
p
u
b
li
c
ations (implicitly
)
r
e
f
e
ring
t
o the
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
Sven Verdoolaege
c
onf
i
gure
.
in: add
$(E
X
EEXT
)
to optional programs
f
or
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
Sven Verdoolaege
Makefile
.
a
m
:
m
a
k
e sure di
s
tribu
t
ion cont
a
ins re
q
uired
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sv
e
n Verdoolaege
bar
v
inok_enu
m
erate: don't pr
i
nt (non-exis
t
ing) evalue
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Ver
d
oolaege
edomain
.
cc:
avoid use of
fds
t
ream
commit
|
commitdiff
|
tree
2007-04-19
S
v
en Verdoolaege
configur
e
.
in: ch
e
ck for polylib/poly
l
ibg
m
p
.
h
commit
|
commitdiff
|
tree
2007-04-19
S
v
e
n
Verdoolaege
dec
l
are variable
a
t sta
r
t of c
o
de
b
lo
c
k
.
commit
|
commitdiff
|
tree
2007-04-18
Sv
e
n
Ve
r
doolaege
Makefi
l
e
.
am:
rebuild l
i
braries in subdirs if miss
i
ng
commit
|
commitdiff
|
tree
2007-04-18
S
ven Verdoo
l
aege
barv
i
nok_enumerate: rech
e
c
k
for
e
qualities after "v
a
riable
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdoolaeg
e
doc: a v
o
ting
t
heo
r
y re
p
o
r
t th
a
t
refers to the
l
ibrary
commit
|
commitdiff
|
tree
2007-04-15
Sven
V
e
r
doolaege
d
oc: update primal Barvinok r
e
ference
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdoola
e
ge
doc: add jo
u
rnal
v
ersion
of improved derivation p
a
pe
r
commit
|
commitdiff
|
tree
2007-04-13
Sven
V
erd
o
o
l
aege
volu
m
e
.
c
: keep tra
c
k of number of
sim
p
l
i
ces in
v
olume
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
S
v
en Ve
r
d
o
ol
a
eg
e
test_approx: tes
t
volume compu
t
ation v
a
riations
commit
|
commitdiff
|
tree
2007-04-13
Sven Ver
d
oo
l
aege
volume
.
c: volume_t
r
iangulate: use ver
t
ex i
n
stead of
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
volume
.
c: face
_
vertices: use
P
a
r
a
m
_In
n
e
r
_Product
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
erdoolaege
re
d
uce_domain: exp
l
oit that no caller uses Polyhedron2Param_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
v
en Verdoolaege
lex
m
in:
s
t
o
p
u
sing Polyhedron2Param_Simpl
i
fiedDomain
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
bar
v
inok
.
cc: stop u
s
ing P
o
lyhedro
n
2P
a
ram_Si
m
p
l
ifiedDoma
i
n
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
erdoolaeg
e
Requi
r
e a
ver
s
ion of Po
l
yLib t
h
at computes
c
orre
c
t
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verd
o
olaege
volume
.
c: n
o
n
_
empty_
p
oint:
simply use i
n
t
ernal
p
oint
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
a
d
d
a
n eh
r
hart example with inter
e
sting
chambers
commit
|
commitdiff
|
tree
2007-04-12
S
v
e
n Verdoolaege
test
_
approx: test cham
b
er based scaling
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
Ver
d
oolaege
scale
.
c:
optionally perform
scaling
o
n individu
a
l chambe
r
s
commit
|
commitdiff
|
tree
2007-04-12
S
v
en
V
erdo
o
l
aege
barvi
n
ok_
e
n
u
merate: use "variable
compre
s
sio
n
" to
remove
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
util
.
c:
left_
i
nverse: hand
l
e constant map
commit
|
commitdiff
|
tree
2007-04-12
S
ven Verdoo
l
a
e
ge
eva
l
ue
.
c: eval
u
e_substitute
:
m
o
ve from edo
m
a
in
.
cc
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoola
e
ge
evalue
.
c
:
aff
i
ne
2
evalu
e
: extracted f
r
om volume
.
c
commit
|
commitdiff
|
tree
2007-04-12
S
v
en
Verdo
o
laege
red
u
ce_domain: par
t
ition chamber
c
o
m
plex
b
ased on inner
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
S
v
e
n
Verdo
o
laege
reduce_do
m
ain
.
c: extrac
t
inner_
p
oint and is_in
t
e
r
nal
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdool
a
e
ge
red
u
ce_domai
n
: chec
k
for
ad
j
acent
c
hambers in simplified
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
S
ven Verdoolaege
FORALL_R
E
DUCED_DOMAIN
:
extract common handling of r
e
duced
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sv
e
n
V
erdoolaege
barv
i
nok_en
u
me
r
ate: move recu
r
sive c
a
ll du
r
ing
s
cal
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
barvinok
.
cc: Param_Pol
y
hedr
o
n_Enumerate: ex
t
racte
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoola
e
ge
add some i
n
teres
t
in
g
t
e
st c
a
ses fo
r
vol
u
me computation
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
perform very basic po
l
ynomial approximation
t
es
t
commit
|
commitdiff
|
tree
2007-04-09
Sven Verd
o
olaege
test_approx: compa
r
e di
f
fere
n
t polynomial approxi
m
ations
commit
|
commitdiff
|
tree
2007-04-08
S
v
en Verdoolaege
evalue
_
co
n
vert
.
cc: partial
su
p
port for p
r
inting
i
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
S
v
en Verdoolaege
P
a
ram_Polyhedron_Volu
m
e: perfor
m
lifting triangul
a
tion
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
S
ven Verdoolaege
volume
.
c: introduce
par
a
m
e
ter
_
poi
n
t abstraction
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
scale
.
c:
export Param_Vertex_Common_De
n
ominator
commit
|
commitdiff
|
tree
2007-04-08
Sven
V
erdoolaege
volume
.
c: drop re
d
u
ndant arguments to volume_simplex
commit
|
commitdiff
|
tree
2007-04-08
S
v
en Verdo
o
lae
g
e
options
.
c:
sepa
r
at
e
polynomial a
p
pro
x
ima
t
ion
r
elated
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoo
l
aege
barv
i
nok_op
t
ions_new_with_defaults: initialize
s
cale_flag
s
commit
|
commitdiff
|
tree
2007-04-07
Sven V
e
rdoolaege
tri
a
ngu
l
ate
_
cone
:
skip Delaun
a
y tria
n
gulation by def
a
ult
commit
|
commitdiff
|
tree
2007-04-07
Sven V
e
rdoolaege
evalue_convert: pr
i
n
t lattice when print
i
ng a
s
list
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven
V
erdoolaege
e
va
l
ue_conv
e
rt: add verbose argum
e
nt
a
n
d
re
t
urn 1 if
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Ver
d
oo
l
aege
Polyhedr
o
n_Flate: intersect inflat
e
d pol
y
tope
with
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Verdool
a
ege
doc: bi
b
: fix up n
a
m
e in title of Algorithm
i
ca pap
e
r
commit
|
commitdiff
|
tree
2007-04-05
Sven Verdoolaege
add mis
s
ing volume
.
h
file
commit
|
commitdiff
|
tree
2007-04-04
Sven Verdoo
l
a
e
g
e
vo
l
ume
.
c
: delay
c
om
p
u
t
ation of point where volume is
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
Sv
e
n V
e
rdoola
e
ge
P
a
ram_Polyhe
d
ro
n
_Volume: set
p
olynomial_appro
x
imation
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Ver
d
oolaege
volume
.
c: allow computation of lower and upper bo
u
nd
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoo
l
aege
s
c
ale: export Polyhedron_F
l
ate
commit
|
commitdiff
|
tree
2007-04-03
Sv
e
n Verdoolae
g
e
b
arvino
k
_
e
numerate: optionally
c
o
mpute "volume" polynomia
l
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sve
n
Verdoolaeg
e
polytop
e
_volume: co
m
pute volume of parametr
i
c
polytope
commit
|
commitdiff
|
tree
2007-04-03
S
ve
n
Ve
r
doo
l
aege
r
edu
c
e_domain
.
c: pl
u
g memory leak
commit
|
commitdiff
|
tree
2007-03-31
Sve
n
Verdoolaege
verify
.
c: move computation of true conte
x
t in
t
o chec
k
_poly_
c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verd
o
olaege
scale
.
c
:
add simplifie
d
me
t
hod o
f
c
omputing tighter
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
ven Verdoolaege
barvinok_enu
m
erate: optionally compute
t
ighter
polynomi
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
v
en Ve
r
doolaeg
e
polyhedron_sample
.
c: re
m
ove redundant MAXRAYS defi
n
e
commit
|
commitdiff
|
tree
2007-03-31
Sven Ve
r
doolaege
eva
l
u
e
.
c: ev
a
lue_eval: su
p
port
r
elations
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoo
l
aege
ev
a
lue
.
c: evalue_frac2polyn
o
m
i
al: properly handle relat
i
ons
commit
|
commitdiff
|
tree
2007-03-31
S
v
en V
e
rdoo
l
aege
barvinok_
e
numerate: support
a
pproximation by means
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdo
o
laege
scale
.
c: avoid simpl
i
fi
c
ation of constrain
t
s
a
fter
.
.
.
commit
|
commitdiff
|
tree
next