Is there any way to convert the output of NCAlgebra to standard Mathematica form?
For example
<< NC`
<< NCAlgebra`
MatrixForm[m = {{a, b, c}, {d, e, f}, {g, h, i}}];
NCInverse[m][[1, 1]]
The output is
a^(-1) ** (1 - b ** (e - d ** a^(-1) ** b)^(-1) ** (-d ** a^(-1) - (f - d ** a^(-1) ** c) ** (i - g ** a^(-1) ** c - (h - g ** a^(-1) ** b) ** (e - d ** a^(-1) ** b)^(-1) ** (f - d ** a^(-1) ** c))^(-1) ** (-g ** a^(-1) + (h - g ** a^(-1) ** b) ** (e - d ** a^(-1) ** b)^(-1) ** d ** a^(-1))) - c ** (i - g ** a^(-1) ** c - (h - g ** a^(-1) ** b) ** (e - d ** a^(-1) ** b)^(-1) ** (f - d ** a^(-1) ** c))^(-1) ** (-g ** a^(-1) + (h - g ** a^(-1) ** b) ** (e - d ** a^(-1) ** b)^(-1) ** d ** a^(-1)))
I want to change the output to standard form of Mathematica like
Inverse[a].(1-b.Inverse[e-d.Inverse[a].b]...
a + b ** c
will be expanded incorrectly:b**c
will be added entrywise to the entriesa
. We have an internal routine for doing that in NCAlgebra but I never thought it was good enough to be made public. $\endgroup$