On Polynomial Ideals and Overconvergence in Tate Algebras
Xavier Caruso, Tristan Vaccon, Thibaut Verron · 2022
In this paper, we study ideals spanned by polynomials or overconvergent series in a Tate algebra. With state-of-the-art algorithms for computing Tate Gröbner bases, even if the input is polynomials, the size of the output grows with the required precision, both in terms of the size of the coefficients and the size of the support of the series.