Tracking p-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 many examples and give a toy application to the stable computation of the SOMOS 4 sequence.

Cited by in corpus (5)

• On p-adic differential equations with separation of variables
• p-Adic Stability In Linear Algebra
• Resultants and subresultants of p-adic polynomials
• Matrix-F5 algorithms over finite-precision complete discrete valuation fields
• On the p-adic stability of the FGLM algorithm