О подобии матриц с целочисленным спектром над кольцом целых чисел

Приводится квазиполиномиальный алгоритм распознавания подобия над кольцом целых чисел матриц, имеющих целочисленный спектр и жорданова форма которых не содержит клеток одинакового порядка для одного и того же собственного числа. Если алгебраическая кратность всех собственных чисел равна единице, то оценивается число классов подобия.