First time here? Check out the FAQ!
answered 2016-07-25 15:45:38 +0100
Alternatively, you can use the rotation matrix.
a = vector(QQ, [3, 4]) m=matrix(QQ,[[0,-1],[1,0]]) a_perp=m*a