Solution (source code)

= Solution

$x\cdot y=\sum_i x_iy_i$ and $\|x\|=(x\cdot x)^{1/2}$.