Построение линейной фильтрации для расслоений ранга $2$ на $\mathbf{P}^1_{\mathbb Z}$

Получен алгоритм построения фильтрации с линейными факторами для векторных расслоений ранга 2 над поверхностью $\mathbf{P}^1_A$, где $A$ – евклидова область. Иными словами, предъявленный алгоритм для обратимой $2$-матрицы $\sigma$ над кольцом $A[x,x^{-1}]$ строит матрицы $\lambda$ над $A[x]$ и $\rho$ над $A[x^{-1}]$, для которых $\lambda\sigma\rho$ является верхнетреугольной матрицей.
Библиография: 13 названий.