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 Verdoolaege
bump version
commit
|
commitdiff
|
tree
2007-04-28
Sven V
e
rdoolaege
d
oc: updat
e
opt
i
ons
a
n
d som
e
function
commit
|
commitdiff
|
tree
2007-04-28
Sven V
e
rdoolaege
doc: document v
o
lume
comp
u
t
a
tion
commit
|
commitdiff
|
tree
2007-04-28
Sven
Ver
d
oolaege
d
oc: mor
e
reports
e
xplainin
g
parts
of barvinok
commit
|
commitdiff
|
tree
2007-04-28
Sven
V
erdoo
l
ae
g
e
be
r
n
s
tein:
bump
v
ersi
o
n
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoola
e
ge
doc: transforma
t
ion
of parameter
domain t
o
have revlex
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
S
v
en Verdool
a
ege
ba
r
vinok
.
cc: ba
r
vinok_count
_
f: avoid warning on recursive
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven
V
erdoolaege
util
.
c: unim
o
d
ular_complete: handle completion of more
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
S
v
e
n
Verdoolaege
barvinok
_
e
nume
r
ate
.
cc:
h
and
l
e all lin
e
s in --
s
e
r
ies
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
barvin
o
k_enumerate
.
cc: series: p
l
ug memory leak
commit
|
commitdiff
|
tree
2007-04-26
Sv
e
n
Verdool
a
ege
doc: doc
u
me
n
t left_inverse
commit
|
commitdiff
|
tree
2007-04-26
Sven V
e
rdoolaege
doc: remove refere
n
ce to old
b
arvinok
_
s
eries applic
a
ti
o
n
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
doc: upd
a
te eva
l
ue_bernstein_coeff
i
c
i
ents
commit
|
commitdiff
|
tree
2007-04-26
S
ven Ve
r
doolaege
b
arvinok/
o
p
tions
.
h: put
stats first in
b
a
rvinok_
o
ptions
commit
|
commitdiff
|
tree
2007-04-25
Sven Ve
r
d
oolaege
bar
v
inok_maximize
:
read_evalue: suppor
t
r
e
lati
o
n
s
commit
|
commitdiff
|
tree
2007-04-25
S
v
en Verdoolaege
bernstein
.
cc
:
evalue_bernstei
n
_coeffici
e
nts: hand
l
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Ver
d
o
olaege
barvinok
_
m
a
ximize: evalue
_
r
e
ad
:
allow identifiers to
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
b
a
r
vinok_m
a
ximize: move -
-
(b
e
rnstein-)recurse option
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verd
o
olaege
lib/argp: f
i
x l
o
g
i
c in
h
ol_cluster_cmp
commit
|
commitdiff
|
tree
2007-04-25
Sven Ver
d
oolaege
barvinok_
m
aximize: a
l
low
specifi
c
ation of the
v
aria
b
les
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sv
e
n
V
erd
o
olaege
barvinok_max
i
mize:
b
arf on unexpect
e
d first
t
o
ken
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
doc: mor
e
documents refering to
t
h
e li
b
rary
commit
|
commitdiff
|
tree
2007-04-23
Sven
V
erdo
o
laege
evalue_c
o
nvert
.
cc: evalue_
c
oset: support relations
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
eva
l
u
e
.
c: print_evalue: alway
s
print newline at the end
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoola
e
ge
doc:
multi
v
ari
a
te qu
a
si
-
polynomials
a
s lists of poly
n
om
i
als
commit
|
commitdiff
|
tree
2007-04-23
S
v
e
n Verdoolaege
evalu
e
_convert
.
cc: include
"
config
.
h" to pick up
US
E
_FDSTREA
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Ve
r
doolaege
doc
:
ind
e
x addi
t
ions
commit
|
commitdiff
|
tree
2007-04-23
S
ven Verd
o
olaege
doc: t
r
iangulation in prim
a
l space
+ some typo fix
e
s
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
doc: document inner_
p
oint
commit
|
commitdiff
|
tree
2007-04-23
Sven V
e
rdoolaege
doc: refer to Koeppe article for simpler m
o
tivation
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
do
c
: more publications (implicitly)
r
efering to the
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
Sven Verdoolaege
configur
e
.
in:
add $(EXEEXT
)
t
o opt
i
onal programs for
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
Sven
Verdoola
e
ge
M
a
kefile
.
am: make sure
d
i
stribution
c
on
t
ains re
q
uir
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaeg
e
wo
r
k around incom
p
lete namespace support in o
l
d compil
e
rs
commit
|
commitdiff
|
tree
2007-04-19
Sv
e
n V
e
rdoo
l
aege
disable s
o
m
e
f
eatures if fdstream doesn't co
m
pi
l
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sv
e
n Verdoolaege
barvinok_enume
r
ate
.
c
c
:
avoid
u
s
e
of fd
s
tream
commit
|
commitdiff
|
tree
2007-04-19
Sven
Verdool
a
ege
barvinok_enumerate: don
'
t print
(no
n
-existing)
e
v
a
lue
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
edomai
n
.
cc: avoid u
s
e of fdstream
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
config
u
re
.
in
:
check for p
o
lylib/polylibgmp
.
h
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoola
e
g
e
d
eclare v
a
ria
b
le at start of
c
ode block
.
commit
|
commitdiff
|
tree
2007-04-18
Sven V
e
rdoolaege
Makefile
.
a
m: rebuild libraries in subdirs if missi
n
g
commit
|
commitdiff
|
tree
2007-04-18
S
ven Verdoolae
g
e
barvinok_enumerate: recheck for
equali
t
ies af
t
er "variable
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
Sven Ver
d
oolaege
doc
:
a votin
g
the
o
ry re
p
ort that refers to the librar
y
commit
|
commitdiff
|
tree
2007-04-15
S
v
en Verdoolaege
d
o
c
: u
p
da
t
e pri
m
a
l Ba
r
vinok refe
r
ence
commit
|
commitdiff
|
tree
2007-04-15
S
ven Ve
r
doolaege
doc:
a
d
d
journal versi
o
n of improv
e
d derivation pa
p
er
commit
|
commitdiff
|
tree
2007-04-13
Sven
Ver
d
oolaeg
e
volum
e
.
c:
k
eep track of number of simplices
in volume
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
S
ve
n
Verdoola
e
ge
tes
t
_approx: test volume computati
o
n variations
commit
|
commitdiff
|
tree
2007-04-13
Sven V
e
r
doola
e
g
e
volume
.
c: volume_
t
riangulate: use
vertex i
n
ste
a
d of
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
volume
.
c
:
f
a
c
e
_vertic
e
s: use Param_Inner
_
Product
commit
|
commitdiff
|
tree
2007-04-12
Sven Ver
d
ool
a
ege
Call set
_
program_name be
f
ore callin
g
argp_parse
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Ve
r
d
o
olaege
reduce_domain: ex
p
l
oit tha
t
no caller uses Polyhed
r
on2Param_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verd
o
olaege
lexm
i
n: stop
using P
o
lyh
e
d
ron2Param_SimplifiedDomain
commit
|
commitdiff
|
tree
2007-04-12
S
v
en
Verdo
o
l
a
ege
b
a
r
v
inok
.
c
c: stop usin
g
Polyh
e
dr
o
n2Param_
S
imp
l
ified
D
o
m
a
in
commit
|
commitdiff
|
tree
2007-04-12
Sven Ve
r
d
o
olaege
Requ
i
re a version of PolyLib that computes co
r
rect
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
ven
Verdoolae
g
e
volume
.
c: non_empty_point
:
simply use inter
n
al p
o
int
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
v
en Ver
d
oolaege
on
l
y compile ba
r
vinok_ma
x
i
mize
i
f GiNaC (and berns
t
e
i
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Ve
r
d
oolaege
add an
e
hrhart e
x
ample wi
t
h interesting chambers
commit
|
commitdiff
|
tree
2007-04-12
S
v
en V
e
rdoo
l
a
e
ge
test_a
p
p
r
ox: test cha
m
ber based scalin
g
commit
|
commitdiff
|
tree
2007-04-12
Sven
Verd
o
olaege
scale
.
c: optionally perform scaling on individual chambers
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
b
arvinok_enumerat
e
: use "
v
ari
a
ble co
m
pres
s
i
on" to
r
emov
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
Verdoolaege
util
.
c: left_inv
e
rse: han
d
l
e
c
onsta
n
t map
commit
|
commitdiff
|
tree
2007-04-12
Sven V
e
r
d
oo
l
aeg
e
evalue
.
c: evalue_s
u
bsti
t
ute: move from edo
m
ain
.
cc
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
V
e
rdoolaeg
e
e
v
alue
.
c: affine2evalu
e
:
e
xtracted from volume
.
c
commit
|
commitdiff
|
tree
2007-04-12
S
ven Verdoolaege
reduce_domain: partition cha
m
b
e
r co
m
plex based on inner
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Ver
d
oolaege
reduce_doma
i
n
.
c
: e
x
tract in
n
er_point
a
n
d
is_internal
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sve
n
Verdoolaege
r
e
duc
e
_do
m
ain: c
h
eck for adjacent c
h
ambers in
simplified
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Ver
d
oolaege
FOR
A
LL_REDUCED_
D
OMAIN: e
x
tract common handl
i
ng of reduced
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven
V
erdoolaege
barvinok_enume
r
at
e
: mov
e
recurs
i
ve call
d
uring
scaling
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven
V
erdoolaege
barvinok
.
cc: P
a
ram_Poly
h
edron_Enumerate:
extr
a
cted
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven
Verdoolae
g
e
add some interesting
t
est cas
e
s for volu
m
e computati
o
n
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
perform very basic polynomi
a
l
a
pproxi
m
ation tes
t
commit
|
commitdiff
|
tree
2007-04-09
Sven Ver
d
o
ol
a
e
ge
test_appro
x
: compare different polynomial approximations
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoola
e
ge
evalue_conver
t
.
cc: par
t
ial support for printin
g
in
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
Par
a
m_P
o
l
yh
e
dron_Volume: perform li
f
ting triangulatio
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sv
e
n Verdoola
e
ge
v
o
lume
.
c: introduce parame
t
er_point
a
bstraction
commit
|
commitdiff
|
tree
2007-04-08
Sven
Ve
r
d
o
olaege
scale
.
c:
e
xp
o
rt Param
_
Vert
e
x
_Common_Denominator
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdo
o
laege
volume
.
c: dro
p
redundant
a
r
gu
m
ents to volume_simple
x
commit
|
commitdiff
|
tree
2007-04-08
Sve
n
Ve
r
doolaege
o
p
tion
s
.
c:
se
p
arate polynomial a
p
proxim
a
tio
n
rel
a
ted
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Ver
d
oolaege
barvinok_options_ne
w
_with_defa
u
lts: initia
l
iz
e
scale_flags
commit
|
commitdiff
|
tree
2007-04-07
Sven
V
e
rdoolaege
tr
i
angulate_c
o
ne:
skip Del
a
unay
triangula
t
ion
b
y d
e
fault
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolaege
e
v
alue_convert: print latt
i
ce
whe
n
printing as list
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven
Verdoolaeg
e
evalue_convert: add
verbose argument
a
nd return 1 if
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Verdoolae
g
e
P
ol
y
hedron_Flate: intersect
i
nf
l
ated
p
o
ly
t
o
pe with
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
S
ven Verdoolaege
do
c
: bib: f
i
x
up
n
a
me in title of Algorithm
i
ca paper
commit
|
commitdiff
|
tree
2007-04-05
Sven Verdoolaege
add missing volume
.
h file
commit
|
commitdiff
|
tree
2007-04-04
Sven
V
e
r
d
o
o
l
aege
volume
.
c:
delay
c
omputation o
f
point where volu
m
e i
s
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
Sven
V
erdoolaege
Para
m
_
Polyhedron_V
o
lume:
set polynomial_approximat
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven
V
er
d
oolaege
volume
.
c: allow
c
ompu
t
ation of lower and upp
e
r bound
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Ve
r
d
oolaege
scale: exp
o
rt
Polyhedron_Flate
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
barvinok_enumer
a
te:
o
p
t
ionally compute "vo
l
ume
"
polynom
i
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
S
v
en Verdo
o
l
a
ege
polyto
p
e_volume: c
o
mpute volu
m
e
o
f
pa
r
ametr
i
c po
l
yto
p
e
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolae
g
e
reduc
e
_
dom
a
in
.
c: plug memory lea
k
commit
|
commitdiff
|
tree
2007-03-31
Sven Ve
r
doolaege
verify
.
c: move computat
i
o
n
o
f true
context into
c
heck
_
poly_c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
scal
e
.
c
:
ad
d
s
implified m
e
thod
o
f
c
o
m
put
i
ng tighter
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Ver
d
o
olaege
b
a
rvinok_enumerat
e
: op
t
ionally
compute tigh
t
er polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
po
l
yhedron_sample
.
c: remove redundant MAXRAYS define
commit
|
commitdiff
|
tree
2007-03-31
Sven
V
erdoolaege
e
v
alue
.
c: evalue_eval:
suppo
r
t
relations
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdool
a
ege
evalue
.
c
:
evalue_frac2polynomial: properly handle relations
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n V
e
rdoolaege
barvi
n
ok_enumerate: sup
p
ort a
p
proxima
t
ion by
means
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
s
c
ale
.
c: avoid s
i
m
plification
o
f
co
n
straints after
.
.
.
commit
|
commitdiff
|
tree
next