Dot (inner, scalar) product of vectors.
vare vectors of the same dimension
v are vectors of the same dimension, then
InnerProduct(u, v) is their dot (inner, scalar) product. If both vectors are real, so is
InnerProduct(u, v). If one or both of the vectors are complex, the complex inner product is used and the result is a complex number (typewise, that is: its imaginary part may well be zero).
u ≔ ❨1, 0, 1, 1❩/√3; a ≔ ❨1, 5, 2, 1❩;
The dot (inner, scalar) product between
v can also be written
| operator is implemented by the