Published online by Cambridge University Press: 28 July 2016
Simple means of checking contractants has been devised which is considered essential to a computor.
In a recent paper Macmillan describes the method of contractants as applied to the evaluation of determinants. The method is essentially based on the extensional identity
Now, any determinant of order n may be expressed as a determinant of order n - 1, all of whose elements are third order determinants. This process is now repeated (n - 2) times until the value of the original determinant is obtained.