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
evalue.c: emul_poly: efficiently handle case of multiplication with pure power
2007-05-02
Sv
e
n Verd
o
olaege
evalu
e
.
c: emul_pol
y
: ef
f
icient
l
y handle case of
m
ult
i
pli
c
ati
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verd
o
ola
e
ge
bump version
commit
|
commitdiff
|
tree
2007-04-28
Sv
e
n
V
erdool
a
e
ge
doc: update opti
o
n
s and some function
commit
|
commitdiff
|
tree
2007-04-28
Sve
n
V
e
rdool
a
ege
d
oc: document
vol
u
me compu
t
ation
commit
|
commitdiff
|
tree
2007-04-28
Sven
V
erdoolaege
doc:
m
ore reports expl
a
i
ning pa
r
ts o
f
barvinok
commit
|
commitdiff
|
tree
2007-04-28
Sve
n
V
erdoolaeg
e
b
e
rnstein:
b
ump version
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
doc: transform
a
tion of paramete
r
d
o
main to have re
v
lex
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
barvinok
.
cc: bar
v
i
nok_cou
n
t_
f
: avoid war
n
ing
on recursive
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verd
o
olaege
ut
i
l
.
c:
u
nim
o
d
u
lar_comple
t
e: handle
c
omple
t
ion
of more
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoo
l
aege
b
a
rvinok_enumerate
.
cc: han
d
le al
l
lines in --s
e
r
i
es
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sv
e
n Verdoola
e
ge
barvinok_enume
r
at
e
.
cc: series: plug
memory leak
commit
|
commitdiff
|
tree
2007-04-26
Sv
e
n Verdoolaege
do
c
: document left_inv
e
r
se
commit
|
commitdiff
|
tree
2007-04-26
Sven V
e
r
doolaege
doc: rem
o
ve refe
r
ence to old barvinok
_
series app
l
ication
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoo
l
aege
doc: updat
e
e
value
_
bern
s
tein_coefficients
commit
|
commitdiff
|
tree
2007-04-26
Sven
V
erdoolae
g
e
b
a
rvinok/options
.
h: put stats first
i
n
barvi
n
ok_options
commit
|
commitdiff
|
tree
2007-04-25
Sv
e
n
V
e
rdool
a
ege
b
arvi
n
ok_maximize: read_ev
a
lue:
s
upport relations
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
bernstein
.
cc:
e
value_bern
s
tein_
c
oefficient
s
:
handle
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
ba
r
vino
k
_maximize: ev
a
lue_read: allow identifiers to
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
S
v
e
n Verd
o
o
l
aege
barvinok_maximize: move
-
-(be
r
nstein-
)
recurse
op
t
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven
V
erdoolae
g
e
l
i
b
/
a
r
gp: fix
l
ogic in hol_cluste
r
_cmp
commit
|
commitdiff
|
tree
2007-04-25
Sven Ve
r
doolaege
bar
v
inok_maximize: allow
specificati
o
n of
the variab
l
es
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Ve
r
d
o
olaege
barvinok_maximi
z
e
:
barf
on unexpected first to
k
en
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoo
l
aege
doc: more
d
ocuments refering to the library
commit
|
commitdiff
|
tree
2007-04-23
Sven Ve
r
doola
e
ge
evalu
e
_conv
e
rt
.
c
c
: evalu
e
_co
s
et: supp
o
rt rel
a
tions
commit
|
commitdiff
|
tree
2007-04-23
S
v
e
n Verdoolaege
eva
l
ue
.
c
: print_evalue: alway
s
pr
i
nt newli
n
e at the end
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
doc: multivariate
q
uasi-p
o
lynomials as li
s
ts of
polynomi
a
l
s
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
evalue_convert
.
cc: include "con
f
i
g
.
h" to pic
k
u
p
U
SE_FDSTREA
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdo
o
la
e
ge
doc: index ad
d
itions
commit
|
commitdiff
|
tree
2007-04-23
Sven Ve
r
doolaeg
e
doc: t
r
ia
n
g
u
l
at
i
on
in primal s
p
a
c
e
+ so
m
e typo fixes
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdo
o
lae
g
e
doc:
d
ocum
e
nt
i
nner_
p
o
i
nt
commit
|
commitdiff
|
tree
2007-04-23
S
v
e
n V
e
rdoolaege
do
c
: refer to
Koeppe
article for
s
i
mpler motivati
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven V
e
rdoolaege
d
o
c: more publications (implicitl
y
)
refering to the
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
S
ven Verdoolaege
configure
.
in: add $(EXEEXT) to op
t
ional
program
s
for
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
Sven Verd
o
olaege
Ma
k
e
file
.
am:
make sure di
s
tr
i
bution contains required
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolae
g
e
wor
k
around in
c
omplete name
s
pa
c
e support in
o
ld
c
ompil
e
rs
commit
|
commitdiff
|
tree
2007-04-19
S
v
e
n
Verdoolaege
di
s
able some
features if fdstream do
e
s
n't comp
i
le
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
S
ven Verdoo
l
aeg
e
bar
v
inok_enumerate
.
cc:
a
void us
e
of fdstre
a
m
commit
|
commitdiff
|
tree
2007-04-19
Sven
Ver
d
o
o
l
a
e
ge
barvin
o
k_enumerate:
don't print
(
non-existing) evalue
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sve
n
Verdo
o
laege
e
d
omain
.
cc: a
v
oid
use of fdstream
commit
|
commitdiff
|
tree
2007-04-19
S
v
en Verdoola
e
ge
configur
e
.
in
:
check
for polyl
i
b
/p
o
lylibgmp
.
h
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoo
l
aege
d
e
clar
e
variable a
t
start of code block
.
commit
|
commitdiff
|
tree
2007-04-18
Sven
V
erdoolaege
Make
f
ile
.
am:
r
ebuild l
i
braries
i
n subdirs if missing
commit
|
commitdiff
|
tree
2007-04-18
Sven Ver
d
oolaege
ba
r
vinok_enumer
a
t
e
: re
c
heck for equalities afte
r
"variable
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdoolae
g
e
doc: a voting the
o
ry report
t
hat r
e
f
ers
t
o the libr
a
r
y
commit
|
commitdiff
|
tree
2007-04-15
S
v
en Verd
o
olaege
d
oc
:
updat
e
pr
i
mal Barvin
o
k
reference
commit
|
commitdiff
|
tree
2007-04-15
Sven Ve
r
doolaege
doc: add jou
r
n
a
l version of i
m
pro
v
ed d
e
riv
a
ti
o
n pa
p
er
commit
|
commitdiff
|
tree
2007-04-13
S
v
en
V
erdoolaege
v
ol
u
me
.
c: ke
e
p track of
number of
simplices in volu
m
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
Sv
e
n Verdoolaege
test_approx: test volume computation variat
i
ons
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdoolae
g
e
volume
.
c: volume_triangulate: use vertex
i
n
s
tead o
f
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Ve
r
doo
l
aege
volume
.
c:
f
ace_vertic
e
s: use P
a
ram_Inner
_
Product
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdo
o
l
a
ege
Call set_progra
m
_name before
ca
l
ling
a
rgp_pa
r
se
.
commit
|
commitdiff
|
tree
2007-04-12
Sven V
e
rdoolae
g
e
reduce_domain: exploit that no caller us
e
s
P
o
l
y
h
edron2Param_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven V
e
r
d
oolae
g
e
lex
m
in:
stop
using Polyhedro
n
2Param_SimplifiedDomain
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
barvinok
.
c
c: stop using
Polyhedro
n
2
Pa
r
am_Simpl
i
f
iedD
o
main
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
Require a version of Poly
L
i
b
th
a
t compute
s
correc
t
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
Verd
o
olaege
vo
l
um
e
.
c
:
n
on_empty_point: simp
l
y use internal point
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verd
o
ol
a
ege
only compi
l
e
b
arvinok_maximize
i
f
GiNaC (and
b
erns
t
ein
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n Ve
r
doolaege
a
d
d
a
n
e
h
rhart examp
l
e
w
ith interesting chambers
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdo
o
l
a
ege
test_
a
p
p
r
ox: t
e
st c
h
a
m
ber based scaling
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdo
o
laege
sc
a
l
e
.
c: optionally perform scaling on individual cha
m
bers
commit
|
commitdiff
|
tree
2007-04-12
S
ven Verdoolaege
barvino
k
_enumerate: use
"
v
a
ria
b
le
c
ompr
e
ssion" to remove
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdo
o
laege
util
.
c: left_inverse: handle cons
t
ant
m
ap
commit
|
commitdiff
|
tree
2007-04-12
Sven V
e
rdoolae
g
e
eval
u
e
.
c
: eva
l
ue_s
u
bstitute: mo
v
e
from edomai
n
.
cc
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
Ve
r
d
o
olaege
eva
l
ue
.
c: affine2evalue:
e
x
trac
t
ed from
v
olume
.
c
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
e
rdoolaege
reduce_domain:
p
artition
c
hamber
c
o
m
plex b
a
se
d
on inner
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven
V
erdoola
e
g
e
reduce
_
domai
n
.
c
: ext
r
a
c
t
i
n
ner
_
poi
n
t and
is_intern
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven V
e
rdoolaeg
e
r
educe_domain: check for adjace
n
t chamb
e
rs in s
i
m
p
lifi
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdoola
e
g
e
F
OR
A
LL_REDUC
E
D_DOM
A
IN: extract commo
n
h
a
ndling
o
f
r
e
d
uced
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoola
e
ge
barv
i
nok_e
n
u
m
erate: move
r
ecursive
cal
l
d
uri
n
g scalin
g
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven V
e
rdoolaege
ba
r
vinok
.
cc: Param_P
o
lyhedron_Enumerate: e
x
tracted
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sve
n
Verdoolaege
add som
e
inter
e
sting
t
est c
a
ses fo
r
volume computation
commit
|
commitdiff
|
tree
2007-04-09
S
v
en Verdoolaege
perform very b
a
sic polynomia
l
a
p
proximation test
commit
|
commitdiff
|
tree
2007-04-09
Sven Ve
r
doolaege
test_approx: compare different pol
y
nomial approximations
commit
|
commitdiff
|
tree
2007-04-08
S
v
en Verdoola
e
g
e
evalue_convert
.
cc: par
t
ial support
fo
r
printin
g
in
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdool
a
ege
P
a
ram_Polyhedron_Volu
m
e: perform lift
i
ng triang
u
lation
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven V
e
rdoolaege
volume
.
c: i
n
troduce pa
r
a
meter
_
poin
t
abstraction
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoo
l
a
e
g
e
scal
e
.
c: e
x
port Param_Vertex_Common_D
e
nominator
commit
|
commitdiff
|
tree
2007-04-08
Sven V
e
rd
o
olaege
vol
u
me
.
c
:
drop redundant argu
m
ent
s
to volume_s
i
m
p
l
ex
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
op
t
ions
.
c: se
p
ar
a
t
e polynomial
a
p
proxim
a
t
ion
r
elated
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolaege
barvin
o
k
_options_new
_
with_default
s
:
ini
t
ialize scale_f
l
ags
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolaege
tri
a
n
g
ulate_c
o
ne: skip Delaunay t
r
iangula
t
ion
by default
commit
|
commitdiff
|
tree
2007-04-07
S
v
en Verdool
a
ege
evalue_convert: print
lat
t
ice when printing as
list
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolaege
eva
l
ue_con
v
ert: add v
e
rb
o
s
e ar
g
ume
n
t and
return 1 i
f
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven
V
erdoolaege
P
oly
h
ed
r
on_Flat
e
:
int
e
rsect inf
l
ated polytope with
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
S
ven Verdoolaege
doc: bib: fix
up name in title of
A
lgorithmica pa
p
er
commit
|
commitdiff
|
tree
2007-04-05
Sven
Verdoolaege
a
d
d missing volume
.
h fil
e
commit
|
commitdiff
|
tree
2007-04-04
S
ve
n
Verdoo
l
aege
volu
m
e
.
c: del
a
y computation
of po
i
nt wh
e
re volume
is
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
Sven Ver
d
oolaege
Param_Polyhedr
o
n_Volume:
se
t
po
l
ynomial_approx
i
mation
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaeg
e
vo
l
ume
.
c: allo
w
computat
i
on of
lowe
r
and upper bound
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven
Ver
d
oolaege
scale: e
x
port P
o
ly
h
edron_Flate
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoo
l
ae
g
e
barv
i
nok_enumerate: optionally compute
"
volu
m
e" polyn
o
mial
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoo
l
aege
polytope_v
o
lume: comp
u
te volume of param
e
tric po
l
ytope
commit
|
commitdiff
|
tree
2007-04-03
S
ven
Verdoolaege
reduce_domain
.
c: p
l
ug
m
emory leak
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
verify
.
c: move co
m
p
u
tation o
f
tru
e
context into c
h
e
c
k_
p
o
l
y
_c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven V
e
rdoolaege
scale
.
c: add simplified method
of computing
t
ighter
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
Ve
r
doolaege
barvinok_en
u
merate:
o
ptiona
l
ly compute
t
ighter polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
polyhedron_sample
.
c: remove redundant MAXRAYS define
commit
|
commitdiff
|
tree
2007-03-31
Sve
n
Verdool
a
ege
e
v
alue
.
c: evalue_
e
v
al: support
rel
a
tions
commit
|
commitdiff
|
tree
2007-03-31
Sven Ver
d
oolaege
evalue
.
c: evalue_frac
2
polynomial: properly handl
e
relat
i
ons
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoo
l
aege
barvinok
_
enumerate: su
p
port
a
ppr
o
ximation by means
.
.
.
commit
|
commitdiff
|
tree
next