Tracking p-adic precision

DOI10.1112/S1461157014000357MaRDI QIDQ2878841zbMATH OpenOpenAlexFDO

Authors Xavier Caruso, David Roe, Tristan Vaccon

Publication date 5 September 2014

Published in LMS Journal of Computation and Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1402.7142

Mathematics Subject Classification ID

Algebraic number theory: local fields (11S99) Number-theoretic algorithms; complexity (11Y16) Numerical algorithms for computer arithmetic, etc. (65Y04) Symbolic computation and algebraic computation (68W30)

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.

Recommendations

• \textsf{ZpL}: a \(p\)-adic precision package
• On p-adic differential equations with separation of variables
• Exact \(p\)-adic computation in Magma
• Relaxed algorithms for \(p\)-adic numbers
• scientific article; zbMATH DE number 1086645

Cites work

• p-adic Lie groups
• Deformation theory and the computation of zeta functions
• New algorithms for relaxed multiplication
• On Elkies subgroups of \(\ell\)-torsion points in elliptic curves defined over a finite field
• Overconvergent modular symbols and p-adic L-functions
• Relax, but don't be too lazy
• Relaxed algorithms for \(p\)-adic numbers
• The 2-Adic CM Method for Genus 2 Curves with Application to Cryptography
• The Laurent phenomenon
• The Magma algebra system. I: The user language

Cited in

(9)

• Numerical stability of Euclidean algorithm over ultrametric fields
• Efficient computation of Cantor's division polynomials of hyperelliptic curves over finite fields
• [[:Publication:2878808|Linear algebra over \(\mathbb Z_pu\) and related rings]]
• Deterministic root finding over finite fields using Graeffe transforms
• Fast computation of elliptic curve isogenies in characteristic two
• Stable models of plane quartics with hyperelliptic reduction
• Where are the zeroes of a random p-adic polynomial?
• \textsf{ZpL}: a \(p\)-adic precision package
• Fast computation of hyperelliptic curve isogenies in odd characteristic

This page was built for publication: Tracking \(p\)-adic precision

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2878841)