Nuprl Definition : rat-cube-diameter
rat-cube-diameter(k;c) == Σ{rmax(r0;rat2real(snd((c i))) - rat2real(fst((c i)))) | 0≤i≤k - 1}
Definitions occuring in Statement :
rsum: Σ{x[k] | n≤k≤m},
rat2real: rat2real(q),
rmax: rmax(x;y),
rsub: x - y,
int-to-real: r(n),
pi1: fst(t),
pi2: snd(t),
apply: f a,
subtract: n - m,
natural_number: $n
Definitions occuring in definition :
apply: f a,
pi1: fst(t),
rat2real: rat2real(q),
pi2: snd(t),
rsub: x - y,
natural_number: $n,
int-to-real: r(n),
rmax: rmax(x;y),
subtract: n - m,
rsum: Σ{x[k] | n≤k≤m}
FDL editor aliases :
rat-cube-diameter
Latex:
rat-cube-diameter(k;c) == \mSigma{}\{rmax(r0;rat2real(snd((c i))) - rat2real(fst((c i)))) | 0\mleq{}i\mleq{}k - 1\}
Date html generated:
2019_10_31-AM-06_03_13
Last ObjectModification:
2019_10_30-PM-11_44_04
Theory : real!vectors
Home
Index