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_frac2polynomial: properly handle relations
2007-03-31
S
v
en Verdoolaeg
e
evalue
.
c:
e
value_frac2poly
n
omial: pro
p
erly handle
r
elations
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
b
a
rvinok_enumera
t
e:
s
upport a
p
prox
i
mation by means
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n
V
erdool
a
ege
scale
.
c: avoid
simplifi
c
a
t
ion
of
c
onstraints after
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
V
e
r
dool
a
ege
barvino
k
/util
.
h:
add
P
OL_UNSET macro for
u
nsetting
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven V
e
rdool
a
ege
sc
a
le
.
c:
P
aram_Polyhedron_Scale_Integer
_
Fast: ign
o
re
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdool
a
ege
move Param_Poly
h
e
d
r
o
n
_Scale_Integer to scale
.
c
a
nd
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
u
s
e se
p
ar
a
te
f
lags option for scale appr
o
xima
t
ion method
commit
|
commitdiff
|
tree
2007-03-31
Sve
n
V
e
rdoolaege
b
a
rv
i
nok
.
cc:
move
s
ca
l
ing to sc
a
le
.
c
commit
|
commitdiff
|
tree
2007-03-30
Sven Verdoolaege
scale
.
c: correct extra
c
t_la
t
tice in
c
a
se of redundant
.
.
.
commit
|
commitdiff
|
tree
2007-03-30
Sven Verdo
o
laege
do
c
:
u
pdate
C
C2005 referen
c
e
commit
|
commitdiff
|
tree
2007-03-26
Sven Verdoolaege
ve
r
if_eh
r
h
a
rt
.
c
: round i
n
exact ev
a
luation up or down
.
.
.
commit
|
commitdiff
|
tree
2007-03-26
S
v
en Ve
r
doolaege
verif_ehrhart
.
c:
option
a
l
ly u
s
e ex
a
ct evalua
t
io
n
for
.
.
.
commit
|
commitdiff
|
tree
2007-03-25
Sv
e
n Verdoolaege
e
value
.
c: add evalue
_
e
v
al
f
or exa
c
t evaluation of evalue
commit
|
commitdiff
|
tree
2007-03-25
Sven Verdoolaege
evalue
.
c: f
i
x evalue
_
fra
c
2polyn
o
m
i
al for negative values
.
.
.
commit
|
commitdiff
|
tree
2007-03-20
Sven Verdoolaege
b
a
rvinok_enumerate:
p
erform slow scaling a
p
pr
o
ximation
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoo
l
aege
fix Par
a
m_Polyhedron_Scale_In
t
e
ge
r
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoo
l
aege
bar
v
inok_enume
r
ate
:
more accurate
p
olynomi
a
l approxi
m
a
tion
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoolaege
r
e
o
r
gani
z
e polynomial approximation options
commit
|
commitdiff
|
tree
2007-03-19
Sve
n
Verdoolaege
uti
l
.
c: Param_
P
olyhedron_Print: actually use output
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoolaege
fix me
r
ge of check_po
l
y from verif_ehrhart
.
c and lexmin
.
cc
commit
|
commitdiff
|
tree
2007-03-18
Sv
e
n
V
erdoola
e
ge
doc
:
up
d
ate Koeppe-Ver
d
oolaege ref
e
rence
commit
|
commitdiff
|
tree
2007-03-17
S
v
e
n V
e
rdoo
l
a
e
ge
barvin
o
k_
m
ax
i
mize: support verification
commit
|
commitdiff
|
tree
2007-03-17
Sven
V
erdoolaege
me
r
ge check_poly f
r
om verif_e
h
rhar
t
.
c and
lex
m
in
.
cc
commit
|
commitdiff
|
tree
2007-03-17
Sven Ve
r
do
o
lae
g
e
evalue
.
c: make som
e
eva
l
ue ar
g
uments const
commit
|
commitdiff
|
tree
2007-03-17
S
ve
n
Verdoolae
g
e
evalue_frac2floor2: als
o
c
onv
e
r
t non-partit
i
on if
no
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven Ve
r
doolaege
ve
r
i
fy
.
c: change verify_
o
ptions_
s
et_r
a
nge
prototype
commit
|
commitdiff
|
tree
2007-03-17
S
v
en Verdoolae
g
e
bern
s
tei
n
: pi
e
cewise_lst::eva
l
ua
t
e: support differ
e
nt
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
S
ven Verdoolae
g
e
veri
f
y
.
c: tu
r
n o
f
f
c
o
n
t
i
n
ue_o
n
_error by def
a
ult
commit
|
commitdiff
|
tree
2007-03-17
Sv
e
n Verdoo
l
aege
bernstein: export n
u
m
e
ric2value
commit
|
commitdiff
|
tree
2007-03-15
Sve
n
Verdoolaege
doc
:
proo
f
o
f existence of suitab
l
e
y for
p
rimal decompositi
.
.
.
commit
|
commitdiff
|
tree
2007-03-15
S
ven V
e
rdoolaege
d
o
c:
f
ix
p
r
o
of
o
f
existence
of s
u
itable y for
primal
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaege
bernstein
.
c
c
:
bernstein_coefficie
n
ts:
c
reate si
g
ned
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sv
e
n Verdoolae
g
e
barvinok_maximize: optionally u
s
e recursive bernstein_coeffi
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sv
e
n
V
erdoolaege
b
e
rnstein
.
c
c: bernste
i
n_coe
f
f
i
ci
e
nts: supp
o
rt general
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sv
e
n V
e
rdoolaege
ber
n
stein
.
cc:
r
efactor b
e
rnstein_coe
f
ficients_product
commit
|
commitdiff
|
tree
2007-03-14
S
ven Verdoolaeg
e
ber
n
s
t
ein:
p
iecewise
_
l
s
t
:
add sign and remove r
e
dun
d
ant
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaeg
e
bernstein: add remove_redund
a
nts method
commit
|
commitdiff
|
tree
2007-03-14
Sven
V
er
d
oolaege
doc: primal decomposition: typo fixe
s
+
clarifi
c
at
i
o
n
s
commit
|
commitdiff
|
tree
2007-03-11
Sven V
e
rdoolaege
d
o
c: f
i
x
p
rimal decomposition exa
m
p
l
e + clea
n
-ups
commit
|
commitdiff
|
tree
2007-03-11
Sven Verdoolae
g
e
Document primal decomposition
commit
|
commitdiff
|
tree
2007-03-11
Sven Verdoolae
g
e
barv
i
nok
.
cc:
b
a
r
vin
o
k_e
n
umerate: f
i
x lower b
o
un
d
ap
p
roximation
commit
|
commitdiff
|
tree
2007-03-07
Sven Verdool
a
ege
evalue_split_periods: gracefull
y
handle ze
r
o eva
l
ues
.
.
.
commit
|
commitdiff
|
tree
2007-03-07
Sven Verdoolaege
barvin
o
k_maxi
m
ize: ha
n
dle zero inpu
t
commit
|
commitdiff
|
tree
2007-03-07
Sven Verd
o
olaege
b
arvinok_enumerat
e
_e: clean u
p
allocat
i
o
n of options
commit
|
commitdiff
|
tree
2007-03-07
Sven Verdoolaege
b
arvinok
.
cc: h
a
ndle case where nothing is left
after
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
S
v
en Verdoolaege
e
value_co
n
v
ert
:
su
p
por
t
pr
i
nting a
q
uasi-polynomi
a
las
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sven
V
erdoolaege
lattice_p
o
in
t
.
h: make sel
f
-co
n
tained
commit
|
commitdiff
|
tree
2007-03-02
Sven Verdoolaege
ev
a
l
ue
.
c
:
extract
ev
a
lue
_
extract_affi
n
e from bernstein
.
c
c
commit
|
commitdiff
|
tree
2007-03-02
Sven Verd
o
olaege
b
e
r
n
s
t
ein
.
cc: bernstei
n
_c
o
eff
i
c
i
en
t
s_product:
n
o
need
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sve
n
Verdoo
l
a
ege
bernstein_coeffic
i
ents: optionally optimize during
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
S
v
en Verdoolaege
bern
s
tein_coefficients: facto
r
ize domain if possible
commit
|
commitdiff
|
tree
2007-03-01
S
v
en V
e
r
doolaege
Polyhedron_F
a
ctor:
o
ptionally retur
n
relatio
n
betw
e
en
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdoolaege
ber
n
st
e
i
n
: e
x
p
o
rt
r
eplaceVariablesInPol
y
nomi
a
l
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdoola
e
ge
b
e
rn
s
tei
n
.
cc: evalue
2
ex: represe
n
t fractional
b
y
scaled
.
.
.
commit
|
commitdiff
|
tree
2007-02-28
S
ven V
e
rdool
a
e
ge
b
arv
i
no
k
_m
a
xi
m
ize
:
fix handling of UNIONs in dom
a
in
s
.
commit
|
commitdiff
|
tree
2007-02-28
Sven Ver
d
o
o
l
aege
bernste
i
n_coefficients
:
skip e
m
p
t
y
subd
o
ma
i
n
s
commit
|
commitdiff
|
tree
2007-02-28
Sven
Verdoolaege
ba
r
vinok_maximize: fix de
t
ection of end of domai
n
specifica
t
ion
commit
|
commitdiff
|
tree
2007-02-27
Sven Verdoolaege
barvinok_ma
x
imize: ad
d
i
n
p
u
t
conversion
commit
|
commitdiff
|
tree
2007-02-27
Sven Verdoolaege
evalue
_
convert: extracted
from barvinok_en
u
merate and
.
.
.
commit
|
commitdiff
|
tree
2007-02-27
Sven Verdo
o
l
a
e
g
e
util
.
c
: m
o
ve
P
olyhedro
n
_is_unbounded f
r
om b
e
rnstein
.
c
c
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdo
o
laege
bernste
i
n_coeffici
e
nts: sk
i
p in
f
inite (sub)dom
a
i
n
s
commit
|
commitdiff
|
tree
2007-02-26
Sve
n
Verdoolaege
barvinok_m
a
ximize: let
user spec
i
f
y variable
s
over
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
Sve
n
Verdoolae
g
e
b
e
rns
t
ein_c
o
e
f
ficients: skip c
o
mputations if doma
i
n
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdo
o
laege
barvin
o
k_
m
a
x
imize: fix access
t
o fr
e
ed
memory
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoolaege
b
ernstein/piece
w
ise_
l
st
.
cpp: a
d
d minimize() me
t
hod
commit
|
commitdiff
|
tree
2007-02-26
Sven
V
erdoolaege
barvinok_maxi
m
iz
e
: read domains with U
N
IONs
commit
|
commitdiff
|
tree
2007-02-26
S
v
en V
e
rd
o
olaege
use GiNaC cflags an
d
l
i
bs
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdoolaeg
e
barvi
n
ok
_
max
i
mize
:
optionally call evalue
_
split_period
s
commit
|
commitdiff
|
tree
2007-02-23
Sven Ve
r
doolaege
evalue
.
c:
ad
d
evalue_s
p
lit_peri
o
ds
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdoolaege
u
t
il
.
c: value_l
c
m:
m
ark arguments const
commit
|
commitdiff
|
tree
2007-02-23
S
v
en
V
erdoo
l
aege
evalue
.
c
: po
l
ynom
i
a
l
_projection: allow
N
ULL
R
argumen
t
commit
|
commitdiff
|
tree
2007-02-23
Sven
V
erdoolaege
evalue
.
c:
e
xtract fi
d
dling wit
h
coefficients out o
f
.
.
.
commit
|
commitdiff
|
tree
2007-02-22
Sven Ve
r
dool
a
ege
eva
l
ue_berns
t
ein_coeff
i
cients: handle each coset of
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sven Verdoola
e
g
e
b
a
r
vi
n
ok_maximize: read evalues with pe
r
iodics
commit
|
commitdiff
|
tree
2007-02-21
Sven
V
e
rdoolaege
evalue_b
e
rnstein_coefficient
s
:
h
andle periodics in
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sv
e
n V
e
rdoolaege
ber
n
stein:
be
r
n
steinExpansion: acc
e
pt lis
t
o
f
p
o
lynom
i
a
l
s
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoolaege
barvinok_
m
aximize: m
a
ke
e
valu
e
parse a little bit mor
e
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sven
Verdoolaege
barvino
k
_
e
numer
a
te*: b
e
less
chatty by default
commit
|
commitdiff
|
tree
2007-02-19
Sven
Verdoolaeg
e
count/en
u
merate: w
a
rn if input is a
u
ni
o
n
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoolaege
DomainIncludes: dete
c
t more c
a
ses
+ a
d
apt d
o
cumentation
commit
|
commitdiff
|
tree
2007-02-19
Sven
Verdoolaege
eval
u
e_bernstein_coefficients: handle fract
i
onals
in
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoolaege
ev
a
lue_
b
e
rnstein_coefficients: ha
n
dl
e
fl
o
orings i
n
.
.
.
commit
|
commitdiff
|
tree
2007-02-18
Sven Verdoolaege
b
a
r
v
inok_maximiz
e
: new t
o
ol for maximizing piecewis
e
.
.
.
commit
|
commitdiff
|
tree
2007-02-17
Sve
n
Verdoolaege
eval
u
e
.
c: evalue_frac2polynomial
:
impr
o
ve accuracy
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
evalue
.
c: add comme
n
t
commit
|
commitdiff
|
tree
2007-02-16
S
v
e
n Verdool
a
ege
ev
a
lue
.
c: add funct
i
on for checking n
e
sting of an evalue
commit
|
commitdiff
|
tree
2007-02-16
S
ven Verdool
a
ege
evalue
.
c:
add m
i
ssing terms reorderings i
n
evalu
e
_r
a
nge_redu
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
S
v
en Verdoolaege
evalue
.
c: make arguments of eequal and evalu
e
_denom
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
barvinok_e
n
umerat
e
_
e
: add
-
-verbose option
commit
|
commitdiff
|
tree
2007-02-16
Sven
V
erdool
a
ege
bernstein: mark
argu
m
ent o
f
value2numeric co
n
st
commit
|
commitdiff
|
tree
2007-02-16
S
ven Verdo
o
la
e
ge
b
e
rnstein
.
cc: add (optio
n
a
l)
options argument to eva
l
ue_bern
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
S
v
en Verdoolaege
add
m
i
s
sing virtual d
e
structors
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdo
o
laege
genfun
.
c
c: rename stru
c
t cone to avoid conflict with
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
S
v
e
n Verdo
o
laege
d
o
c
:
integer points in the fundamental
p
arallelepiped
.
.
.
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoola
e
ge
verif_ehrhart
.
c: clean up ind
e
ntation
commit
|
commitdiff
|
tree
2007-02-14
S
v
en Ve
r
doolaeg
e
verif_
e
hrhart: opti
o
nally continu
e
on error
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoola
e
ge
veri
f
_e
h
rhart:
comb
i
ne check_
p
oly
from bar
v
inok
_
enumerate_e
.
cc
commit
|
commitdiff
|
tree
2007-02-14
Sv
e
n V
e
rdoolaege
verif_
e
hrh
a
rt
.
c:
check lower and
upper po
l
ynomial appr
o
ximations
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
ve
r
ify
.
h:
m
ove barvinok_options into
v
erify_options
commit
|
commitdiff
|
tree
2007-02-14
Sv
e
n Verdoolaege
barv
i
nok_
e
numerate:
p
ass
para
m
e
ter nam
e
s to
check_poly
commit
|
commitdiff
|
tree
next