Isolation of the regular part of a singular matrix pencil as a rational algorithm

A finite computational algorithm using only arithmetic operations is said to be rational. It is shown that the isolation of the regular part of a singular matrix pencil can be achieved through a rational algorithm.