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
Sven Ve
r
doolae
g
e
evalue
.
c
: emul_poly: efficiently handle case
of multip
l
i
cati
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaeg
e
bump ver
s
ion
commit
|
commitdiff
|
tree
2007-04-28
Sven
V
e
rdoolaeg
e
doc:
u
p
d
ate options a
n
d some
function
commit
|
commitdiff
|
tree
2007-04-28
Sven Ver
d
oolaege
doc: document
v
o
lume
comp
u
tation
commit
|
commitdiff
|
tree
2007-04-28
Sven Verd
o
olaege
do
c
:
more reports
e
xplaining p
a
rts of barvinok
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
bernstei
n
:
b
ump version
commit
|
commitdiff
|
tree
2007-04-28
Sven Verd
o
olaege
doc:
transformation of parameter domain to have
r
ev
l
ex
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven
Verd
o
olaege
barvinok
.
cc: b
a
rvinok_count_f: avoid war
n
ing on recur
s
ive
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Ve
r
doolaege
util
.
c:
unimodular_complete: h
a
ndle completion o
f
mor
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
S
v
en
V
erdoolaeg
e
barvinok_enumerate
.
cc: han
d
le all lines in --ser
i
es
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
S
v
en Verdoo
l
aege
barvinok_enumerate
.
cc: series: p
l
ug
memory leak
commit
|
commitdiff
|
tree
2007-04-26
Sven Verd
o
o
l
aege
doc: document l
e
ft
_
inver
s
e
commit
|
commitdiff
|
tree
2007-04-26
Sven
V
e
rdoolaege
doc:
r
emove r
e
feren
c
e
t
o
old b
a
rvi
n
ok_series appl
i
cation
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolae
g
e
d
o
c: update e
v
alue_
b
ernstein_coe
f
f
icients
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
barvinok/optio
n
s
.
h: put
s
tats fir
s
t
i
n b
a
rvinok_options
commit
|
commitdiff
|
tree
2007-04-25
Sven
Verdo
o
lae
g
e
b
arvinok
_
maximiz
e
: re
a
d_eva
l
u
e: suppo
r
t relations
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
be
r
nstein
.
cc: evalue_be
r
nstein_coefficie
n
ts: ha
n
dle
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Ver
d
o
o
laege
barv
i
nok_maximize:
ev
a
l
u
e_read: allo
w
i
dentifiers to
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sve
n
Ver
d
oolaege
b
arvinok
_
maxi
m
ize:
m
ove --(bernstein-)recurse
opt
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven V
e
rdo
o
laege
lib
/
argp: f
i
x logic
i
n
ho
l
_cluster_c
m
p
commit
|
commitdiff
|
tree
2007-04-25
Sven
Verdool
a
e
g
e
ba
r
v
i
nok_maxim
i
ze: allow specificat
i
on of t
h
e
variabl
e
s
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven V
e
rdoolaege
barvino
k
_maximize: barf on unexpected fir
s
t
t
o
ken
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
doc: more documents refering to the l
i
bra
r
y
commit
|
commitdiff
|
tree
2007-04-23
S
ven Verdoolaege
evalue_c
o
nver
t
.
cc: evalue_cos
e
t: suppo
r
t relations
commit
|
commitdiff
|
tree
2007-04-23
Sven Verd
o
olaege
eva
l
ue
.
c: p
r
i
n
t_evalue: always p
r
in
t
newline at the end
commit
|
commitdiff
|
tree
2007-04-23
Sven Ver
d
oo
l
aege
doc: multivariate qua
s
i-
p
olynomials as
lists of po
l
ynomials
commit
|
commitdiff
|
tree
2007-04-23
S
v
e
n
V
erdoolaeg
e
evalue_conv
e
rt
.
cc: in
c
l
ude "config
.
h
"
t
o pick up USE_FDSTREA
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
doc: index additions
commit
|
commitdiff
|
tree
2007-04-23
Sven
Ve
r
doolae
g
e
doc:
triangulat
i
on in pr
i
mal space + some t
y
p
o
f
ixes
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
doc: document inn
e
r
_point
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
doc: refer t
o
K
o
e
p
pe article for simpler motivati
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
S
v
en Verdool
a
ege
doc: mor
e
pu
b
l
ication
s
(im
p
l
i
citly)
r
efering to
t
he
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
S
v
e
n
Verdoolaege
configure
.
in: add $(E
X
EEXT) to optio
n
a
l
progr
a
ms for
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
Sv
e
n Verdoolaege
Makef
i
l
e
.
am: make sure d
i
strib
u
tio
n
c
o
ntains
required
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Verd
o
ola
e
ge
work around incomplete namespace support i
n
old c
o
mpilers
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
disable some features i
f
fdstream doesn't compile
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven
Verdo
o
laege
barvinok_enumerate
.
cc:
a
void us
e
of fdstr
e
am
commit
|
commitdiff
|
tree
2007-04-19
Sven
Ver
d
o
olaege
barvinok_enu
m
erate
:
d
on't p
r
i
n
t (non-existin
g
) evalue
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
S
v
en Verdoola
e
g
e
edo
m
ain
.
cc: avo
i
d
use of fdstream
commit
|
commitdiff
|
tree
2007-04-19
Sve
n
Verdoolae
g
e
configure
.
in: ch
e
c
k
f
or polyli
b
/po
l
y
l
i
bgmp
.
h
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
declare varia
b
le
a
t
s
tart of cod
e
block
.
commit
|
commitdiff
|
tree
2007-04-18
Sven Verdoolaege
Make
f
ile
.
am:
r
e
build libraries in subdirs if miss
i
ng
commit
|
commitdiff
|
tree
2007-04-18
Sven Ver
d
oolaege
barvinok_enume
r
a
t
e: re
c
heck for
e
qualities a
f
ter "var
i
a
b
le
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdoolaege
doc
:
a vot
i
ng theory
report t
h
at refers to the library
commit
|
commitdiff
|
tree
2007-04-15
Sven
Verdoolaeg
e
doc: upda
t
e
p
rimal
B
ar
v
in
o
k referenc
e
commit
|
commitdiff
|
tree
2007-04-15
Sven Ve
r
doolaege
d
oc
:
add journal version of improved derivation paper
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdoolaeg
e
volu
m
e
.
c:
keep track of num
b
e
r of simplic
e
s i
n
volu
m
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdoolae
g
e
test_a
p
p
rox: test volume c
o
m
putation va
r
i
a
t
i
o
ns
commit
|
commitdiff
|
tree
2007-04-13
Sve
n
Verdoolaege
volume
.
c: vol
u
me_tr
i
an
g
ula
t
e: use vertex instead of
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
volume
.
c
:
face_vertices: u
s
e Param_I
n
ner_Product
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
Call set_program_
n
ame befor
e
calling
a
rgp_
p
arse
.
commit
|
commitdiff
|
tree
2007-04-12
S
ven Verdoolaege
r
e
duce_domain: exploit t
h
at no
cal
l
er uses Polyhedron2Param_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
lexmin
:
stop usi
n
g Pol
y
he
d
ron2Param_Sim
p
lifiedDomain
commit
|
commitdiff
|
tree
2007-04-12
Sven
Verdoolae
g
e
barvi
n
ok
.
cc: stop using P
o
lyhed
r
on2Param_SimplifiedDomain
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdool
a
eg
e
Require
a ver
s
ion o
f
Pol
y
L
i
b that comp
u
t
e
s corre
c
t
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
volume
.
c
:
non_
e
mpty
_
poi
n
t: simply u
s
e internal point
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
v
e
n Verdoolaeg
e
add an
ehrhart example with interesting chambers
commit
|
commitdiff
|
tree
2007-04-12
Sven
Ver
d
oolaege
tes
t
_
approx: test c
h
amber
based sc
a
l
i
n
g
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
sc
a
le
.
c: opt
i
onally pe
r
form scaling
o
n individual chambers
commit
|
commitdiff
|
tree
2007-04-12
Sven
Ve
r
doolaeg
e
barvinok_enumerate: use "variable
compressi
o
n" to remo
v
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven V
e
rdoolaege
util
.
c: left_inverse:
han
d
le constant map
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
erdoo
l
aege
e
value
.
c
:
evalue_substi
t
u
t
e: move from edomain
.
cc
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
evalue
.
c:
a
ffine2evalue: extracted from volume
.
c
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
reduce_d
o
main: p
a
rtit
i
on chamber compl
e
x based
on
i
n
n
er
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
S
ven Verdoolaege
reduce_domain
.
c: extract
inner
_
point and is_interna
l
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
S
v
e
n Verdoolaege
reduce_
d
omai
n
: c
h
eck for adjacent chambers in
s
impli
f
ied
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
S
ve
n
Verdoolaege
F
O
RAL
L
_REDU
C
ED_DO
M
A
I
N
:
extra
c
t
commo
n
h
and
l
ing
o
f reduced
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdool
a
e
g
e
b
arvinok_en
u
merate:
m
ove recursive
c
all during
scaling
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
S
ven Verdoolaege
bar
v
inok
.
cc: Param_Polyhe
d
ron_Enumerate:
e
x
tracted
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolae
g
e
add some
i
n
teresting
t
est cases f
o
r volume
c
o
m
p
utati
o
n
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
p
e
rform very basic poly
n
omial ap
p
roxim
a
tion test
commit
|
commitdiff
|
tree
2007-04-09
Sven Ve
r
doolaege
test_
a
pprox: compar
e
different polynomial
a
pproximat
i
ons
commit
|
commitdiff
|
tree
2007-04-08
Sven Ve
r
do
o
laege
evalue_conve
r
t
.
cc: p
a
rtial
s
u
pp
o
rt for print
i
ng
i
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sve
n
Verdoolaege
Param_Po
l
yhedron
_
Vol
u
me:
p
e
r
form lifting
t
r
i
a
ngulation
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven
Verdo
o
laege
volume
.
c: in
t
roduce
parameter_poin
t
abstraction
commit
|
commitdiff
|
tree
2007-04-08
S
v
e
n
Ver
d
oolaege
s
cale
.
c
:
e
x
port Param_Vertex_Common
_
D
enom
i
na
t
or
commit
|
commitdiff
|
tree
2007-04-08
S
v
en Verdoo
l
a
e
ge
volume
.
c: dr
o
p r
e
dundant arguments to vol
u
me_s
i
mplex
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
options
.
c: separate
polynomial a
p
proximati
o
n rela
t
ed
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoola
e
ge
barvin
o
k_o
p
ti
o
ns
_
new
_
w
i
th_d
e
faults: ini
t
i
alize scale_fla
g
s
commit
|
commitdiff
|
tree
2007-04-07
S
ven Verdoo
l
aege
triang
u
late_co
n
e: skip D
e
laun
a
y triangulatio
n
by de
f
a
ult
commit
|
commitdiff
|
tree
2007-04-07
Sven V
e
rdoolaeg
e
e
v
alue_conve
r
t
: print
latti
c
e wh
e
n p
r
inting
a
s
l
i
st
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolaege
evalue
_
conv
e
rt: ad
d
v
erb
o
se argu
m
ent and
r
et
u
rn 1 if
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven V
e
rdoolaege
Polyh
e
dr
o
n_Flate:
intersect
i
nflated polyto
p
e with
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Verdoolaeg
e
doc
:
bib: fix up n
a
me
in title
of Al
g
orithmic
a
pap
e
r
commit
|
commitdiff
|
tree
2007-04-05
Sv
e
n Ve
r
doolaege
a
dd missi
n
g
v
olum
e
.
h file
commit
|
commitdiff
|
tree
2007-04-04
Sven Verdoolaege
volume
.
c: delay c
o
mputation of poi
n
t wher
e
v
o
l
u
me is
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
Sven Verdoolaege
P
a
ram_Polyhed
r
on_V
o
l
ume: set polynomial_a
p
proxi
m
at
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
v
o
l
u
me
.
c: a
l
l
o
w
compu
t
a
t
ion of low
e
r
a
nd upper bound
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
S
v
en V
e
rdoolaege
scale
:
export Polyhedron_Flate
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
barvinok_
e
nu
m
erate: opt
i
onally compute "vo
l
u
me" p
o
lynom
i
al
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Ve
r
doolaege
polytope_
v
o
l
ume: compute volume of pa
r
a
m
etric polytop
e
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
reduce_domain
.
c: p
l
ug m
e
mory lea
k
commit
|
commitdiff
|
tree
2007-03-31
S
ven Verdo
o
laege
ver
i
fy
.
c: move computation of
true
context
into
che
c
k_poly_
c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Ver
d
oolaege
scale
.
c: add simplifi
e
d method of c
o
mputing tighter
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
ven Verdoola
e
ge
barvinok_enumer
a
te: optionally compute tighter polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven V
e
rdoolae
g
e
p
o
lyhe
d
r
on_
s
ample
.
c: rem
o
ve redu
n
dant MAXRAYS
d
efine
commit
|
commitdiff
|
tree
2007-03-31
Sve
n
Verdoolaege
e
v
alue
.
c: evalue_eval: suppo
r
t relati
o
ns
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
evalue
.
c:
eva
l
ue_frac2poly
n
o
mia
l
:
p
roperly handle rel
a
t
ions
commit
|
commitdiff
|
tree
2007-03-31
Sven
V
erdo
o
laege
b
a
rvinok_enume
r
ate: su
p
p
o
rt approxi
m
atio
n
by means
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
sc
a
le
.
c: a
v
oid sim
p
l
ific
a
ti
o
n of constraints after
.
.
.
commit
|
commitdiff
|
tree
next