Reducibility theorems for pairs of matrices as rational criteria Original Research Article

Theorems giving conditions for a pair of matrices to be reducible to a special form by a simultaneous similarity transformation such as the classical McCoyʹs theorem or theorems due to Shapiro and Watters are traditionally perceived as nonconstructive ones. We disprove this perception by showing that conditions of each of the theorems above can be verified using a finite number of arithmetic operations. A new extension of McCoyʹs theorem is stated which, in some respects, is more convenient than Shapiroʹs theorem.