Nuprl Definition : qdot
qdot(as;bs) == Σ0 ≤ i < dimension(as). as[i] * bs[i]
Definitions occuring in Statement :
qsum: Σa ≤ j < b. E[j],
qmul: r * s,
select: L[n],
natural_number: $n
Definitions occuring in definition :
qsum: Σa ≤ j < b. E[j],
natural_number: $n,
qmul: r * s,
select: L[n]
FDL editor aliases :
qdot
Latex:
qdot(as;bs) == \mSigma{}0 \mleq{} i < dimension(as). as[i] * bs[i]
Date html generated:
2016_05_15-PM-11_19_47
Last ObjectModification:
2015_09_23-AM-08_28_30
Theory : rationals
Home
Index