Nuprl Definition : q-linear
q-linear(k;i.X[i];y) == X[0] + Σ0 ≤ j < k. X[j + 1] * y[j]
Definitions occuring in Statement :
qsum: Σa ≤ j < b. E[j],
qmul: r * s,
qadd: r + s,
select: L[n],
add: n + m,
natural_number: $n
Definitions occuring in definition :
qadd: r + s,
qsum: Σa ≤ j < b. E[j],
qmul: r * s,
add: n + m,
natural_number: $n,
select: L[n]
FDL editor aliases :
q-linear
Latex:
q-linear(k;i.X[i];y) == X[0] + \mSigma{}0 \mleq{} j < k. X[j + 1] * y[j]
Date html generated:
2016_05_15-PM-11_16_56
Last ObjectModification:
2015_09_23-AM-08_28_09
Theory : rationals
Home
Index