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.

References in corpus (2)

• Counting Points on Hyperelliptic Curves using Monsky-Washnitzer Cohomology
• Linear Algebra over Z_p[[u]] and related rings

Cited by in corpus (6)

• On p-adic differential equations with separation of variables
• p-Adic Stability In Linear Algebra
• Linear Algebra over Z_p[[u]] and related rings
• 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