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
volume.c: introduce parameter_point abstraction
2007-04-08
Sv
e
n
Verdoola
e
g
e
volum
e
.
c
:
introduce parameter_point abstraction
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
scale
.
c
: ex
p
ort Param_Vertex_Co
m
mon_Denomi
n
a
tor
commit
|
commitdiff
|
tree
2007-04-08
Sven Ve
r
doolaege
volu
m
e
.
c: drop r
e
dundant argume
n
ts to
volu
m
e_simplex
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdool
a
e
ge
o
ptions
.
c: separate
po
l
y
nomial approximation related
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sve
n
Verdoolaege
barvinok_options_new
_
with_
d
e
f
aults: init
i
alize scale_f
l
ags
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoola
e
ge
triangul
a
te_cone
:
skip Delaunay triangul
a
tion by def
a
ult
commit
|
commitdiff
|
tree
2007-04-07
Sv
e
n
Verdoolaege
e
valu
e
_conv
e
rt: print latti
c
e when printing as l
i
st
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sve
n
V
erdoolaege
eva
l
ue_convert: add verbose argument and r
e
tur
n
1 if
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Ve
r
do
o
laege
Polyhedron
_
F
late: intersect inflated p
o
lytope with
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Verdo
o
laege
do
c
: bib:
fix up name in
title
o
f Algorithmica
p
ap
e
r
commit
|
commitdiff
|
tree
2007-04-05
Sven Verdoo
l
aege
add missing
vo
l
um
e
.
h
file
commit
|
commitdiff
|
tree
2007-04-04
Sve
n
Verdo
o
l
ae
g
e
volu
m
e
.
c: delay compu
t
ation of poin
t
wh
e
re volume
is
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
S
ven V
e
rd
o
ol
a
ege
Param_Poly
h
edron_Vo
l
ume: set polynomial_approxima
t
ion
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
S
ven Ver
d
o
olaege
vo
l
u
m
e
.
c
:
allow co
m
p
utat
i
on
o
f
lower and u
p
per
b
o
u
nd
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
S
ven Ve
r
doolaege
s
c
ale: export Polyhedron_
F
late
commit
|
commitdiff
|
tree
2007-04-03
Sven
V
e
rdoolaege
ba
r
vinok_enumerate: opt
i
onally compute "volume" polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven
V
erdoolaege
p
o
ly
t
ope_volume: comput
e
volume o
f
parametric
p
olyto
p
e
commit
|
commitdiff
|
tree
2007-04-03
Sven Ve
r
doolae
g
e
redu
c
e_
d
omain
.
c
:
pl
u
g memory
leak
commit
|
commitdiff
|
tree
2007-03-31
Sve
n
Ver
d
oolaege
verify
.
c: move c
o
mputat
i
on of tr
u
e
context
i
nto
che
c
k_po
l
y_c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoola
e
ge
sc
a
l
e
.
c: add simp
l
if
i
ed meth
o
d o
f
computing ti
g
hter
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sve
n
Verdoolae
g
e
b
ar
v
inok_enumerate: o
p
tionally compute tighter polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdo
o
laege
polyhedron_sa
m
p
le
.
c: remove redundant MA
X
RAYS defin
e
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n Verdoolaege
evalue
.
c: e
v
alue_eval: support relations
commit
|
commitdiff
|
tree
2007-03-31
S
v
en Verdoolae
g
e
ev
a
lue
.
c: evalue_frac
2
p
o
lynomial: properly ha
n
dle
rela
t
ions
commit
|
commitdiff
|
tree
2007-03-31
Sve
n
V
erdoolaege
barvi
n
ok
_
enumerat
e
: support appro
x
i
m
ation
by means
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
scale
.
c: avoid
s
implif
i
ca
t
ion of constrai
n
ts after
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n
V
erd
o
olaege
b
a
r
v
inok/util
.
h: ad
d
POL_UNSET macro fo
r
u
n
se
t
ting
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoola
e
ge
s
c
ale
.
c:
Param_Polyhedron_Scale_Integer_Fast: ignore
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdo
o
lae
g
e
move Param_Polyhedron_Scale_
I
nteger to
s
cale
.
c and
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sve
n
Verd
o
olaege
use separate
f
la
g
s
op
t
ion for sc
a
l
e
approx
i
mation
method
commit
|
commitdiff
|
tree
2007-03-31
S
ven
V
e
r
do
o
lae
g
e
barvinok
.
cc:
mov
e
s
c
ali
n
g to sca
l
e
.
c
commit
|
commitdiff
|
tree
2007-03-30
S
v
e
n V
e
rdo
o
laege
sca
l
e
.
c: cor
r
e
c
t
e
x
t
r
act_lattice in case of redundant
.
.
.
commit
|
commitdiff
|
tree
2007-03-30
Sven Verdoolaege
doc: update
CC200
5
reference
commit
|
commitdiff
|
tree
2007-03-26
Sven Ver
d
o
o
laege
v
erif_ehrhart
.
c: roun
d
i
nexact evaluation u
p
or down
.
.
.
commit
|
commitdiff
|
tree
2007-03-26
S
ven Verdool
a
ege
verif_ehrhart
.
c: optionall
y
u
se exact evaluation for
.
.
.
commit
|
commitdiff
|
tree
2007-03-25
Sven Verdoolaege
e
v
alue
.
c
:
add
evalue_
e
val fo
r
exact evaluation of eva
l
ue
commit
|
commitdiff
|
tree
2007-03-25
Sven
V
erdoolaege
eva
l
ue
.
c
:
fix
e
value_frac2
p
olynom
i
a
l
fo
r
negative value
s
.
.
.
commit
|
commitdiff
|
tree
2007-03-20
S
ven Verdoolaege
barvino
k
_
enumerate:
perfor
m
slow scaling
a
pproximati
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sve
n
V
erdo
o
lae
g
e
fix Param_Polyhed
r
on
_
Scale
_
Inte
g
er
commit
|
commitdiff
|
tree
2007-03-19
Sven
V
erdoola
e
ge
barvinok_enumerate: more
a
c
cur
a
te
p
o
lynomial approx
i
m
ation
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoo
l
aege
r
eorganize po
l
ynomial approximation options
commit
|
commitdiff
|
tree
2007-03-19
S
v
en
V
erdoolae
g
e
util
.
c: Param_P
o
ly
h
edron_Print: actuall
y
use out
p
ut
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven V
e
rdool
a
ege
fix
m
e
r
g
e of ch
e
ck_poly fr
o
m
v
erif_ehrhart
.
c an
d
lexmin
.
cc
commit
|
commitdiff
|
tree
2007-03-18
Sven
V
erd
o
olaege
doc: update Koeppe-Verdoolaege reference
commit
|
commitdiff
|
tree
2007-03-17
Sven
V
e
r
d
oolaege
barvinok_m
a
x
i
miz
e
: support verification
commit
|
commitdiff
|
tree
2007-03-17
S
v
en Verdoolaege
merge check
_
po
l
y from verif_e
h
rhart
.
c and
l
exmin
.
c
c
commit
|
commitdiff
|
tree
2007-03-17
Sven
Verdoolaege
evalue
.
c: mak
e
some evalue arg
u
me
n
ts const
commit
|
commitdiff
|
tree
2007-03-17
S
v
en
V
erdool
a
ege
evalue
_
f
r
ac2f
l
oor
2
: also c
o
nvert non-partition if n
o
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
S
v
e
n Verdoolae
g
e
verify
.
c: cha
n
ge veri
f
y_o
p
tions
_
set_rang
e
p
rototype
commit
|
commitdiff
|
tree
2007-03-17
Sve
n
Ver
d
oolaege
bernste
i
n: piecewi
s
e_ls
t
::evaluate: support diffe
r
en
t
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven
V
erdoola
e
ge
verify
.
c: turn off c
o
n
t
inue_on_error by def
a
ult
commit
|
commitdiff
|
tree
2007-03-17
Sven
Verdo
o
lae
g
e
bern
s
tein: export numeric2va
l
ue
commit
|
commitdiff
|
tree
2007-03-15
S
v
en Verdoolaege
doc: proof of existence of suitable y for primal deco
m
p
ositi
.
.
.
commit
|
commitdiff
|
tree
2007-03-15
S
ven Ve
r
doolaege
doc: fix proof of exi
s
tence of suitable y for primal
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdo
o
laege
bernstein
.
c
c:
b
ernstein_coefficien
t
s: create
s
igned
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaege
barv
i
nok_
m
aximize: optio
n
ally use r
e
cu
r
sive
b
ernstein_coeffi
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Ve
r
doolae
g
e
b
ernstei
n
.
c
c:
b
e
rnstein_coeffici
e
nts: support
g
eneral
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven V
e
rdoolaege
b
e
rns
t
e
i
n
.
cc: refact
o
r
b
ernstein
_
coeffici
e
nts
_
product
commit
|
commitdiff
|
tree
2007-03-14
Sven Ve
r
doolaege
bernste
i
n: pi
e
c
ewise_lst: a
d
d sign a
n
d rem
o
ve redun
d
ant
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
S
ven Verd
o
olaege
bern
s
tein: add
remov
e
_
r
edun
d
ants method
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoo
l
aege
doc: primal dec
o
mpo
s
ition: typo fixes + clarifications
commit
|
commitdiff
|
tree
2007-03-11
Sven Verdoolaege
doc: fix primal
decomposition example +
c
lean
-
ups
commit
|
commitdiff
|
tree
2007-03-11
Sven Ver
d
oolaege
D
ocument primal de
c
o
m
position
commit
|
commitdiff
|
tree
2007-03-11
Sven Ver
d
oo
l
aege
ba
r
v
inok
.
c
c: b
a
rvinok_en
u
merate: fix lower bound approximation
commit
|
commitdiff
|
tree
2007-03-07
Sven Verdoo
l
aege
ev
a
lu
e
_split_periods: gracefully handl
e
z
e
ro
e
v
al
u
es
.
.
.
commit
|
commitdiff
|
tree
2007-03-07
Sven Verdoo
l
a
ege
b
a
rvinok_maximize: h
a
n
dle zero input
commit
|
commitdiff
|
tree
2007-03-07
S
v
en Verdo
o
laege
barvinok_enumerat
e
_e: clean up alloc
a
t
ion
o
f opt
i
ons
commit
|
commitdiff
|
tree
2007-03-07
Sven
V
erdoolaege
barvin
o
k
.
cc: ha
n
dle case
wher
e
nothing
i
s lef
t
after
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sven Verd
o
olaege
eva
l
ue_c
o
n
vert: supp
o
rt printing a q
u
asi-polyn
o
mia
l
as
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
S
ve
n
Verdo
o
laege
l
a
ttice_poin
t
.
h
:
m
ake sel
f
-contained
commit
|
commitdiff
|
tree
2007-03-02
Sven
V
erdoolaege
e
value
.
c: extract evalue_extract_a
f
fine
from b
e
rnstein
.
cc
commit
|
commitdiff
|
tree
2007-03-02
Sven V
e
rdoolaege
bernstein
.
cc: bernstein_coefficients_
p
r
od
u
ct: no need
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdoolaege
bernstei
n
_coeffi
c
ient
s
: option
a
lly optimize durin
g
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
S
ven V
e
rdoola
e
g
e
bernste
i
n_coeff
i
cients:
f
act
o
ri
z
e
domain if poss
i
b
le
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdoolaege
P
olyh
e
dron_
F
ac
t
or: optionally return relati
o
n between
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdoolaeg
e
berns
t
ein:
e
xpor
t
re
p
la
c
eVariablesInPolynomia
l
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdoolaege
b
er
n
stein
.
c
c
:
evalue2ex:
r
eprese
n
t fractional
b
y scaled
.
.
.
commit
|
commitdiff
|
tree
2007-02-28
Sven Verd
o
o
laege
bar
v
inok_maximize: fix handling
o
f
UNI
O
Ns in domai
n
s
.
commit
|
commitdiff
|
tree
2007-02-28
Sve
n
Verdoolae
g
e
be
r
nstein
_
coefficients
:
skip empty subdomain
s
commit
|
commitdiff
|
tree
2007-02-28
Sven Verdoolaege
barvi
n
ok_maximiz
e
:
fix detection
o
f end o
f
domain specification
commit
|
commitdiff
|
tree
2007-02-27
S
ven Verdoolaege
barvinok_maximize: add in
p
ut c
o
nversion
commit
|
commitdiff
|
tree
2007-02-27
Sven Verdoola
e
ge
evalue_conver
t
: extrac
t
ed from barvinok
_
e
n
umera
t
e and
.
.
.
commit
|
commitdiff
|
tree
2007-02-27
Sven Verdoolaege
util
.
c
: mov
e
Polyhedr
o
n
_
is_un
b
o
unded from bernstein
.
cc
commit
|
commitdiff
|
tree
2007-02-26
Sven Verd
o
olaege
be
r
nst
e
i
n
_coefficients: skip in
f
inite (s
u
b)domai
n
s
commit
|
commitdiff
|
tree
2007-02-26
Sv
e
n Verdoolaege
barvinok_maxi
m
ize:
l
e
t
use
r
specify variables
ov
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoolae
g
e
bernstein_
c
oefficients: skip
computations i
f
domain
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
S
ve
n
V
e
rdoolae
g
e
barvinok_maximize: fix
ac
c
ess t
o
freed memory
commit
|
commitdiff
|
tree
2007-02-26
Sven Verd
o
olaege
bernstein/piecewise_lst
.
cpp: add
minimize(
)
m
e
t
h
o
d
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdo
o
la
e
ge
barvinok_maximize: read dom
a
ins with
UNIONs
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoolaege
use GiNaC cfla
g
s and li
b
s
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdoolaege
barvinok_
m
ax
i
m
iz
e
: op
t
i
ona
l
ly ca
l
l evalue_split_periods
commit
|
commitdiff
|
tree
2007-02-23
Sven
V
erdoolae
g
e
evalue
.
c: add evalue_split
_
periods
commit
|
commitdiff
|
tree
2007-02-23
S
v
e
n
Verd
o
o
laege
util
.
c
:
v
alue_lcm: mark arguments const
commit
|
commitdiff
|
tree
2007-02-23
Sven Ver
d
oolaege
e
value
.
c:
polynomial_projection: allow NULL R
a
rgum
e
nt
commit
|
commitdiff
|
tree
2007-02-23
Sven
Verdoolaege
evalue
.
c: extr
a
ct fiddling with coefficie
n
ts out of
.
.
.
commit
|
commitdiff
|
tree
2007-02-22
Sven
Verdoolaege
evalue_bernstein_c
o
efficient
s
: handle each coset of
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sven V
e
rdo
o
la
e
ge
barvi
n
ok_maximize: read ev
a
lues w
i
th period
i
c
s
commit
|
commitdiff
|
tree
2007-02-21
Sv
e
n Verdoolaege
evalue_be
r
nstein_coeffici
e
nts: ha
n
dl
e
p
e
riodic
s
in
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sven Verdool
a
ege
b
ernstein:
b
ernsteinExpansion
:
ac
c
ept
list of pol
y
nomials
commit
|
commitdiff
|
tree
2007-02-19
S
v
en Ve
r
doolae
g
e
barvinok
_
maximize: make
e
value parse a
lit
t
le
b
it more
.
.
.
commit
|
commitdiff
|
tree
next