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
count_points_e: fall back to count_points if there are no existentials
2007-05-02
Sv
e
n
Verdoolaege
sc
a
le
.
c: move Para
m
_V
e
rte
x
_Common
_
Denominat
o
r
to
p
aram_util
.
c
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verdoolaege
evalue
.
c
: add
e
value_add_
c
onst
a
nt
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdo
o
laege
evalu
e
.
c
:
affine2evalue: skip zero coefficients
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Ve
r
doolaeg
e
evalue
.
c:
emul_poly: ef
f
icien
t
ly hand
l
e case of m
u
ltiplicati
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaeg
e
bump version
commit
|
commitdiff
|
tree
2007-04-28
S
v
en Verd
o
olaege
doc: update options and
s
ome fun
c
ti
o
n
commit
|
commitdiff
|
tree
2007-04-28
Sven
Verdoolaege
d
oc: document v
o
lume c
o
mput
a
tion
commit
|
commitdiff
|
tree
2007-04-28
Sven Verd
o
olaege
doc: more reports expl
a
i
n
in
g
parts of barvinok
commit
|
commitdiff
|
tree
2007-04-28
Sven
V
erdo
o
laeg
e
ber
n
stein: bum
p
version
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdool
a
ege
d
oc:
t
rans
f
o
r
m
ati
o
n
of param
e
t
e
r
domain to
have revlex
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
S
ven Verdoolaege
barvinok
.
cc: barvin
o
k_count_f
:
avoid
warning on recursive
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
u
ti
l
.
c
: uni
m
odular_complete: handle c
o
mpletion of more
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
ba
r
vino
k
_e
n
umerate
.
cc: handl
e
all lines in --seri
e
s
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sv
e
n V
e
rdoola
e
ge
barv
i
nok_enumerate
.
cc: series: p
l
u
g memory l
e
ak
commit
|
commitdiff
|
tree
2007-04-26
Sven Ve
r
doo
l
ae
g
e
doc: document left_inverse
commit
|
commitdiff
|
tree
2007-04-26
Sven
V
erdoolaeg
e
doc: re
m
ove ref
e
rence to old barvinok_seri
e
s appli
c
atio
n
commit
|
commitdiff
|
tree
2007-04-26
S
v
en Verdoolaeg
e
doc
:
update evalue_be
r
nstein_coefficients
commit
|
commitdiff
|
tree
2007-04-26
Sven Ver
d
ool
a
ege
barvinok/options
.
h:
put stats f
i
rst i
n
b
arvinok_options
commit
|
commitdiff
|
tree
2007-04-25
Sven
Verdoolaege
b
a
rv
i
no
k
_m
a
ximiz
e
: re
a
d
_
evalue
:
sup
p
ort relations
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolae
g
e
bernstein
.
c
c
:
eval
u
e_ber
n
stein_c
o
effi
c
i
e
nts: ha
n
dle
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
b
a
rvino
k
_maximize: evalue_read:
a
llow iden
t
ifiers to
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Ve
r
dool
a
e
ge
barvino
k
_ma
x
i
m
i
ze: move --
(
bernstein-
)
recur
s
e option
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven V
e
rdoolaege
lib
/
argp: fix logic in hol_cluster_cmp
commit
|
commitdiff
|
tree
2007-04-25
S
v
en Verdoolaeg
e
bar
v
ino
k
_maxi
m
ize: allow specific
a
tion
of th
e
varia
b
les
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
S
v
en Verdo
o
l
a
ege
barvinok_maximize: barf on un
e
xpected first token
commit
|
commitdiff
|
tree
2007-04-23
Sven Ve
r
doolaege
doc:
m
o
r
e docum
e
nts
r
eferi
n
g
to
t
he libr
a
ry
commit
|
commitdiff
|
tree
2007-04-23
Sven
Verdoolaege
evalue_convert
.
cc: e
v
alu
e
_cose
t
: support rel
a
tions
commit
|
commitdiff
|
tree
2007-04-23
S
v
en Verdoolaege
e
value
.
c: print
_
evalue:
a
lways print newline at the end
commit
|
commitdiff
|
tree
2007-04-23
Sven Verd
o
o
l
aege
doc: multivariat
e
qua
s
i-pol
y
no
m
ials
a
s li
s
ts of polynomials
commit
|
commitdiff
|
tree
2007-04-23
Sve
n
V
e
rd
o
olaege
evalue_convert
.
c
c
: include "config
.
h" to pick
up USE
_
FDSTR
E
A
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
doc: inde
x
a
d
ditions
commit
|
commitdiff
|
tree
2007-04-23
Sven Ve
r
doolaege
doc: trian
g
ulatio
n
in primal
space + some ty
p
o
fixes
commit
|
commitdiff
|
tree
2007-04-23
Sven V
e
r
d
oolaege
doc
:
document inner_po
i
nt
commit
|
commitdiff
|
tree
2007-04-23
S
ven Verdoolaege
doc: re
f
er
t
o Koeppe ar
t
icle for simpler motivation
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven
Verdoola
e
ge
d
o
c: more p
u
blica
t
ions (implicitly) ref
e
ring to
t
he
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
S
v
en Verdoolaege
co
n
f
i
gure
.
in: add $(EXEEXT) to option
a
l
programs for
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
Sven Verdoolaege
Make
f
ile
.
am
:
make sure distrib
u
tion con
t
ain
s
re
q
uired
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Ve
r
doolaege
work a
r
ound incomp
l
ete namespa
c
e support
in old co
m
pilers
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
disable some fe
a
tures if fd
s
tream doesn't c
o
m
p
ile
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sve
n
Verdoolaege
b
arvinok_enumerate
.
cc: avoid use of f
d
stream
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
b
arvinok
_
e
nu
m
erate:
d
on't print (non-ex
i
sting)
e
value
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven
Verdoolaege
edomain
.
cc: avoi
d
use of f
d
stream
commit
|
commitdiff
|
tree
2007-04-19
Sven Ver
d
oola
e
ge
configure
.
in:
check
for poly
l
i
b/
p
olylibgmp
.
h
commit
|
commitdiff
|
tree
2007-04-19
Sv
e
n
Ver
d
oolae
g
e
declare var
i
able a
t
start of code
b
l
ock
.
commit
|
commitdiff
|
tree
2007-04-18
Sven Verdoola
e
ge
Makefil
e
.
a
m
:
r
ebuild
l
ibra
r
ies in
subdirs if
m
issing
commit
|
commitdiff
|
tree
2007-04-18
Sven Ve
r
doolaege
barvinok_enum
e
rate: recheck for equalities
a
fter "variable
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
Sven
Verdoolae
g
e
doc: a votin
g
theory report that refers to the library
commit
|
commitdiff
|
tree
2007-04-15
Sv
e
n Verdoolaege
doc: update primal Bar
v
in
o
k reference
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdoo
l
aege
doc: add j
o
urn
a
l version o
f
improved derivation paper
commit
|
commitdiff
|
tree
2007-04-13
Sve
n
Verdool
a
e
g
e
volum
e
.
c: ke
e
p trac
k
of
n
um
b
er of simplices in
volume
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
S
v
en
Ver
d
oolaege
test_approx: test vol
u
m
e
computation variations
commit
|
commitdiff
|
tree
2007-04-13
Sven Ve
r
doolae
g
e
volu
m
e
.
c: volum
e
_triangu
l
ate: use vertex inste
a
d of
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
v
e
n Verdoolaege
volume
.
c: fac
e
_vertices: us
e
P
aram_Inner_Product
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
Call set_
p
rogram_name befor
e
calling argp_parse
.
commit
|
commitdiff
|
tree
2007-04-12
S
ven Ve
r
doolaege
reduce_domain: exploit
that no cal
l
er uses
P
olyhedron2Param_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven V
e
rdoolaege
lex
m
in
:
sto
p
u
s
ing Polyhedron2
P
aram_Simplifi
e
dDo
m
ain
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
V
erdoolaege
b
a
rvinok
.
c
c: sto
p
using P
o
lyhed
r
on2Param_S
i
mplifiedDomain
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
R
equire a version of PolyLi
b
t
h
at computes
c
o
r
rect
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven V
e
rdoolaege
volume
.
c: non_empty_
p
oi
n
t
:
sim
p
ly use internal point
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n Verdoola
e
g
e
only
compile bar
v
i
nok_maximize if G
i
Na
C
(
a
nd bernste
i
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verd
o
olaege
add
a
n eh
r
hart
example with interesti
n
g c
h
ambers
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoo
l
a
e
ge
te
s
t_
a
ppro
x
: test cha
m
b
e
r based s
c
aling
commit
|
commitdiff
|
tree
2007-04-12
Sven Ve
r
doolaege
scale
.
c: opt
i
onally perfo
r
m scaling o
n
i
n
dividual cham
b
e
rs
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n Verdoolaege
barvinok
_
e
numerat
e
: use
"v
a
riable compression
"
to
remove
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
util
.
c: left_invers
e
:
handle cons
t
ant map
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
evalue
.
c
: e
v
alue_substi
t
ute: m
o
ve from
e
domain
.
cc
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
Verdoolaege
evalue
.
c:
affine2evalue:
e
xtracted
f
rom vol
u
me
.
c
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
redu
c
e
_
d
o
main: par
t
ition cha
m
ber
complex based
on inner
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdool
a
eg
e
r
e
duce_domain
.
c
:
extract inner_point
and is_in
t
ern
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sve
n
Verdoolaege
reduce_domai
n
:
ch
e
ck for ad
j
a
c
e
nt chambers
in si
m
plif
i
ed
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sve
n
Ver
d
oolaege
FORALL_REDUCED_DOM
A
IN: ext
r
act
common handling o
f
reduced
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
b
ar
v
i
n
ok_enumerate: m
o
ve re
c
ursive cal
l
dur
i
ng scalin
g
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
S
v
en V
e
rdoolaege
barvi
n
ok
.
cc
:
P
aram_Poly
h
edron_
E
numerate
:
extra
c
ted
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolae
g
e
add so
m
e interesting test
c
as
e
s f
o
r volume c
o
mpu
t
ation
commit
|
commitdiff
|
tree
2007-04-09
Sven V
e
r
d
oolaege
perfor
m
very ba
s
ic polynomial approximation test
commit
|
commitdiff
|
tree
2007-04-09
Sven Verd
o
ol
a
ege
t
est_approx: compare
d
i
f
f
erent polynomi
a
l
approximations
commit
|
commitdiff
|
tree
2007-04-08
Sve
n
Verdoolae
g
e
evalue
_
con
v
ert
.
cc: partia
l
support for printing
in
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdo
o
laege
Param_
P
olyhedron_Volu
m
e
:
perform lif
t
ing triangulation
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sve
n
V
erdoolaege
volume
.
c: int
r
oduc
e
parameter_point
abstrac
t
io
n
commit
|
commitdiff
|
tree
2007-04-08
Sven Ve
r
doolae
g
e
scale
.
c: export Param_Ver
t
ex_Common_Denominator
commit
|
commitdiff
|
tree
2007-04-08
Sven Ve
r
doola
e
ge
vo
l
ume
.
c:
d
rop redunda
n
t
arguments
to volum
e
_simplex
commit
|
commitdiff
|
tree
2007-04-08
Sve
n
Ver
d
oolae
g
e
o
p
t
i
ons
.
c: se
p
arate p
o
lynomial approximation related
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven V
e
rdoolaeg
e
barvinok_options_n
e
w_
w
ith_
d
e
faul
t
s:
initialize sca
l
e_fl
a
g
s
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolaege
t
riangulate_cone: skip De
l
aunay t
r
iangulati
o
n
b
y d
e
fault
commit
|
commitdiff
|
tree
2007-04-07
Sv
e
n Verdoolaege
evalue_conve
r
t
: print lattice whe
n
prin
t
ing as list
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven V
e
rdoolaeg
e
e
v
alue_co
n
vert:
a
dd ve
r
bose argument and r
e
turn 1 if
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Verd
o
olaege
Pol
y
he
d
ron_Flate: intersect
inflated polyt
o
pe
with
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Verdoolaege
d
oc: bib: fix
u
p
n
a
me in
t
itle of Alg
o
ri
t
hmica pap
e
r
commit
|
commitdiff
|
tree
2007-04-05
Sven
V
erdoola
e
ge
add m
i
ssing volume
.
h
f
ile
commit
|
commitdiff
|
tree
2007-04-04
Sve
n
Verdoolaege
volume
.
c: delay com
p
utation of
p
oint w
h
ere volume is
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
Sven Verdoolaege
Param_Poly
h
edro
n
_Volume: set polynomial_approximation
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
S
ven Ve
r
doolaeg
e
volume
.
c: all
o
w computation of
l
ower a
n
d upper bound
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sv
e
n Verdo
o
l
aege
s
c
ale: ex
p
ort Polyhedron_
F
late
commit
|
commitdiff
|
tree
2007-04-03
Sven Ver
d
oolaeg
e
barvin
o
k_en
u
merate: optionally compu
t
e "volume" polyn
o
mial
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Ve
r
do
o
laege
polytope_volume: compute volume o
f
parametric polytope
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
reduc
e
_domain
.
c: plug memory leak
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
verify
.
c:
m
ove computation of tr
u
e c
o
ntext i
n
to check_poly_
c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
v
en Verdoolaege
scale
.
c:
ad
d
simplified method of computing
t
i
ghte
r
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
barvinok_enumer
a
t
e: optionally c
o
mpute tigh
t
er p
o
lynomial
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdool
a
ege
polyhedron_sample
.
c:
r
emove redundant MAXR
A
YS define
commit
|
commitdiff
|
tree
next