dotprod(v1:vec, v2:vec)::rational
The scalar product of v1 and v2. Both vectors must lie in the same ambient space.
This function is implemented to avoid loading a whole Maple package for one single function.