Hi, I've been searching for a way to rotate a vector as vec_rotate does it. Now I'm too curious to see the algorithm behind it. Can you explain it briefly?