pub fn dot<V: FiniteDimVectorSpace>(a: &V, b: &V) -> V::Field
Computes the dot product of two vectors.