Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Last revision Both sides next revision | ||
matrix_transpose [2016/10/02 15:27] nikolaj |
matrix_transpose [2016/10/02 15:50] nikolaj |
||
---|---|---|---|
Line 8: | Line 8: | ||
----- | ----- | ||
=== Discussion === | === Discussion === | ||
+ | == Code == | ||
<code> | <code> | ||
M = {{a, b, c}, {x, y, z}}; | M = {{a, b, c}, {x, y, z}}; | ||
Line 14: | Line 15: | ||
M // MatrixForm | M // MatrixForm | ||
TM // MatrixForm | TM // MatrixForm | ||
+ | </code> | ||
+ | |||
+ | <code/Haskell> | ||
+ | --$ idris -p contrib | ||
+ | --$ :l this_module.idr | ||
+ | import Data.Matrix | ||
+ | |||
+ | m : Matrix 3 2 Nat | ||
+ | m = [[3,5],[1,5],[2,1]] | ||
+ | |||
+ | tm : Matrix 2 3 Nat | ||
+ | tm = transpose m | ||
</code> | </code> | ||