q=matrix(cos(x),-sin(x)],[sin(x),cos(x)) var('w') w=q.transpose() var('w1') w1=q.inverse() bool(w)==bool(w1)