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
barvinok_options_new_with_defaults: initialize scale_flags
2007-04-07
Sven Verdoola
e
g
e
b
arvino
k
_options_new_w
i
t
h
_
defaults: initialize scale_flag
s
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolaege
tri
a
n
gulate_cone: s
k
ip Delaunay
triang
u
la
t
io
n
by def
a
ult
commit
|
commitdiff
|
tree
2007-04-07
Sven
Verdoolaege
e
v
alu
e
_
convert: pri
n
t latt
i
ce when pri
n
ting as list
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolaege
evalu
e
_c
o
nv
e
r
t
: add v
e
rbose argument and r
e
t
u
rn
1
if
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Verdoolaeg
e
Pol
y
hedron_Fl
a
te: i
n
tersect inflated polytope with
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Verdoolaege
doc: bib:
f
i
x
u
p
name
in title of Algorith
m
ica p
a
per
commit
|
commitdiff
|
tree
2007-04-05
Sven
Verdoolaege
add m
i
ss
i
ng volume
.
h
fil
e
commit
|
commitdiff
|
tree
2007-04-04
S
v
e
n
Ve
r
d
o
ol
a
ege
volume
.
c: delay c
o
mputation
o
f
point
w
here volu
m
e is
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
Sven Verdoolaege
Param_Polyhedron_Volume
:
s
et
polynomial_approximatio
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven
Verd
o
o
l
aege
volume
.
c: all
o
w comp
u
tation o
f
lower and u
p
per bound
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
scale:
export Polyhed
r
on_Flate
commit
|
commitdiff
|
tree
2007-04-03
S
v
en Verdo
o
l
aege
barvinok_enu
m
er
a
te:
opti
o
n
a
lly
c
ompu
t
e "volu
m
e" polynomia
l
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
p
o
lytop
e
_volume:
compute volu
m
e o
f
param
e
tric pol
y
t
ope
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolae
g
e
re
d
uce_domain
.
c
:
plug memory
leak
commit
|
commitdiff
|
tree
2007-03-31
Sve
n
Ver
d
oolaege
ver
i
f
y
.
c: move compu
t
ati
o
n of t
r
ue conte
x
t into
che
c
k_pol
y
_c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Ve
r
d
o
o
laege
s
c
a
l
e
.
c: add si
m
plified method of c
o
mput
i
ng
t
ig
h
ter
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoola
e
g
e
b
a
rvi
n
ok_enumerate:
optionall
y
com
p
ute tighter po
l
ynomial
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n
Verd
o
olaeg
e
polyhedron_
s
a
m
p
l
e
.
c:
r
e
m
ove redun
d
ant MAXR
A
YS
de
f
i
n
e
commit
|
commitdiff
|
tree
2007-03-31
S
v
en Ve
r
doolaege
evalue
.
c: eva
l
ue_eva
l
: support relati
o
ns
commit
|
commitdiff
|
tree
2007-03-31
Sven
Ver
d
oo
l
a
ege
evalue
.
c: evalue_fr
a
c2polynomial: p
r
operly handle re
l
atio
n
s
commit
|
commitdiff
|
tree
2007-03-31
Sven Ve
r
doolaege
barvi
n
ok_enumerate: support approximati
o
n
by mean
s
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolae
g
e
scale
.
c: avoid
s
implif
i
c
atio
n
o
f constraints after
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
v
en Verdoolaege
barv
i
nok/u
t
il
.
h:
add POL_UNSET macr
o
fo
r
unsett
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
ven Verd
o
olaeg
e
scale
.
c:
P
aram_Polyhedr
o
n_Scale
_
Integer_Fast: ignore
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
V
erdoolaege
m
o
ve Param_P
o
lyh
e
dr
o
n_Sca
l
e
_Integer
to scale
.
c
and
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
use separate flags
option f
o
r scale approxi
m
ation m
e
thod
commit
|
commitdiff
|
tree
2007-03-31
Sve
n
Verdoolaege
barvinok
.
cc: move scal
i
ng to
s
cale
.
c
commit
|
commitdiff
|
tree
2007-03-30
Sven Verdoolaeg
e
sc
a
l
e
.
c:
corr
e
ct extrac
t
_lattice in case
of redundant
.
.
.
commit
|
commitdiff
|
tree
2007-03-30
Sven Verdoolaege
doc
:
u
pd
a
te CC2005 refere
n
ce
commit
|
commitdiff
|
tree
2007-03-26
Sv
e
n Verdool
a
ege
v
er
i
f_ehr
h
art
.
c:
r
ound inexact evaluatio
n
u
p or dow
n
.
.
.
commit
|
commitdiff
|
tree
2007-03-26
S
ven Ve
r
doolaege
veri
f
_
e
hrhart
.
c: optiona
l
l
y
use exact
e
valuation f
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-03-25
Sven Verd
o
o
l
aege
e
v
alue
.
c: add
e
value_eval
for exact evaluation of
evalue
commit
|
commitdiff
|
tree
2007-03-25
Sven Verdoolaege
ev
a
lue
.
c: fix evalue_frac2polynomial for n
e
gat
i
ve values
.
.
.
commit
|
commitdiff
|
tree
2007-03-20
Sven Verdoolaege
barvinok_enu
m
er
a
t
e: perf
o
rm slow scal
i
ng appr
o
ximation
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
S
v
en Verdoolaege
fi
x
Param_Polyhedron_Sc
a
le_
I
nt
e
ger
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoo
l
aeg
e
barvinok_enumerate: m
o
re
accurat
e
p
olyno
m
ial approximation
commit
|
commitdiff
|
tree
2007-03-19
Sve
n
Ve
r
d
o
olaege
reorganize polynomial approximation optio
n
s
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdo
o
laege
u
til
.
c
: Par
a
m_Polyhedron_Pr
i
nt: ac
t
u
ally use outpu
t
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoo
l
aege
fix merge of che
c
k_poly fr
o
m verif
_
e
hrhart
.
c and
l
exm
i
n
.
cc
commit
|
commitdiff
|
tree
2007-03-18
Sven
Verdoolaege
doc
:
upda
t
e Koe
p
p
e-Verdoolaege r
e
ference
commit
|
commitdiff
|
tree
2007-03-17
S
v
en
Verdo
o
laege
b
a
r
v
i
nok_m
a
ximize: support verificat
i
o
n
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdo
o
laege
merge check_poly from verif
_
ehrhart
.
c
an
d
lexmi
n
.
cc
commit
|
commitdiff
|
tree
2007-03-17
Sven V
e
rdoo
l
a
ege
eva
l
ue
.
c: make
s
om
e
eva
l
u
e ar
g
uments const
commit
|
commitdiff
|
tree
2007-03-17
Sven Ver
d
oolaege
evalue_f
r
a
c
2f
l
oor2: also convert non-pa
r
titio
n
if no
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven Ve
r
doolaege
verify
.
c:
chang
e
ve
r
ify_opti
o
ns_set_range
p
r
o
totype
commit
|
commitdiff
|
tree
2007-03-17
Sv
e
n Verdoolaeg
e
b
e
rnstein: piecewise_
l
s
t
:
:
e
valuate: s
u
pport different
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
S
v
en Verdoolaege
ve
r
ify
.
c: turn of
f
conti
n
ue
_
o
n
_error by
d
efault
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoola
e
ge
bernstei
n
: export numeric2value
commit
|
commitdiff
|
tree
2007-03-15
S
v
en Ver
d
oolae
g
e
doc: proof of existence of suita
b
le y for primal d
e
com
p
o
s
iti
.
.
.
commit
|
commitdiff
|
tree
2007-03-15
S
v
e
n Verdoolae
g
e
doc: fi
x
pr
o
of of existence
o
f suitable y for primal
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sve
n
Verdoolaege
bernstein
.
cc: bernstein_c
o
ef
f
icients: create s
i
gned
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdool
a
ege
barv
i
n
o
k_max
i
mize:
o
ption
a
lly use r
e
c
u
rsive bernstein
_
coeffi
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaege
b
e
rn
s
tein
.
cc: bernstein_coeffic
i
ents: support general
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Ver
d
oolaege
bernstein
.
c
c: refactor ber
n
stein_coefficients_prod
u
ct
commit
|
commitdiff
|
tree
2007-03-14
Sv
e
n Verdoolaege
bernstein: piecewise_lst: add s
i
gn and
r
emove redundant
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaege
bernstein: add rem
o
ve_redundan
t
s meth
o
d
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoo
l
aege
doc: primal
d
ec
o
mposition: ty
p
o
fi
x
es +
c
larif
i
cations
commit
|
commitdiff
|
tree
2007-03-11
Sve
n
Verdoola
e
g
e
doc: fix primal decomposition example
+
c
l
ean-ups
commit
|
commitdiff
|
tree
2007-03-11
S
ven Verdoolaege
Do
c
ument
prim
a
l
d
e
c
omposition
commit
|
commitdiff
|
tree
2007-03-11
Sven Verdool
a
ege
barvinok
.
cc: barvinok
_
enum
e
rat
e
: fix low
e
r
b
o
u
nd approximation
commit
|
commitdiff
|
tree
2007-03-07
Sven Ve
r
d
o
olaege
e
v
alue_s
p
lit
_
periods: gr
a
cef
u
l
ly han
d
le zero evalues
.
.
.
commit
|
commitdiff
|
tree
2007-03-07
Sven Verd
o
olaege
barvin
o
k_
m
a
x
imize:
h
a
n
dle zero input
commit
|
commitdiff
|
tree
2007-03-07
S
v
en Verdoo
l
aege
barvi
n
ok
_
enumerate_e: clean up allo
c
ation of options
commit
|
commitdiff
|
tree
2007-03-07
Sven Verdoolaege
barvinok
.
cc:
handle c
a
s
e
wher
e
nothing i
s
left a
f
ter
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sven Verdoolaege
e
value_conve
r
t
:
support prin
t
ing a quasi-
p
olynomialas
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sven V
e
rdool
a
ege
lattice_point
.
h
:
make self
-
c
ontaine
d
commit
|
commitdiff
|
tree
2007-03-02
S
ven
V
erdoolaege
evalue
.
c:
e
xtract evalue_extra
c
t_aff
i
ne from
b
ernstein
.
c
c
commit
|
commitdiff
|
tree
2007-03-02
S
v
e
n
V
e
rd
o
olaege
ber
n
s
tein
.
cc: bernstein_coeffici
e
nts_
p
rod
u
ct: no need
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Ver
d
oolaeg
e
berns
t
e
in
_
coefficien
t
s: optional
l
y o
p
tim
i
ze during
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven V
e
rdoolaege
bernst
e
in_co
e
fficients: fact
o
ri
z
e
domain i
f
pos
s
ible
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdoolaege
Polyhedr
o
n_Factor: optionally return relation betwe
e
n
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Ve
r
d
oolaege
ber
n
ste
i
n: export
re
p
laceVariablesInPolynomial
commit
|
commitdiff
|
tree
2007-03-01
Sv
e
n Verdo
o
laege
b
e
r
n
stein
.
cc: eva
l
ue2ex: represent fracti
o
nal by
s
cal
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-02-28
Sven
V
e
r
doo
l
aege
barv
i
nok_maximize: fix handling of UNIONs in domain
s
.
commit
|
commitdiff
|
tree
2007-02-28
Sven
V
erd
o
olaege
ber
n
stein_coef
f
icients
:
sk
i
p emp
t
y subdomains
commit
|
commitdiff
|
tree
2007-02-28
Sven Verdoo
l
aege
barvino
k
_maximize:
fix d
e
tection of end
o
f
d
o
main specificat
i
on
commit
|
commitdiff
|
tree
2007-02-27
Sven Verdoolaege
b
arvinok_maxim
i
z
e
: ad
d
input conversion
commit
|
commitdiff
|
tree
2007-02-27
Sven
Verdool
a
ege
e
v
a
l
ue
_
convert: extracted from barvinok_enumerat
e
a
nd
.
.
.
commit
|
commitdiff
|
tree
2007-02-27
Sven
Verdool
a
e
g
e
util
.
c
: move
P
olyhedron_
i
s_unboun
d
ed from b
e
rnstein
.
cc
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoolae
g
e
bernstein_coeff
i
cients:
skip
i
nfini
t
e (
s
ub
)
domains
commit
|
commitdiff
|
tree
2007-02-26
Sve
n
Verdoola
e
ge
barvinok_
m
a
ximiz
e
: let user speci
f
y
v
ariables over
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
Sven Ver
d
o
o
laege
b
er
n
stein_coeffic
i
ents:
s
ki
p
computati
o
ns if doma
i
n
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoolaege
barvin
o
k_
m
aximize: fix a
c
cess to fre
e
d
memor
y
commit
|
commitdiff
|
tree
2007-02-26
Sv
e
n Ve
r
dool
a
ege
bernstei
n
/pie
c
ewi
s
e_lst
.
cpp: add mini
m
ize() m
e
tho
d
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdo
o
laege
b
a
rvi
n
ok_m
a
ximize: read
d
omains with
U
NIONs
commit
|
commitdiff
|
tree
2007-02-26
Sven V
e
rdoo
l
a
e
g
e
us
e
GiNaC cflags
and libs
commit
|
commitdiff
|
tree
2007-02-23
Sv
e
n Verdo
o
l
aege
b
a
rvinok_maximize: opt
i
onally call evalue_s
p
lit_periods
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdoolaege
evalue
.
c
:
a
d
d
evalue_spl
i
t
_
p
eriods
commit
|
commitdiff
|
tree
2007-02-23
S
v
en Verdool
a
ege
util
.
c: value_
l
cm:
m
ark ar
g
uments const
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdoolaege
e
v
alue
.
c
: po
l
ynomial_pr
o
jection: al
l
ow
NULL
R
a
r
g
u
m
ent
commit
|
commitdiff
|
tree
2007-02-23
S
ven
V
erdoola
e
g
e
evalue
.
c: ex
t
ract f
i
d
dling wit
h
coefficients out of
.
.
.
commit
|
commitdiff
|
tree
2007-02-22
Sven Ve
r
d
oolaege
evalue_bern
s
tein_
c
oeffici
e
nts: hand
l
e eac
h
cos
e
t
o
f
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sve
n
Verdoola
e
ge
barvinok
_
m
aximiz
e
: read e
v
alues with period
i
cs
commit
|
commitdiff
|
tree
2007-02-21
Sven Verdo
o
laege
evalue_bernstein_
c
oefficients:
ha
n
dle per
i
od
i
cs in
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
S
ven Verdool
a
eg
e
bernstein: bernsteinExp
a
nsion:
a
ccept li
s
t of polynom
i
al
s
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoolaege
barvinok_maximize: make evalue pars
e
a
little bit
m
ore
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sve
n
Verdo
o
l
a
e
g
e
ba
r
vinok_enumerate*: be
l
ess
cha
t
ty b
y
def
a
ul
t
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoolaege
count/e
n
umerate: warn if input is a
union
commit
|
commitdiff
|
tree
2007-02-19
Sven V
e
rdool
a
eg
e
DomainIncludes: detect more
cases +
a
d
a
pt documentatio
n
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoolaege
ev
a
lue_bernstein
_
coefficients: handle fractionals i
n
.
.
.
commit
|
commitdiff
|
tree
next