Prefer a chat interface with context about you and your work?
Tracking -adic precision
Abstract We present a new method to propagate $p$ -adic precision in computations, which also applies to other ultrametric fields. We illustrate it with some examples and give a toy application to the stable computation of the SOMOS 4 sequence.