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: update options and some function
2007-04-28
Sve
n
Verdoolaege
doc: upd
a
t
e option
s
an
d
som
e
fu
n
ction
commit
|
commitdiff
|
tree
2007-04-28
Sven V
e
rdoolaege
doc: document vol
u
m
e
computation
commit
|
commitdiff
|
tree
2007-04-28
Sve
n
Verdoolaege
doc:
m
ore reports explaining parts of
b
arvinok
commit
|
commitdiff
|
tree
2007-04-28
S
v
e
n Verdoolaege
bernst
e
in: bum
p
version
commit
|
commitdiff
|
tree
2007-04-28
Sven V
e
rdool
a
ege
do
c
: tr
a
n
s
formation of paramet
e
r do
m
ain t
o
have revlex
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sv
e
n Verdoolae
g
e
barvinok
.
cc: barvinok_count_f: avo
i
d warning on recu
r
s
ive
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verd
o
olaege
util
.
c: un
i
modular_compl
e
te: han
d
le c
o
mpletion of more
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven
V
erdoolaege
b
a
rvinok
_
enumerate
.
c
c: handle all lines in --series
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdo
o
la
e
g
e
b
arvin
o
k
_enumera
t
e
.
cc: series
:
pl
u
g me
m
ory leak
commit
|
commitdiff
|
tree
2007-04-26
Sven V
e
r
do
o
laege
doc: documen
t
left_inverse
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdo
o
lae
g
e
d
o
c:
re
m
ove
reference t
o
old barvinok_series applicati
o
n
commit
|
commitdiff
|
tree
2007-04-26
Sven
Verdoo
l
aege
d
oc: update evalue
_
bernstein_c
o
e
ffi
c
ients
commit
|
commitdiff
|
tree
2007-04-26
Sv
e
n
V
erdoola
e
ge
barvinok/options
.
h:
p
u
t stats fi
r
st
i
n barvinok
_
o
ptions
commit
|
commitdiff
|
tree
2007-04-25
Sven
V
erd
o
olaege
barvinok_max
i
m
i
z
e
: read_evalu
e
: support relations
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
be
r
nstein
.
c
c
: e
v
alue
_
bernstein_coeff
i
ci
e
nts: ha
n
dle
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verd
o
o
l
aege
barvino
k
_
m
ax
i
mize: evalue_read: allo
w
identifiers
to
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
barvinok_maximi
z
e
:
move --(bernst
e
in-)re
c
ur
s
e option
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven V
e
rdoolaege
l
i
b/argp: fix logic in
h
o
l_cluster_cmp
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdo
o
laege
ba
r
v
inok_maxi
m
ize:
a
llow specification of the variables
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
barvinok_maxim
i
ze:
b
a
r
f on unexpected firs
t
tok
e
n
commit
|
commitdiff
|
tree
2007-04-23
Sv
e
n Ve
r
doola
e
ge
d
o
c: m
o
re do
c
um
e
nts
r
e
fering t
o
the library
commit
|
commitdiff
|
tree
2007-04-23
S
v
en
V
erdoolaege
e
v
al
u
e_co
n
vert
.
cc: evalu
e
_coset: support rel
a
tions
commit
|
commitdiff
|
tree
2007-04-23
Sv
e
n
V
e
rdoolaeg
e
ev
a
lue
.
c
: p
r
int_evalue: always p
r
int newline at t
h
e end
commit
|
commitdiff
|
tree
2007-04-23
Sven Ve
r
doolaege
doc
:
multiva
r
iate quasi
-
polynomials as lists of polyno
m
ials
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoo
l
a
ege
e
val
u
e_conv
e
rt
.
cc: include
"
config
.
h" to p
i
ck u
p
USE_FDSTREA
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Ve
r
doo
l
aege
doc: index additions
commit
|
commitdiff
|
tree
2007-04-23
Sv
e
n Verdoolaege
doc: triangulation in pri
m
al space + s
o
me typo fixes
commit
|
commitdiff
|
tree
2007-04-23
Sven
V
erd
o
olaege
d
o
c: docum
e
nt inner_
p
oint
commit
|
commitdiff
|
tree
2007-04-23
Sv
e
n
Verdoolaege
doc: refer to Koeppe article for s
i
mpler
mot
i
vation
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
doc
:
more publica
t
i
o
ns (implicitly) refe
r
i
n
g to the
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
Sven Ve
r
do
o
laege
config
u
re
.
in: a
d
d $(EXE
E
XT) to optional progra
m
s for
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
Sven Verdoolaege
Makefile
.
am: make
s
u
re distributi
o
n co
n
tains required
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven
V
erdoolaege
work ar
o
und incomplete namesp
a
c
e su
p
port
i
n
old compil
e
rs
commit
|
commitdiff
|
tree
2007-04-19
Sven
V
erdoo
l
aege
d
i
sable
some features
if fdstream doesn'
t
compile
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaeg
e
barvinok_enumerate
.
c
c
: avoid u
s
e of fdstream
commit
|
commitdiff
|
tree
2007-04-19
Sv
e
n Ve
r
do
o
laege
barvinok
_
enum
e
rate: do
n
't p
r
i
n
t
(non-existing) eval
u
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven
V
e
r
doolaege
e
dom
a
in
.
cc: av
o
id
u
se o
f
fds
t
r
e
am
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
confi
g
ure
.
in:
c
heck for po
l
ylib/p
o
lyl
i
bgmp
.
h
commit
|
commitdiff
|
tree
2007-04-19
Sve
n
V
e
rdool
a
e
g
e
decl
a
re va
r
iable at sta
r
t of code bloc
k
.
commit
|
commitdiff
|
tree
2007-04-18
Sven Verdoolae
g
e
M
akefi
l
e
.
am: rebuild libraries in subdi
r
s
if m
i
ssing
commit
|
commitdiff
|
tree
2007-04-18
Sven
V
erdoolaege
barvinok_en
u
merate: recheck for
e
qu
a
lities afte
r
"variable
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
Sven Ver
d
o
olaege
doc:
a
vot
i
n
g the
o
ry report
th
a
t r
e
fers
to the li
b
rary
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdoo
l
ae
g
e
d
oc
:
update pr
i
m
al Barvinok referen
c
e
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdo
o
laege
doc: add journal ve
r
sion of
i
mproved deriv
a
tion paper
commit
|
commitdiff
|
tree
2007-04-13
Sven V
e
rdool
a
ege
vol
u
me
.
c: keep track of number of si
m
plices
in volume
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
Sven
Verdool
a
ege
t
e
s
t
_approx: te
s
t
volume computation
v
a
ri
a
tions
commit
|
commitdiff
|
tree
2007-04-13
S
v
e
n Verdool
a
e
ge
vo
l
um
e
.
c: volu
m
e_triangula
t
e: us
e
verte
x
instead
of
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven V
e
r
d
o
olae
g
e
vo
l
ume
.
c: f
a
ce_vertices: use Param
_
Inner_Product
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaeg
e
Call set_program_name bef
o
re calling a
r
gp_parse
.
commit
|
commitdiff
|
tree
2007-04-12
S
ven Verdo
o
la
e
ge
reduce_d
o
ma
i
n:
e
xploit that
n
o
caller us
e
s
Polyhedron2Param_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven V
e
rdoolaege
lexmi
n
:
s
top u
s
in
g
Polyhedron2Param_Simplifi
e
dDo
m
ain
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
b
a
rvi
n
o
k
.
cc:
sto
p
using Polyhedron2Param
_
Sim
p
lifie
d
D
omain
commit
|
commitdiff
|
tree
2007-04-12
S
ven
V
erdoolaege
Req
u
ire a
version o
f
Po
l
yLib th
a
t computes cor
r
ec
t
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolae
g
e
vo
l
ume
.
c: non_em
p
t
y
_po
i
nt
:
s
i
mpl
y
u
se internal point
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verd
o
olaege
o
n
ly
compile barvin
o
k_maximize if GiNaC (and b
e
rnst
e
in
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Ve
r
doolaeg
e
add
a
n
ehrhar
t
example with
interesting cha
m
be
r
s
commit
|
commitdiff
|
tree
2007-04-12
Sven Ver
d
oolaege
tes
t
_
a
pprox:
t
est chambe
r
b
a
sed scaling
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
Verd
o
olaeg
e
scale
.
c: optionally pe
r
form scaling on individual chambers
commit
|
commitdiff
|
tree
2007-04-12
Sven V
e
r
d
oolaege
ba
r
vinok_enume
r
a
te: use "v
a
r
i
ab
l
e com
p
ression" to
r
emove
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven V
e
r
d
oolaege
util
.
c: left
_
i
n
verse: hand
l
e cons
t
ant m
a
p
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
erdool
a
ege
evalue
.
c
:
evalue_
s
ub
s
ti
t
ute: move from edomain
.
cc
commit
|
commitdiff
|
tree
2007-04-12
Sven V
e
rdool
a
ege
evalue
.
c: a
f
fine2
e
value: extracted from volume
.
c
commit
|
commitdiff
|
tree
2007-04-12
S
v
en Verdool
a
ege
reduc
e
_domain: p
a
rtition chamber compl
e
x base
d
on inner
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Ver
d
oolaege
reduce_domai
n
.
c: extract in
n
er_po
i
nt an
d
is_internal
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven
Verdoolaege
reduce_domai
n
: ch
e
ck for adjacent chambers
in simplifi
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sve
n
V
e
rdoo
l
ae
g
e
FO
R
ALL_RE
D
U
C
ED_D
O
M
A
I
N:
extract comm
o
n handling of reduced
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven
Verd
o
o
l
aege
barvinok_enumerate: move recursive call during
sc
a
ling
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sv
e
n Verdoolaege
barv
i
nok
.
cc: Par
a
m_Polyh
e
d
ron_Enumerate: e
x
t
racte
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Ver
d
oo
l
a
ege
add some
int
e
res
t
i
ng
te
s
t
c
ases
for volume comp
u
t
a
tion
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
perform very basic polyn
o
mial appr
o
ximation test
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoo
l
aege
test_
a
pp
r
ox: compare differ
e
nt polynom
i
al appro
x
imations
commit
|
commitdiff
|
tree
2007-04-08
Sve
n
Verdoo
l
a
ege
evalue_conve
r
t
.
cc: par
t
ial s
u
ppo
r
t for p
r
in
t
ing in
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
Param_Polyhedron_Volume: perform
lifting t
r
i
ang
u
latio
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
volume
.
c: in
t
roduce pa
r
a
m
e
t
er_point abstraction
commit
|
commitdiff
|
tree
2007-04-08
Sv
e
n
V
erdoolaege
sc
a
le
.
c: export Par
a
m
_Vert
e
x_
C
ommon_Denominator
commit
|
commitdiff
|
tree
2007-04-08
S
ven Verdoolaege
vol
u
me
.
c: dro
p
re
d
u
n
dant
arguments to vo
l
ume_si
m
plex
commit
|
commitdiff
|
tree
2007-04-08
Sven
Verdoolaege
optio
n
s
.
c
: sepa
r
ate pol
y
nom
i
al a
p
proximation related
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
S
v
en Verdoolaege
b
a
rvinok_opt
i
ons_
n
ew_w
i
th_def
a
ult
s
:
i
nitiali
z
e scale
_
f
l
ags
commit
|
commitdiff
|
tree
2007-04-07
Sven Ver
d
ool
a
ege
t
riangu
l
a
t
e_co
n
e: skip
D
elaunay tr
i
angu
l
ation by defau
l
t
commit
|
commitdiff
|
tree
2007-04-07
Sven Verd
o
olaege
eval
u
e_c
o
n
v
ert: print lattice when p
r
int
i
ng as list
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoola
e
ge
evalue_convert: a
d
d
verbose ar
g
ument an
d
return 1
i
f
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven
V
erdoolaege
Polyhedron_F
l
ate: in
t
ers
e
ct inflate
d
polytope with
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Verdoolaege
d
o
c:
b
ib: fix up name in
t
itle of
A
l
gor
i
t
h
mica paper
commit
|
commitdiff
|
tree
2007-04-05
Sv
e
n
V
er
d
o
o
l
a
e
ge
a
d
d miss
i
ng volume
.
h
file
commit
|
commitdiff
|
tree
2007-04-04
Sve
n
Verdoolaege
v
ol
u
me
.
c
:
d
elay comp
u
t
ation of p
o
int where
v
olume is
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
S
v
en Verdoolaege
Para
m
_
P
oly
h
edron_Volu
m
e: set poly
n
omial_approximati
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
v
olume
.
c: allow comp
u
tati
o
n
of lowe
r
and
u
pper bound
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Ver
d
oo
l
aege
sc
a
le: export Poly
h
edro
n
_Fl
a
te
commit
|
commitdiff
|
tree
2007-04-03
S
v
e
n Verdoolae
g
e
barv
i
nok
_
enumerate:
o
ptional
l
y compu
t
e
"volume" polyno
m
ial
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sve
n
Ve
r
doolaege
pol
y
t
ope_volume: compute volum
e
of
p
arametric polytop
e
commit
|
commitdiff
|
tree
2007-04-03
Sven Ver
d
oolaege
red
u
ce
_
d
omain
.
c: plug memory leak
commit
|
commitdiff
|
tree
2007-03-31
Sven
Verdool
a
e
ge
v
e
rify
.
c: move comp
u
tation of
t
rue context into check
_
poly
_
c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdool
a
ege
sca
l
e
.
c: ad
d
si
m
plified meth
o
d of co
m
puting tigh
t
er
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
v
en Verdo
o
laege
barvinok_enumerat
e
: optionall
y
compu
t
e
t
ighter polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
polyhedron_sample
.
c:
remov
e
r
e
dundant
M
AXRAY
S
d
efine
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
evalue
.
c: ev
a
lue_ev
a
l: support relations
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaeg
e
e
v
alue
.
c: evalue_
f
r
a
c2polyno
m
i
al: p
r
operly handle relations
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
barvinok_e
n
umerat
e
: support
a
pproximatio
n
by mean
s
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven V
e
rdoola
e
ge
s
c
ale
.
c
: avoid simplif
i
cation o
f
constraints after
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Ve
r
d
oolaeg
e
b
a
rvinok/util
.
h: add
P
OL_UN
S
ET macro f
o
r unsetting
.
.
.
commit
|
commitdiff
|
tree
next