Archetype A and Archetype B have square coefficient matrices that illustrate the dichotomy of singular and nonsingular matrices. Here we illustrate the latest addition to our series of equivalences, Theorem CSNM.
We can even write Theorem CSNM as a one-line Sage statement that will return True for any square matrix. Run the following repeatedly and it should always return True. We have kept the size of the matrix relatively small to be sure that some of the random matrices produced are singular.