Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
matrix_transpose [2016/10/02 15:27] nikolaj |
matrix_transpose [2016/10/02 16:16] nikolaj |
||
---|---|---|---|
Line 8: | Line 8: | ||
----- | ----- | ||
=== Discussion === | === Discussion === | ||
+ | == Code == | ||
<code> | <code> | ||
- | M = {{a, b, c}, {x, y, z}}; | + | mm = {{a, b, c}, {x, y, z}}; |
- | TM = Transpose[M]; | + | tm = Transpose[mm]; |
- | M // MatrixForm | + | mm // MatrixForm |
- | TM // 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> | </code> | ||