Solution (source code)

= Solution

The <matrix product> of the transposed first <vector> with the second is their <dot product>:
$$
\boxed{\mathbf a^T\mathbf b=1\cdot2+3\cdot1=5.}
$$