Séminaire Calcul Formel

ZpL : un paquet Sage pour gérer la précision p-adique

par Vaccon

Europe/Paris
Salle XR203 (Bâtiment XLIM)

Salle XR203

Bâtiment XLIM

Description
Il s'agit d'une démonstration de l'implantation en Sagemath de la méthode de la précision différentielle pour gérer la précision p-adique. Nous verrons que, au prix d'une augmentation du coût en temps et en mémoire, cette implantation permet d'obtenir une meilleure précision que les implantations usuelles des p-adiques. Il s'agit d'un travail en commun avec Xavier Caruso et David Roe.