Abstract:
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.
Key words:congruence, unitoid, cosquare, similarity, Toeplitz decomposition, indices of inertia, Pythagorean triples, Maple, circulants.
References