===== Matrix transpose =====
==== Function ====
| @#55CCEE: context     | @#55CCEE: $X$ | 
| @#55CCEE: context     | @#55CCEE: $n,k\in\mathbb N$ | 
| @#FF9944: definition  | @#FF9944: ${\cdot}^{\ \mathrm{T}}: \mathrm{Matrix}(n,k,X) \to \mathrm{Matrix}(k,n,X) $ |
| @#55EE55: postulate   | @#55EE55: $(A^\mathrm{T})_{ij}=A_{ji} $ |

-----
=== Discussion ===
== Code ==
<code>
mm = {{a, b, c}, {x, y, z}};
tm = Transpose[mm];

mm // MatrixForm
tm // MatrixForm
</code>

<code/Haskell>
--$ idris -p contrib
--$ :l this_module.idr
import Data.Matrix

mm : Matrix 3 2 Nat
mm = [[3,5],[1,5],[2,1]]

tm : Matrix 2 3 Nat
tm = transpose mm
</code>

=== Reference ===
Wikipedia: [[http://en.wikipedia.org/wiki/Transpose|Transpose]]

-----
=== Context ===
[[Matrix]]