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: evalue_eval: support relations
2007-03-31
Sv
e
n Ve
r
doolae
g
e
evalue
.
c: evalue_eval: supp
o
rt r
e
lations
commit
|
commitdiff
|
tree
2007-03-31
Sven Verd
o
o
l
aege
e
v
al
u
e
.
c: ev
a
lue_frac2polyno
m
ial
:
properly handle relations
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n Verdo
o
la
e
ge
barvinok_enumerate
:
support appr
o
ximation by means
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
v
e
n Verdoolaege
s
c
ale
.
c
: avoid
s
impli
f
ication of
c
onstraint
s
after
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Ve
r
doolaege
barvinok/util
.
h
:
a
d
d POL_UNSET macro for
u
nsetting
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Ver
d
oolaege
scale
.
c:
P
aram_Polyhedron_Scal
e
_Integer_
F
ast:
ignore
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
move Param
_
Polyhedron_Scal
e
_Integer to scale
.
c
a
nd
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
v
en Verdoolaege
use
s
eparate flags
option for
scale approximation
m
etho
d
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaeg
e
barvinok
.
c
c
: m
o
ve
s
c
al
i
n
g
to scale
.
c
commit
|
commitdiff
|
tree
2007-03-30
Sven Ver
d
o
o
laeg
e
s
c
ale
.
c:
correc
t
extract_lat
t
i
c
e in case
of
r
edund
a
nt
.
.
.
commit
|
commitdiff
|
tree
2007-03-30
S
v
en Ve
r
doolaeg
e
doc: update CC
2
005
r
eferen
c
e
commit
|
commitdiff
|
tree
2007-03-26
Sv
e
n Ver
d
oolaege
verif_
e
hr
h
art
.
c: round inexac
t
eva
l
uati
o
n
u
p o
r
down
.
.
.
commit
|
commitdiff
|
tree
2007-03-26
S
ven Verdoo
l
aege
verif
_
ehrha
r
t
.
c: optionally use exact evalua
t
ion fo
r
.
.
.
commit
|
commitdiff
|
tree
2007-03-25
S
ven Verd
o
o
laege
e
v
alue
.
c
:
add evalue_eval for
exact
e
v
aluat
i
on of eva
l
ue
commit
|
commitdiff
|
tree
2007-03-25
Sven Ve
r
d
o
olaeg
e
eva
l
u
e
.
c: fix evalue_frac2polynomia
l
fo
r
negative values
.
.
.
commit
|
commitdiff
|
tree
2007-03-20
S
v
en Verdool
a
ege
bar
v
i
nok_enum
e
rate: perform slow scaling approximation
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven
Verdoolaege
f
i
x Para
m
_
Poly
h
e
d
ron_Scale_Inte
g
er
commit
|
commitdiff
|
tree
2007-03-19
Sven
V
e
rdool
a
e
g
e
b
arvinok_enumerate:
m
ore
a
ccurate
p
olyno
m
ial a
p
proximation
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoolaeg
e
reor
g
a
n
i
z
e
p
o
lynomia
l
approximat
i
o
n
op
t
i
ons
commit
|
commitdiff
|
tree
2007-03-19
S
ven
V
erdoolaeg
e
util
.
c:
Param_Polyhedron_Print: actually u
s
e output
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sve
n
Verd
o
olaege
fix merge of check_poly f
r
om
verif_ehrhart
.
c and lexmin
.
c
c
commit
|
commitdiff
|
tree
2007-03-18
Sven Verdoolaege
doc: updat
e
Koeppe-Ve
r
doolaege referenc
e
commit
|
commitdiff
|
tree
2007-03-17
Sven
Verdoolaege
barvinok_ma
x
imize
:
support v
e
r
i
f
ication
commit
|
commitdiff
|
tree
2007-03-17
S
ven Verdool
a
ege
m
e
rge check_poly from veri
f
_
e
h
rhart
.
c
and lexmin
.
cc
commit
|
commitdiff
|
tree
2007-03-17
Sv
e
n Verdoolaege
eval
u
e
.
c: make
s
o
me evalue arguments cons
t
commit
|
commitdiff
|
tree
2007-03-17
S
v
en Verdoolaege
ev
a
lue_
f
r
ac2floor2: also convert
n
on-parti
t
i
o
n if no
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
verify
.
c:
c
hange v
e
rify_options_set_r
a
nge prototype
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
bern
s
tei
n
: pi
e
c
e
w
ise_lst::evalu
a
t
e
: support dif
f
erent
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
S
v
e
n
Verdo
o
la
e
ge
ve
r
ify
.
c: turn off con
t
inue_on_error by default
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoo
l
aeg
e
ber
n
stei
n
: exp
o
r
t numeric2value
commit
|
commitdiff
|
tree
2007-03-15
S
v
e
n
Verdoolaege
doc: proof of existe
n
ce of suita
b
le y fo
r
primal d
e
compositi
.
.
.
commit
|
commitdiff
|
tree
2007-03-15
S
ven Verdo
o
laege
d
o
c: fix proof of existen
c
e of suitabl
e
y for primal
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoola
e
ge
bernst
e
in
.
cc: ber
n
stei
n
_
coef
f
icien
t
s: crea
t
e s
i
gn
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaege
barvinok_maximize: op
t
iona
l
ly use recursive bernst
e
in_coeffi
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven
V
erdo
o
laege
bernstein
.
cc: bernstein_coeffic
i
ents:
s
upport
g
ener
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sv
e
n Verd
o
ol
a
ege
bernstein
.
cc: re
f
ac
t
or bernstein_c
o
efficients_product
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdool
a
e
g
e
bernstein:
piecewi
s
e_lst
:
add
si
g
n
and rem
o
ve redun
d
ant
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sve
n
V
erdool
a
eg
e
bernstein: add remo
v
e
_
redunda
n
ts met
h
o
d
commit
|
commitdiff
|
tree
2007-03-14
Sven
V
erdoolaege
doc:
primal deco
m
positio
n
: typo fixes
+
clarifications
commit
|
commitdiff
|
tree
2007-03-11
Sven Verdo
o
laege
doc:
f
ix primal
d
e
compositio
n
example
+ clean-ups
commit
|
commitdiff
|
tree
2007-03-11
Sven V
e
rdoola
e
ge
Do
c
ument primal
decomp
o
sition
commit
|
commitdiff
|
tree
2007-03-11
Sven Verdoolaege
barvinok
.
cc
:
barvinok_enumerate: fix
l
ower
b
ound app
r
oxima
t
i
o
n
commit
|
commitdiff
|
tree
2007-03-07
Sve
n
Verdoola
e
ge
eva
l
u
e
_split_periods: gracefully handle zero evalues
.
.
.
commit
|
commitdiff
|
tree
2007-03-07
Sven Verdoolaege
b
a
rvinok_ma
x
im
i
ze:
h
andle ze
r
o input
commit
|
commitdiff
|
tree
2007-03-07
Sven
V
erdoolaege
barvinok_enumerate_e: clean up alloc
a
t
i
o
n
o
f options
commit
|
commitdiff
|
tree
2007-03-07
Sven V
e
rdoolaeg
e
barvinok
.
c
c: han
d
le case wher
e
noth
i
ng is
l
e
f
t after
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sve
n
Verdoo
l
aege
ev
a
lue_conver
t
:
sup
p
ort p
r
inti
n
g a quasi-polynomialas
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
S
v
en Verdoola
e
ge
lat
t
ice_point
.
h: mak
e
se
l
f-contained
commit
|
commitdiff
|
tree
2007-03-02
S
v
e
n
Verdo
o
laeg
e
e
v
alue
.
c
:
extract e
v
alue_extract_affin
e
from be
r
nstein
.
cc
commit
|
commitdiff
|
tree
2007-03-02
Sven
V
erdoolae
g
e
bernstein
.
c
c
:
b
e
rnstei
n
_coe
f
fi
c
ients_product:
n
o need
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Ver
d
oolaege
b
e
r
nstein_
c
oef
f
ici
e
nts: optionally optimize
during
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Ve
r
do
o
laege
bernstein_coe
f
f
i
cients: factorize domain
if possible
commit
|
commitdiff
|
tree
2007-03-01
Sv
e
n V
e
rdoolaege
P
o
ly
h
edron_Factor: opt
i
o
nally
r
eturn rel
a
tion between
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sv
e
n V
e
r
do
o
lae
g
e
b
e
rnstein: ex
p
ort replaceVaria
b
l
e
sI
n
P
olyn
o
mial
commit
|
commitdiff
|
tree
2007-03-01
Sven
V
erd
o
olaege
b
ernstein
.
cc: eval
u
e2ex:
r
epres
e
nt
f
ractiona
l
by scaled
.
.
.
commit
|
commitdiff
|
tree
2007-02-28
Sve
n
Verdoo
l
a
e
ge
barvinok_maximize: fix han
d
ling of UNION
s
in domains
.
commit
|
commitdiff
|
tree
2007-02-28
Sve
n
Verdoolaege
berns
t
ei
n
_coeff
i
ci
e
n
ts: s
k
ip empt
y
subdomains
commit
|
commitdiff
|
tree
2007-02-28
Sve
n
V
erdool
a
ege
bar
v
inok_maxi
m
ize: fi
x
detection of end of doma
i
n specification
commit
|
commitdiff
|
tree
2007-02-27
Sven Verdoolaege
barvino
k
_maximize
:
add input con
v
er
s
ion
commit
|
commitdiff
|
tree
2007-02-27
Sven V
e
rdool
a
ege
ev
a
lue_conver
t
: extr
a
cted from b
a
r
v
i
n
o
k
_e
n
um
e
rate and
.
.
.
commit
|
commitdiff
|
tree
2007-02-27
Sve
n
Verdoolaege
uti
l
.
c: move
P
olyh
e
d
ron_is_unbo
u
nded from berns
t
ein
.
c
c
commit
|
commitdiff
|
tree
2007-02-26
Sven Verd
o
olaege
bernstein_coeff
i
cien
t
s: sk
i
p
infinite
(
sub)domains
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoolaege
barvinok_maximize: let user specify variables
over
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
S
v
en Ver
d
oolaege
bernstein_
c
oefficient
s
:
sk
i
p com
p
utations
i
f
domain
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
Sven
Verdoolaege
barvi
n
ok_m
a
ximize: fix access to freed memory
commit
|
commitdiff
|
tree
2007-02-26
Harald
D
e
vos
mi
n
imize as option of barvinok_maximize
commit
|
commitdiff
|
tree
2007-02-26
Sve
n
Verdoolae
g
e
berns
t
ein/p
i
ecewise_lst
.
c
p
p
:
add minimize() metho
d
commit
|
commitdiff
|
tree
2007-02-26
Sven Verd
o
o
laege
barvinok_m
a
x
i
m
i
ze: read doma
i
ns with UNI
O
Ns
commit
|
commitdiff
|
tree
2007-02-26
Sve
n
Verdoolaege
use GiNaC cfl
a
gs and
libs
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdo
o
laege
b
arvinok
_
m
a
x
imize: optionally call eval
u
e_split_periods
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdoolaege
evalue
.
c: add
e
val
u
e
_
split_per
i
ods
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdoolaege
ut
i
l
.
c
:
value_lcm: mark arguments const
commit
|
commitdiff
|
tree
2007-02-23
Sven Ver
d
oolaege
eval
u
e
.
c:
p
olynomial_projection
:
a
llow N
U
LL R argument
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdo
o
laege
evalue
.
c: extrac
t
fiddli
n
g
with c
o
e
ffi
c
ients out of
.
.
.
commit
|
commitdiff
|
tree
2007-02-22
Sven
V
erdoola
e
ge
evalue_berns
t
e
in_c
o
efficients: handle
each
c
oset of
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sven Ver
d
o
olaeg
e
barvinok_maxim
i
ze: read evalues with periodic
s
commit
|
commitdiff
|
tree
2007-02-21
S
ven Verdoolaege
evalue
_
bernst
e
in_coeffic
i
ents: handle periodics in
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sven Ver
d
o
o
lae
g
e
bern
s
t
ein: ber
n
s
t
einExpansion
:
acce
p
t
l
ist of polyn
o
m
i
als
commit
|
commitdiff
|
tree
2007-02-19
S
v
en Verdoolaege
b
arvinok_
m
axi
m
ize:
m
ake evalue
p
a
rse a l
i
ttle
b
it m
o
re
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoolaege
barvinok
_
enumerate
*
: be less chatty by d
e
fa
u
l
t
commit
|
commitdiff
|
tree
2007-02-19
Sv
e
n Verd
o
o
laeg
e
c
o
unt/enumerate:
w
arn if in
p
ut
i
s
a union
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdo
o
laege
Domain
I
ncludes: detect m
o
re cases +
a
dap
t
doc
u
mentation
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoolaege
evalue
_
bernstein_coefficients
:
handle fractionals in
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoolaege
evalue_b
e
rnstein
_
coeffici
e
n
t
s
: h
a
n
d
le floor
i
ngs
in
.
.
.
commit
|
commitdiff
|
tree
2007-02-18
S
ven
V
e
rdool
a
ege
barv
i
nok_max
i
mize: new tool for
m
aximizing pi
e
cewise
.
.
.
commit
|
commitdiff
|
tree
2007-02-17
Sven V
e
rdoolaege
evalue
.
c: evalue
_
frac2polynomial: improve
accur
a
cy
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdo
o
lae
g
e
evalue
.
c: add comment
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
eva
l
ue
.
c: add
fu
n
ction for ch
e
ckin
g
nesting
of an evalu
e
commit
|
commitdiff
|
tree
2007-02-16
S
ve
n
Verdoola
e
ge
evalu
e
.
c: add m
i
ssing term
s
reorderings in evalue_r
a
nge_r
e
du
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
evalue
.
c: make arguments of eequal and evalue_de
n
om
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sv
e
n Verdoolaege
barv
i
nok_enume
r
ate_e: add --verbose option
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
bernstein: mark arg
u
m
e
nt of
value
2
n
u
meric const
commit
|
commitdiff
|
tree
2007-02-16
Sven
V
erdo
o
laege
ber
n
stein
.
cc:
a
dd (
o
ptional) opti
o
ns argum
e
nt to evalue_bern
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sve
n
Verdoolaege
add missi
n
g virtual de
s
tructo
r
s
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoo
l
aege
gen
f
un
.
c
c
:
renam
e
struct cone
t
o avoid conflict with
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sve
n
V
erd
o
olaege
doc
:
i
nteger points in the funda
m
ental par
a
llelepiped
.
.
.
commit
|
commitdiff
|
tree
2007-02-14
S
ve
n
Verd
o
ola
e
ge
ver
i
f_ehrh
a
r
t
.
c
:
clean up inde
n
t
a
tion
commit
|
commitdiff
|
tree
2007-02-14
S
v
e
n
Verdoolaege
verif_
e
h
rhart: opt
i
on
a
l
ly contin
u
e
o
n error
commit
|
commitdiff
|
tree
2007-02-14
S
v
e
n Verdoolaege
verif_ehrhart: co
m
bine c
h
ec
k
_poly from barvinok_enu
m
erate_e
.
cc
commit
|
commitdiff
|
tree
2007-02-14
Sven Ver
d
o
olaege
verif_ehrhar
t
.
c: ch
e
ck lower an
d
upper polynomial approximati
o
n
s
commit
|
commitdiff
|
tree
next