  Tridiagonal canonical forms of square matrices under congruence or
*congruence, pairs of symmetric or skew-symmetric matrices under congruence,
and pairs of Hermitian matrices under *congruence are given over an
algebraically closed field of characteristic different from 2.
