Tracking p-adic precision
Number Theory
2014-08-13 v1 Symbolic Computation
Abstract
We present a new method to propagate -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.
Keywords
Cite
@article{arxiv.1402.7142,
title = {Tracking p-adic precision},
author = {Xavier Caruso and David Roe and Tristan Vaccon},
journal= {arXiv preprint arXiv:1402.7142},
year = {2014}
}