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 Ve
r
doolae
g
e
bump version
commit
|
commitdiff
|
tree
2007-04-28
Sv
e
n Verdoola
e
ge
do
c
: updat
e
o
p
tions and som
e
f
unction
commit
|
commitdiff
|
tree
2007-04-28
Sven
V
erdoolaege
d
o
c
: docu
m
ent volume computation
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoola
e
ge
doc: more re
p
o
rts
e
xpla
i
ning parts of b
a
rvinok
commit
|
commitdiff
|
tree
2007-04-28
Sven Ver
d
oolaege
bernstein: bump version
commit
|
commitdiff
|
tree
2007-04-28
S
ven Verdoolae
g
e
doc: tran
s
formation o
f
p
a
rameter domain to ha
v
e revlex
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven
Ver
d
oolaege
ba
r
vinok
.
cc:
b
arvinok_co
u
n
t
_f: avoid warning on rec
u
r
s
ive
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven
Verdoolaege
util
.
c:
unimodula
r
_
complete: handle complet
i
on of mo
r
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
barvinok_enumerate
.
cc: hand
l
e
a
l
l lines in -
-
seri
e
s
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sve
n
Verdoolaege
barvinok_enumerate
.
cc: series: plug me
m
ory l
e
ak
commit
|
commitdiff
|
tree
2007-04-26
Sven
V
erdoolaeg
e
doc: document left_
i
nverse
commit
|
commitdiff
|
tree
2007-04-26
Sven Ve
r
d
ool
a
ege
doc: r
e
mov
e
re
f
erence to ol
d
barv
i
no
k
_series a
p
plicat
i
on
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
doc: update ev
a
l
ue_bernstein_coef
f
icie
n
ts
commit
|
commitdiff
|
tree
2007-04-26
S
v
e
n
Verd
o
olae
g
e
barvinok/
o
ptions
.
h
:
put stat
s
firs
t
in ba
r
v
i
nok_options
commit
|
commitdiff
|
tree
2007-04-25
Sven
V
erdoolaege
barvinok_maxi
m
i
z
e: read
_
eva
l
ue: support relations
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
ber
n
st
e
in
.
c
c: evalue_bernstein_coeffici
e
nts:
handle
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven
V
erdoolaege
barvinok_maxi
m
ize: eva
l
u
e
_r
e
ad: allow ide
n
tifi
e
rs to
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
barvinok_maximize: move
--(bernstein-
)
recurse
o
ption
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sve
n
Ve
r
doolae
g
e
lib/argp: fix lo
g
i
c
in hol_clust
e
r_cmp
commit
|
commitdiff
|
tree
2007-04-25
Sven V
e
rdoo
l
aege
barvinok_maximi
z
e: a
l
low spe
c
ificat
i
on
of t
h
e v
a
r
iable
s
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sve
n
Verdoolaege
barvinok_maximize: barf
o
n
u
ne
x
p
ected first token
commit
|
commitdiff
|
tree
2007-04-23
S
v
en
V
er
d
o
o
la
e
ge
doc: more documents referin
g
to
t
h
e
library
commit
|
commitdiff
|
tree
2007-04-23
Sven V
e
r
doolaege
e
v
alue_convert
.
cc:
e
v
alue_coset: s
u
pport relations
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
evalue
.
c: print
_
e
v
a
l
ue
:
a
lways pri
n
t new
l
ine at the end
commit
|
commitdiff
|
tree
2007-04-23
Sven Ve
r
doolae
g
e
doc: multivariate
q
ua
s
i-po
l
ynomials
as lists
o
f polynomials
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
eval
u
e
_
convert
.
c
c
:
i
n
clu
d
e "config
.
h" to pick up USE_FDSTREA
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Ve
r
doolaege
doc: index
a
d
d
itions
commit
|
commitdiff
|
tree
2007-04-23
Sv
e
n V
e
rdo
o
laege
doc: triangul
a
tion in prim
a
l space + some t
y
po fixes
commit
|
commitdiff
|
tree
2007-04-23
S
v
e
n Ve
r
doolaege
doc: document
inner_p
o
in
t
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
d
o
c: ref
e
r to Koeppe article f
o
r simpler motivation
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
S
v
en Verdoolaeg
e
doc:
more
p
ubl
i
c
a
tions (i
m
plici
t
ly) refering to the
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
S
v
e
n
V
er
d
oolaege
conf
i
g
u
re
.
in: add $
(
E
X
EEXT) to o
p
tional programs for
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
Sv
e
n
Verd
o
o
laege
Makefile
.
am:
m
ake
sur
e
distribution
c
ontains requir
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Ver
d
o
o
l
a
ege
work arou
n
d incomplete namespace support in old compi
l
ers
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
disable some features if
fds
t
ream doesn't compil
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
b
arvinok_enumerat
e
.
cc: avo
i
d use of fdstr
e
am
commit
|
commitdiff
|
tree
2007-04-19
Sven V
e
rdoolaege
barvinok
_
enumerate
:
don't print (non-ex
i
s
tin
g
)
evalue
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
S
v
en Verdool
a
ege
edomain
.
cc
:
avoi
d
u
s
e of
fdstr
e
a
m
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
con
f
i
gure
.
in: check for polylib/polyli
b
gmp
.
h
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolae
g
e
de
c
lare variable
at
sta
r
t of co
d
e block
.
commit
|
commitdiff
|
tree
2007-04-18
Sv
e
n
V
e
rdoolaege
M
akefil
e
.
am:
r
ebuild
l
ibrari
e
s in s
u
bdirs if missing
commit
|
commitdiff
|
tree
2007-04-18
Sv
e
n Verdo
o
l
a
ege
b
a
rvinok_
e
n
umerat
e
:
recheck
for equalities aft
e
r "variable
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
Sve
n
Ver
d
oola
e
ge
doc: a voting theory
report t
h
a
t refers
to the library
commit
|
commitdiff
|
tree
2007-04-15
Sven V
e
rdool
a
ege
doc: update primal Barvinok reference
commit
|
commitdiff
|
tree
2007-04-15
S
v
e
n
V
er
d
oo
l
aege
doc: add journal version of imp
r
oved deriva
t
ion paper
commit
|
commitdiff
|
tree
2007-04-13
Sven Ve
r
d
oo
l
aege
v
ol
u
me
.
c
:
ke
e
p track
of num
b
er of simpli
c
es in vo
l
u
m
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
Sven Ver
d
oolaege
test_approx
:
test
vo
l
u
me co
m
putation variations
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdoolaege
vo
l
ume
.
c
:
volume_tria
n
g
u
late: use ve
r
tex instead of
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
vo
l
ume
.
c: face_vertices
:
use
P
aram_In
n
er
_
P
roduct
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdool
a
e
g
e
Call set_program_name before ca
l
ling
a
rgp_parse
.
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
erdoolaege
r
educe_do
m
a
in: exploit that
no call
e
r uses Poly
h
e
d
r
on2Param_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
v
en Verd
o
olaege
lexmin: stop
using Polyhedron2Param_Sim
p
lifiedDo
m
ain
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n
V
er
d
oolae
g
e
barvinok
.
cc: stop u
s
ing Pol
y
hedron2Param_Simplif
i
edDomain
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
Require
a
v
ersion o
f
PolyLib that comput
e
s
c
orr
e
ct
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
volume
.
c: non_em
p
ty_point:
s
imply use internal point
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verd
o
o
laege
ad
d
an ehrhar
t
example
w
i
t
h interesting ch
a
mbers
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdool
a
ege
test_approx: test chamber based scaling
commit
|
commitdiff
|
tree
2007-04-12
Sven V
e
r
d
oola
e
ge
scale
.
c: opt
i
onally perform scaling on
i
ndividual
c
h
a
m
b
e
rs
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
b
arv
i
nok_
e
numerate:
u
s
e
"variable compress
i
on"
t
o
remove
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoo
l
aege
util
.
c
:
left_inve
r
se
:
handle constant
m
ap
commit
|
commitdiff
|
tree
2007-04-12
S
v
en Verdo
o
laege
evalue
.
c: evalue_substi
t
ute: m
o
v
e
fr
o
m
e
domain
.
cc
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolae
g
e
eval
u
e
.
c: aff
i
ne2evalue
:
extracted from vol
u
me
.
c
commit
|
commitdiff
|
tree
2007-04-12
Sven Ve
r
doolaeg
e
reduce_dom
a
i
n: partition
chamber c
o
mplex
b
as
e
d on inner
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sv
e
n
Verdoolaege
reduce_domai
n
.
c: e
x
tract inner_poin
t
and is_in
t
e
r
n
al
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verd
o
o
l
aege
redu
c
e_doma
i
n: ch
e
ck
f
or adjacent chambers in simplified
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Ver
d
oolaege
FORALL
_
REDUCED_DOMAIN: extrac
t
common ha
n
dling of reduced
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Ve
r
dool
a
ege
b
a
rvinok
_
e
n
umer
a
te: mov
e
recursive call during scali
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
S
ve
n
Verdool
a
ege
barvinok
.
cc: Param_Polyh
e
dron_Enumerate: ext
r
act
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdool
a
ege
add some interest
i
ng test ca
s
es for vol
u
me compu
t
ation
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoola
e
ge
perform very ba
s
ic polyn
o
mial approximat
i
o
n
test
commit
|
commitdiff
|
tree
2007-04-09
Sven Verd
o
olaege
test_approx
:
c
o
mpare di
f
fer
e
nt polyno
m
ia
l
appro
x
imation
s
commit
|
commitdiff
|
tree
2007-04-08
S
v
e
n
Verd
o
olaege
evalue_convert
.
cc: par
t
ial support for printing in
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sve
n
Verdoo
l
aege
Param_P
o
l
y
h
edron
_
Volum
e
:
perform l
i
fti
n
g
triangu
l
ati
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
v
o
l
u
me
.
c: introduce pa
r
ameter_point a
b
stracti
o
n
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaeg
e
scale
.
c: e
x
port Param_Vertex_Commo
n
_Denomi
n
ator
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
volume
.
c: dro
p
redundant
a
r
g
umen
t
s
to volume_simplex
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoo
l
aege
opt
i
o
n
s
.
c: se
p
arat
e
polynomial approx
i
matio
n
re
l
ated
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven
V
e
rdoolaege
barvinok_op
t
ions_new_
w
ith_
d
efaults: initialize sca
l
e_flags
commit
|
commitdiff
|
tree
2007-04-07
Sv
e
n
Verdoola
e
ge
triangu
l
ate_cone
:
s
kip Delaunay tr
i
angul
a
tion
by de
f
ault
commit
|
commitdiff
|
tree
2007-04-07
Sve
n
Verdoolaeg
e
evalue_conv
e
rt: print lattice
when print
i
ng as
list
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoola
e
ge
evalue_convert: add ver
b
ose argument and return
1 if
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Verdoolaege
Polyh
e
dron
_
Flate
:
intersect infl
a
ted p
o
l
y
tope with
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Verd
o
olaege
doc: bib: fix up name i
n
title of Algorit
h
mica paper
commit
|
commitdiff
|
tree
2007-04-05
Sven Verdoolae
g
e
a
d
d mi
s
sing
v
olume
.
h file
commit
|
commitdiff
|
tree
2007-04-04
Sven Verdoolaege
v
olum
e
.
c: dela
y
computa
t
ion
o
f po
i
n
t
where
v
ol
u
m
e
is
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
Sven Ver
d
oolaege
Param_Polyhedron_Volume: s
e
t pol
y
nomial_
a
p
p
roximat
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
volume
.
c: allo
w
computa
t
i
o
n
o
f low
e
r an
d
u
pp
e
r
b
ound
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sv
e
n
V
e
rdoo
l
ae
g
e
scale: ex
p
ort Polyhe
d
ron_Flate
commit
|
commitdiff
|
tree
2007-04-03
S
ven Verdoo
l
aege
barvino
k
_enumerate: optiona
l
ly compute "vo
l
ume" polyn
o
m
i
al
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
polytope_volume: compute volume of
p
arametri
c
polytop
e
commit
|
commitdiff
|
tree
2007-04-03
S
ve
n
V
e
r
d
oolaege
red
u
ce_
d
omain
.
c:
p
lu
g
memo
r
y l
e
ak
commit
|
commitdiff
|
tree
2007-03-31
Sven
Verdoolaege
verify
.
c:
m
o
v
e
compu
t
ation of
tru
e
co
n
text in
t
o
check_poly_c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
v
en
V
e
rdoolaege
scale
.
c: add simpl
i
fi
e
d method of
computing t
i
ghter
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoola
e
ge
barvinok_enume
r
ate: op
t
ional
l
y compute tighter polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verd
o
olaege
polyhedron
_
sample
.
c: remove
r
edundan
t
MAXRAYS def
i
ne
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n
V
erd
o
o
l
aeg
e
e
va
l
ue
.
c:
eva
l
ue_eval:
s
u
pport relation
s
commit
|
commitdiff
|
tree
2007-03-31
Sve
n
Verdoolae
g
e
evalue
.
c: evalue_frac2pol
y
nomia
l
: properl
y
han
d
l
e
r
e
l
ations
commit
|
commitdiff
|
tree
2007-03-31
Sven
Verdoolae
g
e
barvino
k
_enumerate: suppor
t
ap
p
roximat
i
on by means
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Ver
d
oolaege
sca
l
e
.
c:
avoid
simplification of
c
ons
t
raint
s
aft
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
ve
n
Verdoolaege
barvinok/ut
i
l
.
h: add
P
OL_UNSET macro for unsetti
n
g
.
.
.
commit
|
commitdiff
|
tree
next