ZpL: a p-adic precision package - CNRS - Centre national de la recherche scientifique Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

ZpL: a p-adic precision package

David Roe
  • Fonction : Auteur
  • PersonId : 953392
Tristan Vaccon
  • Fonction : Auteur
  • PersonId : 1000544

Résumé

We present a new package ZpL for the mathematical software system SageMath. It implements a sharp tracking of precision on p-adic numbers, following the theory of ultrametric precision introduced in previous papers by the same authors. The underlying algorithms are mostly based on automatic differentiation techniques. We introduce them, study their complexity and discuss our design choices. We illustrate the benefits of our package (in comparison with previous implementations) with a large sample of examples coming from linear algebra, commutative algebra and differential equations.
Fichier principal
Vignette du fichier
ZpL.pdf (211.13 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01715800 , version 1 (23-02-2018)

Identifiants

Citer

Xavier Caruso, David Roe, Tristan Vaccon. ZpL: a p-adic precision package. ISSAC 2018, Jul 2018, New York, United States. ⟨10.1145/3208976.3208995⟩. ⟨hal-01715800⟩
257 Consultations
153 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More