(@ [T] matrix >                                  (@ [*] a b >
    (# transpose matrix)                             (# multiply a b)
+                                                +
    {matrix} _                                       {matrix} a b
)                                                )

(@ [I] matrix >
    (# inverse matrix MT_INVERSE_AJDT)
+
    {matrix} _
)

(@ [J] matrix >
    (# transpose matrix MT_CONJUGATE_TRANSPOSE)
+
    {matrix} _
)




