First time here? Check out the FAQ!
answered 8 years ago
Alternatively, you can use the rotation matrix.
a = vector(QQ, [3, 4]) m=matrix(QQ,[[0,-1],[1,0]]) a_perp=m*a