dot package:linear

Compute the inner product of two vectors or (equivalently) convert a vector f a into a covector f a -> a.
>>> V2 1 2 `dot` V2 3 4
11