Help with vectors

No sorry, I don't

@sflanker ?

@sflanker by any chance, do you know of any other collections of custom expressions and vizzy programs that manipulate vectors? It turns out that directly rotating a vector does not solve the problem I'm having

@sflanker thanks! This is soo useful

You can implement vector rotation with a custom expression. This is implemented using Rodrigues' Rotation Formula. You can find this and a bunch of other expressions here.