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
bump version
commit
|
commitdiff
|
tree
2007-04-28
S
ven Verdoola
e
g
e
d
oc: update options
a
nd som
e
function
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
doc: do
c
ument volume co
m
putat
i
on
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
doc: more repor
t
s
e
x
p
l
a
ining parts of barv
i
nok
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdool
a
ege
bernstei
n
: bump versi
o
n
commit
|
commitdiff
|
tree
2007-04-28
Sven Ve
r
doo
l
aege
doc: transfor
m
ation o
f
parameter domain
to have re
v
le
x
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven V
e
rdoolaege
barvinok
.
cc: barvinok_count_f:
avoi
d
w
a
rning on recur
s
iv
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven V
e
rdoola
e
ge
util
.
c: unimodular_complete: ha
n
dle completio
n
of mo
r
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven
V
er
d
oolaege
barvinok_enumerate
.
cc: h
a
ndle al
l
lines in -
-
series
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven Ver
d
oo
l
aege
barvinok_enumerate
.
cc: ser
i
e
s: plug memo
r
y leak
commit
|
commitdiff
|
tree
2007-04-26
Sven Verd
o
olaege
doc: document left_inverse
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdool
a
e
ge
d
o
c: r
e
move reference to old
ba
r
vin
o
k_serie
s
applic
a
tion
commit
|
commitdiff
|
tree
2007-04-26
Sven V
e
rdoolaege
doc: update
e
val
u
e_bernstein_coeff
i
cients
commit
|
commitdiff
|
tree
2007-04-26
Sven V
e
rdoolaege
barvinok/options
.
h: put stats
fir
s
t in barvinok_options
commit
|
commitdiff
|
tree
2007-04-25
S
v
en Verdoolaege
barv
i
no
k
_
m
aximiz
e
: read_evalue: support r
e
lat
i
ons
commit
|
commitdiff
|
tree
2007-04-25
Sve
n
Verdoolaege
bernstein
.
cc: evalue_bernstei
n
_
c
oefficients:
hand
l
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven
V
erdoolaege
barvinok_maximize: evalu
e
_r
e
ad
:
al
l
ow
i
den
t
i
fiers to
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
barvino
k
_
m
aximize: move --
(
bernste
i
n-)recurs
e
option
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
S
ven Verdoolaege
lib
/
a
r
gp: fix
logic i
n
hol_cluster_cmp
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoo
l
a
e
g
e
barvinok
_
maximiz
e
: a
l
lo
w
s
p
ecifica
t
ion
o
f the variables
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Ver
d
oo
l
aege
b
a
rvinok_max
i
mize: barf on unexpected first token
commit
|
commitdiff
|
tree
2007-04-23
S
ven
V
erdoo
l
aege
doc: more documents r
e
fering to the libr
a
r
y
commit
|
commitdiff
|
tree
2007-04-23
Sven
V
erdoolaege
evalue_co
n
vert
.
cc: evalue_
c
oset: sup
p
ort relations
commit
|
commitdiff
|
tree
2007-04-23
Sven Ver
d
oolaege
evalue
.
c: print_evalu
e
: alway
s
print
n
ew
l
ine at the end
commit
|
commitdiff
|
tree
2007-04-23
S
ven Verdoolaege
doc: m
u
l
t
i
v
ariate
q
uasi-polyn
o
mials as lists
o
f
polyn
o
m
i
als
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
evalue_
c
onvert
.
cc: include "
c
onfig
.
h" to pick up USE_FDSTREA
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
doc: in
d
ex addi
t
ion
s
commit
|
commitdiff
|
tree
2007-04-23
Sven
V
e
r
do
o
laege
doc: triangulation in prima
l
space +
so
m
e typo fixes
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
d
o
c: doc
u
ment inner_point
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
doc: refer to Koeppe a
r
ticle
f
or simpler mo
t
ivat
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sv
e
n
Verdoolae
g
e
doc: m
o
re pu
b
lica
t
i
ons (implicitly
)
re
f
ering to the
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
Sven
Ver
d
o
o
laege
configure
.
i
n
:
add
$
(EX
E
EXT)
to optiona
l
prog
r
ams f
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
Sven Verdo
o
laege
Makefile
.
am: ma
k
e sure distribution contains
r
equ
i
red
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
wo
r
k
a
r
oun
d
incomplete namespace
s
upport in old compile
r
s
commit
|
commitdiff
|
tree
2007-04-19
Sve
n
Verdoola
e
g
e
disable some featur
e
s
if fdstream doesn't c
o
mpile
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
S
ven Verdoola
e
ge
barvinok_enumerate
.
cc: avoid use of fd
s
tream
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaeg
e
ba
r
vin
o
k
_enumerate: don'
t
pri
n
t (non-exist
i
ng) ev
a
lue
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven V
e
rdoolaege
ed
o
m
ain
.
cc: avo
i
d use of fdst
r
ea
m
commit
|
commitdiff
|
tree
2007-04-19
Sven Ver
d
oolaege
conf
i
gure
.
in: check
f
o
r po
l
ylib/pol
y
l
i
bgmp
.
h
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdo
o
laege
declare va
r
i
a
ble at sta
r
t of code block
.
commit
|
commitdiff
|
tree
2007-04-18
Sv
e
n Verdoolaege
Makefi
l
e
.
a
m
: rebuild l
i
brar
i
es
i
n subdirs if missing
commit
|
commitdiff
|
tree
2007-04-18
Sven V
e
rdoolaege
barvi
n
ok_enumerate: recheck for equalitie
s
after "variable
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
Sven Ve
r
doolaege
doc: a
voti
n
g th
e
o
ry report that refers to th
e
library
commit
|
commitdiff
|
tree
2007-04-15
Sven
V
e
rdoolaege
doc: up
d
at
e
prim
a
l Ba
r
v
inok
ref
e
r
ence
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdoolaege
doc: add journal ve
r
sion
of improved der
i
vatio
n
p
a
per
commit
|
commitdiff
|
tree
2007-04-13
S
v
en Ve
r
doolaege
v
o
lume
.
c: keep
t
rack of number of s
i
mplices
in
v
olume
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
S
v
en Verdool
a
ege
test_approx:
t
est volume comput
a
tion v
a
riation
s
commit
|
commitdiff
|
tree
2007-04-13
Sve
n
Verdool
a
e
g
e
volume
.
c:
v
ol
u
me_triangulate:
use
v
e
rtex i
n
stead of
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven
Verdoolaege
volume
.
c: face
_
vertices: use Param
_
In
n
er_Product
commit
|
commitdiff
|
tree
2007-04-12
Sven Ver
d
oolae
g
e
Call set_p
r
ogram_name befor
e
calli
n
g ar
g
p_pars
e
.
commit
|
commitdiff
|
tree
2007-04-12
S
ven Ve
r
d
oo
l
aeg
e
reduce_d
o
main: exploit that no call
e
r uses
P
olyhedron2Pa
r
am_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
V
erdoolaege
lexmin: stop using
Polyhedro
n
2P
a
ram_SimplifiedDomain
commit
|
commitdiff
|
tree
2007-04-12
S
v
e
n Ve
r
doolaege
barvinok
.
cc: st
o
p using Poly
h
edron2Param_Simpli
f
iedDomain
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdool
a
eg
e
Require a version of
P
olyLib that
computes cor
r
ect
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
v
e
n
Verdo
o
l
a
ege
volume
.
c: non_empty_poin
t
: s
i
mply u
s
e intern
a
l po
i
n
t
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
Verdoola
e
ge
add
a
n ehrhart examp
l
e w
i
th int
e
r
e
sting chambers
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaeg
e
t
est_ap
p
r
ox: test
c
h
am
b
e
r
b
ased scaling
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
sc
a
le
.
c: optionall
y
perform scaling on ind
i
vidual cha
m
bers
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
Verdoolaege
bar
v
inok_enum
e
rate: use "vari
a
ble
c
ompression" to
r
emove
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
erdoolaege
u
t
il
.
c: left_inverse:
handle co
n
s
t
ant
map
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdo
o
laege
evalu
e
.
c
: evalue_
s
ubstitute: move from edom
a
in
.
cc
commit
|
commitdiff
|
tree
2007-04-12
S
ven Ve
r
doolaege
eval
u
e
.
c: affine2e
v
alu
e
:
ext
r
acted from volume
.
c
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdo
o
laege
redu
c
e_
d
omain: partition chamber compl
e
x
base
d
on
i
nner
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Ver
d
ool
a
ege
reduce_domain
.
c: extract
i
nner_point
a
nd is
_
inte
r
nal
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdoolaege
re
d
uce_dom
a
i
n
: check for adjacent chambers in simplified
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven
V
er
d
oolaege
F
O
R
ALL_REDUCE
D
_DOMAI
N
: ext
r
act commo
n
handli
n
g of reduced
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoo
l
aege
barvino
k
_e
n
um
e
r
a
te: move rec
u
rsive c
a
ll during sc
a
ling
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
S
ve
n
Verdoolaege
barvi
n
ok
.
cc:
P
aram_Polyhedro
n
_Enumerate
:
extracted
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sv
e
n Verdoo
l
aege
add
some interesting test
c
ases for volume compu
t
ation
commit
|
commitdiff
|
tree
2007-04-09
S
ven Verdoo
l
aege
perform very basic po
l
ynom
i
al approxim
a
tio
n
te
s
t
commit
|
commitdiff
|
tree
2007-04-09
Sven V
e
r
doo
l
aege
tes
t
_appro
x
: comp
a
r
e diff
e
rent po
l
ynom
i
al approximatio
n
s
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
evalue_conver
t
.
cc: partial support for printing
i
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven V
e
rdoolaege
Param_Po
l
yhe
d
r
on_Volume: perform li
f
ting
triangulation
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven
V
erdoolaege
volume
.
c
:
introd
u
ce paramet
e
r_point abstraction
commit
|
commitdiff
|
tree
2007-04-08
Sven V
e
rd
o
olaeg
e
scale
.
c: export Para
m
_
V
e
rtex_
C
o
m
mon_Deno
m
in
a
tor
commit
|
commitdiff
|
tree
2007-04-08
S
v
en Verdoo
l
aege
vo
l
ume
.
c
: drop redund
a
nt
a
r
g
uments to volum
e
_simplex
commit
|
commitdiff
|
tree
2007-04-08
S
v
en
V
e
r
d
o
o
l
aege
o
p
t
i
ons
.
c: separate polynomi
a
l app
r
o
x
imation rel
a
te
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verd
o
olaege
barvinok_options_
n
ew_w
i
t
h_d
e
faults: initialize scale_flags
commit
|
commitdiff
|
tree
2007-04-07
S
ve
n
Verdoolaege
triang
u
la
t
e_
c
o
ne: skip Delaunay triang
u
lation
b
y def
a
ult
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolaege
ev
a
lu
e
_convert: pr
i
n
t
lattice wh
e
n printing
a
s list
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
S
v
en Ver
d
oolaege
evalue
_
convert
:
add
v
er
b
o
se arg
u
ment and return 1
i
f
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Verdoola
e
ge
Polyhedron_Flate: int
e
rs
e
ct inflated pol
y
tope with
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
S
v
en
Verdoolaege
do
c
: b
i
b: fix up nam
e
in title
o
f
Algorithm
i
ca paper
commit
|
commitdiff
|
tree
2007-04-05
Sven Verdoo
l
aege
a
dd miss
i
n
g
volume
.
h file
commit
|
commitdiff
|
tree
2007-04-04
Sve
n
Verd
o
olaege
volu
m
e
.
c:
d
ela
y
compu
t
atio
n
of p
o
int where volume
i
s
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
Sv
e
n Verdoolaege
Param_Pol
y
hedron_Volume: set p
o
lynomial_appro
x
im
a
tion
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
v
olume
.
c: allow compu
t
a
t
ion o
f
low
e
r
and upper bound
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaeg
e
s
c
al
e
:
e
x
p
o
r
t
P
olyhedron_Flate
commit
|
commitdiff
|
tree
2007-04-03
Sven V
e
rdoo
l
aege
barvinok_enum
e
rate:
optionally compute "volum
e
"
pol
y
n
o
mial
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sve
n
V
erdoolaege
polytope_v
o
lume:
c
ompute vo
l
ume of param
e
tric polytope
commit
|
commitdiff
|
tree
2007-04-03
Sven
Verdoolaege
redu
c
e
_
domain
.
c:
plug memory leak
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
v
erify
.
c: move computation of tr
u
e c
o
nt
e
xt int
o
check_poly_
c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
ven
V
e
r
doolaege
scale
.
c: add simp
l
ified method of computing tighter
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
b
a
rvinok_enumerate: optionally
compute
tighte
r
polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven V
e
rd
o
olaege
polyhedro
n
_sample
.
c:
remove redundant MAXRAYS define
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
evalu
e
.
c: evalue_eval: su
p
po
r
t
re
l
ations
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
evalue
.
c: e
v
alue_frac2polynomial: properly handle rela
t
i
o
ns
commit
|
commitdiff
|
tree
2007-03-31
S
v
en Verdoolaege
bar
v
inok_enume
r
ate
:
supp
o
rt
a
pproximat
i
on by means
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
ven Verdoola
e
g
e
scale
.
c:
a
void
s
implificat
i
on of co
n
s
traints after
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
Verdoolaege
b
a
rvinok/util
.
h: a
d
d POL_UNSET ma
c
ro f
o
r unsetting
.
.
.
commit
|
commitdiff
|
tree
next