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
Makefile.am: check-evalue: print name of each test file
2007-05-02
Sven V
e
r
doola
e
ge
evalue
.
c:
affi
n
e
2
e
v
alue: skip zero coefficient
s
commit
|
commitdiff
|
tree
2007-05-02
Sven V
e
rdoolaege
ev
a
lu
e
.
c: emul_poly: e
f
ficien
t
ly
handle case of
m
ultipli
c
ati
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
b
u
mp
v
er
s
ion
commit
|
commitdiff
|
tree
2007-04-28
Sven Verd
o
olaege
doc: updat
e
options and some
f
u
nctio
n
commit
|
commitdiff
|
tree
2007-04-28
Sv
e
n Verdoolaege
doc: document volume computation
commit
|
commitdiff
|
tree
2007-04-28
Sven
V
erdoolaege
doc: mo
r
e
reports explai
n
i
n
g parts
o
f barvinok
commit
|
commitdiff
|
tree
2007-04-28
S
v
en
V
erd
o
olaege
berns
t
ein: bump
v
ersion
commit
|
commitdiff
|
tree
2007-04-28
Sve
n
Verdool
a
ege
doc: transformatio
n
of parameter domain to have revle
x
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
bar
v
inok
.
c
c
:
ba
r
vinok_count_f
:
avoid war
n
ing
o
n
rec
u
rsiv
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoo
l
aege
util
.
c: u
n
imod
u
lar_comple
t
e: handle
c
om
p
letion of
more
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
S
v
en Verd
o
o
l
aege
barvinok_enume
r
ate
.
cc
:
handle all lines in
--s
e
ries
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
S
v
e
n
Verdoo
l
aege
barvinok_enumerate
.
cc: s
e
r
ies: plug memory leak
commit
|
commitdiff
|
tree
2007-04-26
S
v
en Verdoo
l
aege
doc:
d
ocumen
t
left_inver
s
e
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoola
e
ge
do
c
:
r
e
mov
e
reference to old barvinok
_
se
r
ies a
p
plicatio
n
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
doc: upda
t
e e
v
alue_bernstein_co
e
ffic
i
en
t
s
commit
|
commitdiff
|
tree
2007-04-26
S
v
en Verdoolaeg
e
ba
r
vinok/
o
ption
s
.
h: put
stats first in ba
r
vinok_op
t
ions
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
ba
r
v
i
nok_maxim
i
ze: read_ev
a
lue: su
p
port relatio
n
s
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
bernstein
.
cc: evalue_bernstein_coe
f
fi
c
ie
n
ts: h
a
ndle
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven V
e
rdoolaege
barvino
k
_maximiz
e
: evalue_re
a
d: allow identifiers t
o
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
barvinok_maximi
z
e: move --(bernstein-)
r
ecurse
o
p
t
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sv
e
n Verdoolae
g
e
lib/argp:
f
ix logic in hol_cluster_cmp
commit
|
commitdiff
|
tree
2007-04-25
S
v
en Ve
r
d
oolaege
barvinok_maximize:
a
llow s
p
ecificat
i
on of the variables
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Ver
d
oola
e
ge
barvinok_maximize: barf on unexpected
fi
r
st token
commit
|
commitdiff
|
tree
2007-04-23
S
ven Verdoo
l
aege
do
c
: m
o
re
d
ocuments refering
to the
l
ib
r
ary
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
evalue_convert
.
cc: eval
u
e_coset:
s
upport relatio
n
s
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
evalue
.
c: print_eval
u
e
: a
l
w
a
y
s
prin
t
newline a
t
the e
n
d
commit
|
commitdiff
|
tree
2007-04-23
Sven
V
erdoolaege
d
o
c: multivariate
qu
a
si
-
polynomials as
lists of polynomials
commit
|
commitdiff
|
tree
2007-04-23
Sven Ve
r
doolaeg
e
evalue_convert
.
cc
:
i
n
clu
d
e "confi
g
.
h" to
p
ic
k
up USE_
F
DSTREA
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven
Verdoola
e
ge
doc:
i
ndex additions
commit
|
commitdiff
|
tree
2007-04-23
Sve
n
Verdool
a
ege
doc: tr
i
angulation i
n
primal space + some typo fix
e
s
commit
|
commitdiff
|
tree
2007-04-23
Sven
Verdoolaeg
e
do
c
: docume
n
t inner_poi
n
t
commit
|
commitdiff
|
tree
2007-04-23
Sv
e
n Verd
o
olaege
d
oc: r
e
f
er
to
Koeppe arti
c
le for
simp
l
er motivation
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sv
e
n Verd
o
olaege
doc: more publication
s
(implicitly) refer
i
ng to
t
he
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
S
ven Verdoolaege
configure
.
in
:
a
d
d
$
(EXEEXT) to
o
ptional programs f
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
Sven Verdoolaege
Make
f
ile
.
a
m
: make s
u
re
d
i
s
t
r
ibuti
o
n cont
a
ins required
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
wo
r
k around
incompl
e
te n
a
mespac
e
support in old
c
o
mpilers
commit
|
commitdiff
|
tree
2007-04-19
Sven
Verdoolaege
disable s
o
me
features if fdstream doesn't compile
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sv
e
n Verdoolaeg
e
barvinok_enumerate
.
cc: avoid use of f
d
s
t
re
a
m
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
barvinok_enumerate: don't print (non-exist
i
ng)
evalue
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven
V
e
rdoolaege
e
d
om
a
in
.
cc: av
o
id use of fd
s
trea
m
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoola
e
ge
configure
.
in: check
f
or poly
l
ib
/
polylibgmp
.
h
commit
|
commitdiff
|
tree
2007-04-19
S
v
e
n
Verdoolaeg
e
dec
l
a
r
e
variable at start of
code block
.
commit
|
commitdiff
|
tree
2007-04-18
Sven
Verd
o
olaege
Makefile
.
am: rebuild l
i
bra
r
ies in sub
d
irs if missi
n
g
commit
|
commitdiff
|
tree
2007-04-18
Sven Verdoolaege
barvi
n
ok_enumerate: recheck for
e
qualities afte
r
"v
a
riable
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdoolaege
doc: a voting theo
r
y report that
refers
t
o th
e
l
i
brary
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdoolaege
d
oc: update primal
B
a
rvinok reference
commit
|
commitdiff
|
tree
2007-04-15
Sven Ver
d
o
ola
e
g
e
d
o
c: add
journal
v
e
r
s
ion o
f
i
mproved
d
erivat
i
on paper
commit
|
commitdiff
|
tree
2007-04-13
Sve
n
Verdoolaege
volume
.
c
: keep track of number of
s
implices in volu
m
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
Sve
n
Ve
r
doolaege
test_approx: test vol
u
m
e
computation
variations
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdo
o
laege
v
ol
u
me
.
c: volume_triangulate: use vertex inst
e
a
d
of
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven V
e
r
doolaege
volume
.
c:
f
ace_v
e
rtices: use Param_Inne
r
_P
r
oduct
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
C
all
s
e
t
_
p
r
ogram_name
before calling
argp_p
a
rse
.
commit
|
commitdiff
|
tree
2007-04-12
S
v
e
n Verdoolaege
reduce_domai
n
: exploit tha
t
no calle
r
uses Poly
h
edron
2
Pa
r
a
m_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
lexmin: stop using Polyhedron2Param
_
SimplifiedDomain
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
ba
r
vinok
.
cc: stop
u
si
n
g Polyhedro
n
2P
a
ram_
S
impl
i
fi
e
dDomai
n
commit
|
commitdiff
|
tree
2007-04-12
Sven Ver
d
o
o
laege
Require a
version of PolyLi
b
tha
t
c
o
mputes co
r
rect
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
volu
m
e
.
c
:
non_empty_p
o
i
n
t: simply use in
t
e
r
nal p
o
i
nt
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
v
en Verdoolaege
o
nl
y
comp
i
le barvinok_maximi
z
e if GiNaC
(and bernste
i
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
v
en Verdoolae
g
e
add an ehrhart example with in
t
e
r
e
s
ting
ch
a
mbers
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
erd
o
ola
e
ge
test_approx: tes
t
chambe
r
based
s
cal
i
ng
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
scale
.
c: option
a
lly perform
s
cal
i
n
g on indiv
i
dual cham
b
e
r
s
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoo
l
aege
barvi
n
o
k
_enumerat
e
: use "variable compression"
to remo
v
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
erdoolaege
util
.
c
: l
e
f
t_i
n
verse: ha
n
dle constant map
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
Verdoolaege
evalu
e
.
c: e
v
a
l
ue_substitute: mov
e
from edomai
n
.
cc
commit
|
commitdiff
|
tree
2007-04-12
Sven Ver
d
ool
a
e
g
e
evalue
.
c: affine
2
eval
u
e
:
extracted from vo
l
u
me
.
c
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n Verdoolaege
r
e
d
uce_domain: partitio
n
c
h
a
mber compl
e
x
bas
e
d on inner
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdool
a
ege
re
d
uc
e
_doma
i
n
.
c: extract inner_po
i
nt and is
_
internal
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdo
o
lae
g
e
r
e
duc
e
_
d
omain:
check for
adja
c
ent
chambers in simplified
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdoola
e
ge
FORAL
L
_R
E
DUC
E
D_DO
M
A
I
N: extract common handling of r
e
duced
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
barvinok_e
n
umerate: move recursive call during scal
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
S
v
en Verdool
a
ege
barvinok
.
cc: Pa
r
a
m_Polyhe
d
ron_Enumer
a
t
e: extra
c
ted
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven
V
e
r
d
oolaege
add some interesting test cases for volume
compu
t
ation
commit
|
commitdiff
|
tree
2007-04-09
Sven Ve
r
d
oolaege
perfo
r
m very basic p
o
lynomial approximation test
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
test_approx
:
compare different po
l
ynomial a
p
proxi
m
ati
o
ns
commit
|
commitdiff
|
tree
2007-04-08
Sven
V
erdoolaege
ev
a
l
ue_convert
.
cc: pa
r
t
i
al s
u
pport for
p
rinting in
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sv
e
n
V
erdoolaege
Para
m
_Polyhedron_Volume: perform
l
i
f
t
i
n
g
t
riangulation
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
S
ven Ve
r
dool
a
e
ge
vo
l
ume
.
c
:
introduce par
a
meter_po
i
n
t
abstracti
o
n
commit
|
commitdiff
|
tree
2007-04-08
Sven V
e
rdoolaege
s
cale
.
c: export P
a
r
am_Ver
t
ex_Common_
D
enomina
t
o
r
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
vol
u
m
e
.
c: drop redundant
a
rgu
m
ents
t
o volume_simplex
commit
|
commitdiff
|
tree
2007-04-08
Sven
Verdoolaege
options
.
c:
separate p
o
lynomial approx
i
mat
i
on relate
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven
Verd
o
o
l
a
ege
ba
r
vinok_op
t
io
n
s_new_with_defaults: init
i
alize sca
l
e_flags
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolaege
trian
g
ulate_
c
one: skip Delaun
a
y triangulation by default
commit
|
commitdiff
|
tree
2007-04-07
Sven Ver
d
o
o
l
a
ege
evalue_conver
t
: p
r
int lattice w
h
en prin
t
i
n
g as list
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
S
ven Verdoolae
g
e
evalue_convert:
add verbose argument and return 1 i
f
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sv
e
n Verd
o
ola
e
ge
Poly
h
e
dron_Flate:
i
ntersect infl
a
ted polytope with
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
S
v
en Verdoolaege
doc
:
bib: fix up name in titl
e
of Algor
i
t
hmica paper
commit
|
commitdiff
|
tree
2007-04-05
S
v
e
n Verdoolaege
add
m
issing volume
.
h
file
commit
|
commitdiff
|
tree
2007-04-04
Sven Verdoo
l
aege
volum
e
.
c: delay
c
omputation of point
wh
e
re volume is
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
Sven Verdoolaege
Pa
r
am_Poly
h
ed
r
on_Volume: set
p
olyno
m
i
a
l_a
p
proxim
a
tion
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
volume
.
c: allow computation of lower a
n
d upper bound
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
S
v
e
n
Ver
d
oolaeg
e
sca
l
e: exp
o
r
t
Polyhedron_F
l
ate
commit
|
commitdiff
|
tree
2007-04-03
Sv
e
n Verdoolaege
ba
r
vinok_enumerate:
o
pti
o
nally
c
o
mpute "
v
olume" polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sv
e
n Ve
r
doolaege
p
o
lytope_vo
l
ume: c
o
mpute volume of par
a
metric po
l
yt
o
pe
commit
|
commitdiff
|
tree
2007-04-03
Sv
e
n Verdoolaege
reduce_domain
.
c: plug memory
l
ea
k
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
verify
.
c: move computat
i
on of tr
u
e
cont
e
xt
into check_poly_c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
v
en Verdo
o
l
a
e
g
e
scale
.
c
: add
s
i
m
p
l
ifie
d
me
t
hod of comput
i
ng tighter
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
barvinok_enumerate: optionally co
m
p
u
te
t
i
g
h
te
r
p
ol
y
no
m
i
al
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
v
en Verd
o
ola
e
ge
p
o
lyhedron_sample
.
c: remove redundant
M
AXRAYS de
f
ine
commit
|
commitdiff
|
tree
2007-03-31
Sven
V
erdoolaeg
e
eval
u
e
.
c
:
e
value_
e
v
a
l: support relations
commit
|
commitdiff
|
tree
2007-03-31
S
v
en Ve
r
doola
e
ge
evalu
e
.
c:
e
value_frac2polynom
i
al: properl
y
handle relations
commit
|
commitdiff
|
tree
next