Рациональным мы называем конечный алгоритм, использующий только арифметические операции. Известны рациональные методы проверки конгруэнтности пары эрмитовых или пары унитарных матриц. Предложен рациональный алгоритм для проверки конгруэнтности нормальных матриц общего вида. Библ. 3. Фиг. 2.
