transpose package:numeric-prelude

transpose :: T a -> T a
numeric-prelude MathObj.Matrix
Transposition of matrices is just transposition in the sense of Data.List. 
genIntMatrix /\ \a -> Matrix.rows a == Matrix.columns (Matrix.transpose a)

genIntMatrix /\ \a -> Matrix.columns a == Matrix.rows (Matrix.transpose a)

genIntMatrix /\ \a -> genSameMatrix a /\ \b -> Laws.homomorphism Matrix.transpose (+) (+) a b
mulShearTranspose :: C a => [a] -> [a] -> [a]
numeric-prelude MathObj.Polynomial.Core