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
doc: index additions
2007-04-23
Sven Verdoolaege
doc: index a
d
ditions
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaeg
e
d
oc: triangulat
i
on in primal
s
pace
+ some typo
f
i
x
e
s
commit
|
commitdiff
|
tree
2007-04-23
Sv
e
n Verdoolaege
doc: do
c
ument inner_poi
n
t
commit
|
commitdiff
|
tree
2007-04-23
Sven
Ve
r
doola
e
ge
doc: refer to Koeppe artic
l
e for simple
r
mot
i
vation
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolae
g
e
doc: more p
u
blica
t
i
ons (i
m
plicitly)
r
efe
r
i
ng to th
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
S
v
en Verdoolaege
c
onfigure
.
in: add $(
E
XEEXT)
t
o optional programs fo
r
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
Sven Verdoolaege
M
a
kefile
.
am: make
s
ure distri
b
ution
con
t
ain
s
required
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sv
e
n Verdoolaege
wo
r
k around
i
n
com
p
lete nam
e
s
pace support
in old
c
ompilers
commit
|
commitdiff
|
tree
2007-04-19
Sven
Verdool
a
e
g
e
disable some
f
eatures if fdstr
e
a
m
does
n
'
t
compile
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven
V
e
r
doolaege
b
ar
v
inok
_
enum
e
r
a
te
.
c
c
: av
o
id use of
f
dstrea
m
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoo
l
a
ege
barvinok_enumerate
:
don't pri
n
t (non-
e
xisting)
e
value
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
S
ven Verdoo
l
aege
edo
m
ain
.
c
c: av
o
id us
e
of f
d
stream
commit
|
commitdiff
|
tree
2007-04-19
S
v
en Ve
r
doolaege
configure
.
in: check for
polylib/p
o
lylibgmp
.
h
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
d
e
clare v
a
riab
l
e a
t
start of code
block
.
commit
|
commitdiff
|
tree
2007-04-18
Sven Verdoola
e
ge
Makef
i
l
e
.
am: rebuild libraries i
n
su
b
dir
s
if missing
commit
|
commitdiff
|
tree
2007-04-18
Sven Verd
o
olaege
b
a
rvinok_enume
r
at
e
: recheck fo
r
equali
t
ies after "variable
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
S
v
en Verdo
o
lae
g
e
doc:
a
vo
t
i
ng theory r
e
port t
h
at refers to t
h
e l
i
brary
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdoolae
g
e
d
oc:
u
pdate
primal Barvinok refe
r
ence
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdoolaeg
e
doc
:
add journ
a
l version
of
improved
d
erivation paper
commit
|
commitdiff
|
tree
2007-04-13
S
ven V
e
rdo
o
laege
volume
.
c: ke
e
p trac
k
o
f number
of simplices
in vo
l
ume
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
Sven V
e
rdoolaege
test_app
r
o
x
: test volume c
o
m
p
utation variations
commit
|
commitdiff
|
tree
2007-04-13
Sve
n
Verd
o
ola
e
ge
volume
.
c: volume_triangulat
e
: use vertex ins
t
ead of
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
volume
.
c: fac
e
_verti
c
es: use Param_Inner_Product
commit
|
commitdiff
|
tree
2007-04-12
S
v
en Verdoolaege
Call set
_
program_name
b
e
f
o
r
e
c
a
lling
argp_pars
e
.
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n
V
er
d
oo
l
aege
re
d
uc
e
_domain: exploit t
h
a
t
no c
a
ller
u
ses Polyhedr
o
n2Param_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdo
o
l
aege
lexmin: stop using Polyhedron2Param_Simplif
i
edDomain
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
ba
r
vinok
.
cc:
stop
using Polyhe
d
r
on2Para
m
_SimplifiedDomain
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n Verdoolaege
Requ
i
r
e
a version
o
f PolyLib tha
t
com
p
ut
e
s correc
t
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
volume
.
c: no
n
_em
p
ty_point: simpl
y
u
se intern
a
l point
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven
Ve
r
d
o
olaege
only compile barv
i
n
o
k_maxi
m
ize if GiNaC (a
n
d bern
s
tein
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven V
e
r
d
oolaeg
e
add an
ehrhart e
x
a
mple with int
e
restin
g
chamber
s
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n
V
er
d
oolaege
test_approx: tes
t
chambe
r
based scali
n
g
commit
|
commitdiff
|
tree
2007-04-12
Sven Ve
r
doo
l
aege
scale
.
c: optionall
y
perform sc
a
li
n
g on i
n
dividual chambers
commit
|
commitdiff
|
tree
2007-04-12
Sven
Verdoolae
g
e
barvinok_en
u
merate: u
s
e "variable co
m
pression"
t
o remove
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n Verdoolaege
uti
l
.
c: lef
t
_inverse: han
d
le constant
map
commit
|
commitdiff
|
tree
2007-04-12
Sven Ve
r
doolaege
e
value
.
c: eval
u
e_substitute: move from edomai
n
.
cc
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
evalu
e
.
c:
affi
n
e2evalue: extrac
t
ed from vo
l
ume
.
c
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n
Ve
r
do
o
laege
reduce_domain: partiti
o
n chamber co
m
ple
x
base
d
on inner
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Ve
r
doolaege
reduc
e
_domain
.
c: ext
r
act
i
nner_point and is_in
t
ernal
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven
V
e
rdoo
l
a
e
ge
reduce_do
m
ai
n
:
c
h
ec
k
for adjacent c
h
ambers
i
n s
i
mplified
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdoolaege
FORALL
_
REDUCED_DOMAIN: extract co
m
mon handling
o
f
r
educe
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdool
a
ege
ba
r
vino
k
_en
u
m
e
rate: move recursive call durin
g
scaling
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sve
n
Verdoolaege
b
a
rv
i
n
o
k
.
cc:
P
ara
m
_Polyhedron_Enume
r
a
t
e: extract
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven
V
erdoolaege
add some
interesting
tes
t
case
s
for v
o
lume compu
t
ation
commit
|
commitdiff
|
tree
2007-04-09
Sv
e
n Verdoolaege
perform very basic
polynomial approximat
i
on test
commit
|
commitdiff
|
tree
2007-04-09
Sve
n
V
erdoolaege
t
e
st_ap
p
rox: comp
a
re dif
f
ere
n
t poly
n
omi
a
l
a
p
proximations
commit
|
commitdiff
|
tree
2007-04-08
Sve
n
Verdoolaege
evalue_con
v
e
r
t
.
cc
:
p
artial support for
p
rinting in
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sve
n
Ve
r
doolaeg
e
Param_Polyh
e
d
r
o
n_Volume: perform
lifting tria
n
gu
l
atio
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
S
v
e
n
V
e
r
d
oolae
g
e
volume
.
c: introduce pa
r
ameter_point abstraction
commit
|
commitdiff
|
tree
2007-04-08
Sve
n
V
erd
o
olae
g
e
sca
l
e
.
c:
expor
t
Param_Vertex_Commo
n
_D
e
nomi
n
ator
commit
|
commitdiff
|
tree
2007-04-08
Sven V
e
rdoolaege
vol
u
m
e
.
c
:
drop
r
e
d
undan
t
ar
g
uments to volume
_
simpl
e
x
commit
|
commitdiff
|
tree
2007-04-08
Sv
e
n
Verdoo
l
a
ege
opt
i
o
n
s
.
c: sep
a
r
a
te polynomi
a
l app
r
oxima
t
ion relate
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven V
e
rdoolaege
barvinok_options_new_with_defaul
t
s
: initialize scale_
f
lags
commit
|
commitdiff
|
tree
2007-04-07
Sv
e
n Verdoolaege
triangulate_co
n
e: skip
Delaunay triangulation by default
commit
|
commitdiff
|
tree
2007-04-07
Sv
e
n Verd
o
o
laege
evalue_convert: p
r
int lattic
e
when
p
rinting as list
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolaege
e
value_
c
onvert: add ver
b
ose
a
r
gu
m
e
n
t and
r
eturn
1
if
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
S
v
en
V
e
rdoolaeg
e
P
olyhed
r
on_Fl
a
te: intersect infla
t
ed polytop
e
with
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sv
e
n Verdoolaege
doc: b
i
b: fi
x
up name in title of Algorithmic
a
p
a
pe
r
commit
|
commitdiff
|
tree
2007-04-05
Sven Ver
d
oolaege
add mi
s
sing volume
.
h file
commit
|
commitdiff
|
tree
2007-04-04
Sven Ver
d
oo
l
aege
vo
l
u
m
e
.
c: delay computation
o
f p
o
int where volume is
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
Sv
e
n
Verd
o
olaeg
e
Param_Poly
h
edron
_
Volume:
s
et po
l
ynomial_approximation
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
volume
.
c: allow computat
i
on of l
o
we
r
and up
p
er bound
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sve
n
Ver
d
ool
a
ege
s
cal
e
: ex
p
ort Polyhedron_Flate
commit
|
commitdiff
|
tree
2007-04-03
Sven Verd
o
ol
a
ege
barv
i
nok_enume
r
a
te: optionally compute "volume"
polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
polytope_volume: compute volume of p
a
rametric pol
y
t
ope
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
reduce_domain
.
c: plug memo
r
y leak
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaeg
e
v
erify
.
c
: m
o
v
e computat
i
on of
true con
t
ext into ch
e
c
k_poly_c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
scale
.
c: add si
m
plified metho
d
of computing tig
h
te
r
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sve
n
V
e
rdoo
l
a
e
ge
barv
i
n
o
k_enu
m
erate: optionally compu
t
e tig
h
t
e
r polynom
i
al
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
p
o
lyhedron_samp
l
e
.
c: r
e
move
r
edundant MAXRAYS defi
n
e
commit
|
commitdiff
|
tree
2007-03-31
Sve
n
Verdoolaege
evalue
.
c:
evalue_eval: support rela
t
i
ons
commit
|
commitdiff
|
tree
2007-03-31
S
v
en
V
erdoolae
g
e
evalue
.
c: e
v
a
lue_frac2poly
n
omial: properly handle relatio
n
s
commit
|
commitdiff
|
tree
2007-03-31
Sven
V
erd
o
ol
a
ege
bar
v
inok_enumerate: support
approx
i
mat
i
o
n by means
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
sc
a
le
.
c
: avo
i
d simplification
o
f
co
n
stra
i
nts after
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verd
o
olaege
barvinok/util
.
h: add POL_U
N
SET macro f
o
r u
n
setting
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdo
o
laege
scale
.
c: Par
a
m_Poly
h
edron_Scale_Integer_
F
ast
:
ignore
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Ver
d
oolaege
move Par
a
m_Polyhedron_Scale
_
Integer
to scale
.
c
a
nd
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
ven V
e
rd
o
olaege
use sep
a
rate flags option for scale ap
p
roximation metho
d
commit
|
commitdiff
|
tree
2007-03-31
Sven
Verdoolae
g
e
b
arvinok
.
cc
:
move scaling to scale
.
c
commit
|
commitdiff
|
tree
2007-03-30
Sven Verdoolaege
sca
l
e
.
c: cor
r
ect ext
r
act
_
lattice in case of redundant
.
.
.
commit
|
commitdiff
|
tree
2007-03-30
Sven V
e
rdoo
l
a
ege
doc: update CC
2
005
r
eference
commit
|
commitdiff
|
tree
2007-03-26
S
v
en Verdoolaege
verif_ehr
h
a
r
t
.
c: rou
n
d i
n
e
x
act evaluatio
n
u
p
or down
.
.
.
commit
|
commitdiff
|
tree
2007-03-26
S
v
en Verdoo
l
aege
verif_ehr
h
a
r
t
.
c: optionally use exa
c
t evaluation
f
or
.
.
.
commit
|
commitdiff
|
tree
2007-03-25
Sven
Verdoolaege
e
v
a
lue
.
c: add evalue_eval for ex
a
ct
e
valuation of evalue
commit
|
commitdiff
|
tree
2007-03-25
Sven Ver
d
o
olaege
eva
l
ue
.
c: fix
evalue_frac2poly
n
o
m
ial
f
or ne
g
ative valu
e
s
.
.
.
commit
|
commitdiff
|
tree
2007-03-20
Sven Verdoolaege
barvino
k
_enumerate: per
f
orm slow sc
a
ling approximati
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sve
n
Verdo
o
laege
f
i
x Pa
r
am_Polyhe
d
ron_Scale_
I
n
teger
commit
|
commitdiff
|
tree
2007-03-19
Sv
e
n Verdoolae
g
e
barv
i
n
o
k_enumerate:
m
or
e
accurate polynomial
a
pproximatio
n
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoola
e
ge
reorganize polynomial approximat
i
o
n
o
ptions
commit
|
commitdiff
|
tree
2007-03-19
Sv
e
n
V
erdoolaege
util
.
c: Par
a
m
_
P
o
lyhedron_Print: actu
a
lly use
out
p
ut
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
S
ven
Verdoo
l
a
ege
fix mer
g
e of chec
k
_poly from verif_ehrhart
.
c and l
e
xmi
n
.
cc
commit
|
commitdiff
|
tree
2007-03-18
Sven
V
er
d
o
o
laege
doc: updat
e
Koeppe-
V
erdoo
l
aege refe
r
ence
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdo
o
laege
ba
r
vinok
_
maximize: suppo
r
t
ver
i
f
ication
commit
|
commitdiff
|
tree
2007-03-17
Sven
Verdoolaege
merge c
h
eck
_
p
o
l
y from verif_ehr
h
art
.
c an
d
lexm
i
n
.
cc
commit
|
commitdiff
|
tree
2007-03-17
Sven Ver
d
oolaege
evalue
.
c: make some evalue
a
rgu
m
ents c
o
nst
commit
|
commitdiff
|
tree
2007-03-17
Sven
V
erdoolaege
e
val
u
e_frac
2
fl
o
or2: al
s
o
c
on
v
ert non-partition if no
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
verify
.
c
:
change ve
r
i
fy_options_se
t
_
range
pro
t
ot
y
p
e
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
b
ernstein: piecewise_
l
st::evaluate: su
p
p
ort different
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven V
e
r
d
oolaege
verify
.
c: turn off co
n
ti
n
ue
_
o
n_error by d
e
fault
commit
|
commitdiff
|
tree
2007-03-17
Sve
n
Verdo
o
laege
bernstei
n
: e
x
port numeri
c
2valu
e
commit
|
commitdiff
|
tree
next