Rename det to vec-det due to the matrix det in trans.rkt