Exact \(p\)-adic computation in Magma

DOI10.1016/j.jsc.2020.08.005zbMath1472.11004arXiv2008.11063OpenAlexW3051419479MaRDI QIDQ2229728

Christopher Doris

Publication date: 18 February 2021

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

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

zbMATH Keywords

local fieldslazy evaluation\(p\)-adic fields

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Software, source code, etc. for problems pertaining to number theory (11-04) Non-Archimedean valued fields (12J25) Computational methods for problems pertaining to field theory (12-08) Non-Archimedean dynamical systems (11S82)

Related Items (1)

How far is an extension of \(p\)-adic fields from having a normal integral basis?

Uses Software

• FLINT
• Magma
• Mathemagix
• PARI/GP
• SageMath
• Genus2Conductor
• ExactpAdics
• pAdicGaloisGroup

Cites Work

• Unnamed Item
• Relaxed algorithms for \(p\)-adic numbers
• The Magma algebra system. I: The user language
• 3-torsion and conductor of genus 2 curves
• Computing the Galois group of a polynomial over a p-adic field
• Relaxed p-adic Hensel lifting for algebraic systems

This page was built for publication: Exact \(p\)-adic computation in Magma