A finite algorithm that uses arithmetic operations only is said to be rational. There exist rational methods for checking the congruence of a pair of Hermitian matrices or a pair of unitary ones. We propose a rational algorithm for checking the congruence of general normal matrices.
