Exact p-adic computation in Magma. (May 2021)

• Record Type: Journal Article
• Authors: Doris, Christopher
• Is Part Of: Journal of symbolic computation. Volume 104(2021)
• Page Start: 476
• Page End: 493
• Publication Date: 2021-05
• Subjects: Local fields -- p-adic fields -- Lazy evaluation; Mathematics -- Data processing -- Periodicals; Numerical analysis -- Data processing -- Periodicals; Automatic programming (Computer science) -- Periodicals; Mathématiques -- Informatique -- Périodiques; Analyse numérique -- Informatique -- Périodiques; Programmation automatique -- Périodiques; Automatic programming (Computer science); Mathematics -- Data processing; Numerical analysis -- Data processing; Periodicals; Electronic journals; 510.285
• DOI: 10.1016/j.jsc.2020.08.005
• Languages: English
• ISSNs: 0747-7171

Abstract

Abstract: We describe a new arithmetic system for the Magma computer algebra system for working with p -adic numbers exactly, in the sense that numbers are represented lazily to infinite p -adic precision. This is the first highly featured such implementation. This has the benefits of increasing user-friendliness and speeding up some computations, as well as forcibly producing provable results. We give theoretical and practical justification for its design and describe some use cases. The intention is that this article will be of benefit to anyone wanting to implement similar functionality in other languages.