Computational concerns

The output from any of the NCProcess commands takes the form of either a LaTeX file or a text file. In some cases, we have slightly reformatted the LaTeX output so that it takes up less space on the printed page. This change involved displaying two or three equations on one line rather than presenting one equation on each line.

Since this paper discusses mathematics and does not explain how to use the code, it is not easy to see that, for the computer experiments presented in this paper, there is very little which needs to be typed. For example, when performing the computations in §, one would not type in the 5 equations of (§). One instead would type in the 2 × 2 matrix and tell the computer that it is an isometry and that U is unitary.