Function RotateVector

RotateVector(rotation: RotationMatrix, vector: Vector): Vector
Applies a rotation to a vector, yielding a rotated vector.

This function transforms a vector in one orientation to a vector in another orientation.
Parameters
- rotation: RotationMatrix
  A rotation matrix that specifies how the orientation of the vector is to be changed.
- vector: Vector
  The vector whose orientation is to be changed.
Returns Vector
A vector in the orientation specified by rotation.