https://123dok.net/document/yj7r8g0k-signature-based-algorithms-gröbner-bases-over-tate-algebras.html