Rotate the basis. Keep the vector.
Coordinates belong to a basis. Compute the new column, rebuild the same arrow, then see exactly what breaks when you forget to rotate the basis too.
Coordinate field ready
c = Rᵀv
The dot products with the rotated basis vectors produce the coordinate column.
v = Rc
The transformed coordinates and transformed basis recombine to the original endpoint.
||v|| = 3.605551
Orthogonal rotations preserve inner products, lengths, and angles.
2D orthonormal Euclidean bases only. This lab does not model non-orthogonal coordinates, curved spaces, or higher-rank tensor transformation laws.