1: \begin{abstract}

2: Tate introduced in~\cite{Tate} the notion of Tate algebras to serve, in

3: the context of analytic geometry over the $p$-adics, as a counterpart

4: of polynomial algebras in classical algebraic geometry. In~\cite{CVV,

5: CVV2} the formalism of Gröbner bases over Tate algebras has been

6: introduced and advanced signature-based algorithms have been proposed.

7: In the present article, we extend the FGLM algorithm of

8: \cite{Faugere:1993} to Tate algebras. Beyond allowing for fast change

9: of ordering, this strategy has two other important benefits.

10: First, it provides an efficient algorithm for changing the radii of

11: convergence which, in particular, makes effective the bridge between

12: the polynomial setting and the Tate setting and may help in speeding

13: up the computation of Gröbner basis over Tate algebras.

14: Second, it gives the foundations for designing a fast algorithm for

15: interreduction, which could serve as basic primitive in our previous

16: algorithms and accelerate them significantly.

17: \end{abstract}

18: