ExactpAdics：p-adic 数的精确表示
数论
2018-05-25 v1
摘要
我们描述了用于 Magma 计算机代数系统的两个新软件包 ExactpAdics 和 ExactpAdicsII，用于精确处理 p-adic 数，即数以无限 p-adic 精度惰性表示。这具有提高用户友好性、加速某些计算以及强制产生可证明结果的优点。这两个软件包使用不同的惰性求值方法，我们对其进行了详细描述和比较。本文旨在使希望在其他语言中实现类似功能的人受益。
引用
@article{arxiv.1805.09794,
title = {ExactpAdics: An exact representation of p-adic numbers},
author = {Christopher Doris},
journal= {arXiv preprint arXiv:1805.09794},
year = {2018}
}
备注
55 pages; code available from https://cjdoris.github.io/ExactpAdics and https://cjdoris.github.io/ExactpAdics2