Previous Ateliers:

2015 (Bordeaux), 2016 (Grenoble), 2017 (Lyon) 2017b (Clermont-Ferrand) 2017c (Oujda) 2018 (Besançon) 2018b (Roma) 2019 (Bordeaux) 2019b (Roma) 2020 (Grenoble) 2021b (Oujda) 2022 (Besançon) 2023 (CIRM) 2024 (Lyon) 2024b (Roma)

Welcome to Atelier PARI/GP 2025 (Saclay)

Doctesting

Topics

• Bill Allombert: helping around
• Albin Ahlbäck: build/configure system
• Eric Ahlqvist: class field theory, Galois cohomology
• Ayoub Aluartassi: n-th power Hilbert symbol
• Salma Arrahmani: completions of number fields
• Martin Azon: modular forms
• Safia Batla: S-integers, S-units, S-class groups, S-cohomology
• Dominique Bernardi: TBD
• Yves Benoist : L-functions and modular forms
• Nicolas Billerey : congruences between modular forms
• Raymond van Bommel : local arithmetic of curves and Jacobians
• François Brunault : quasi-periods of modular forms
• Ricardo Buring : doctesting, bugs
• Henri Cohen : quasi-periods of modular forms
• Marc Coulomb : quasi-periods
• Andreas Enge : Gentry-Szydlo over large number fields
• Chimène Fischler : primality tests
• Nihar Gargava : Hecke characters
• Vasily Golyshev : quasi-periods
• Rob de Jeu : point counting
• Jean Kieffer : theta functions
• Péter Kutas : doctesting, quaternion algebras, quadratic forms
• Afonso Li : lattices and S-units
• Céline Maistret : models of curves, arithmetic invariants, local arithmetic of curves and Jacobians
• Nicolas Mascot : algebraic curves package, point counting, models of curves
• Marc Mezzarobba : doctesting, D-finite functions
• Thibaut Misme : doctesting
• Pascal Molin : modular forms, Galois theory
• Pierre Morain : class field theory, Stark units, L-functions
• Mateo Crabit Nicolau : modular forms, quaternion algebras
• Aurel Page : helping around, p-adic fields, algebras, p-adic polylogs …
• Alice Pellet-Mary : ideal lattices, norm relations, Gentry-Szydlo
• Bernadette Perrin-Riou : TBD
• Eric Pichon-Pharabod : doctesting, periods, L-functions
• Léo Poyeton : p-adics
• Marine Rougnant : doctesting
• Denis Simon : quadratic equations, Newton polygons, gp contributions
• Himanshu Shukla : Selmer groups, local arithmetic of curves and Jacobians
• Márton Tot Bagi : root finding in finite fields, elliptic curves

Checklist of Future projects from 2024 Atelier (significant work needed)

• qfauto using roots (Olivier)
• Cvr package (Nicolas)
• inner twists of mf (François)
• norm relations (Aurel, Fabrice)
• higher-dimensional isogenies (Pierrick)
• mod p mf (Baptiste)
• quaternion algebras functionalities from SQISign (Benjamin)
• splitting of algebras (Mickaël, Aurel)
• p-adic fields (Leo, Rob, Aurel)
• include James Rickards code for fundamental domains (Aurel)

Feature requests

• foreach(L,[a,b],…)
• export coprime factorisation, cf ?? “Coprime factorization”@ factorcoprime coprimepart
• interface gcharidentify with prec argument (like lindep)
• gchar: algebraic characters with algebraic evaluation: one char, one field per modulus, one field (+cyclotomic) per bnf, p-adic evaluation.
• gchar: change of field (two directions)
• gchareval: how to obtain the chosen uniformiser? / evaluating the local character at a p-adic place (nfeltval + ideallog) gcharlocaleval?
• courbe ell CM -> gchar
• nfiscm (if the cm involution exists then you know it in all the embeddings so you can reconstruct it)
• give a starting non-maximal order to nfinit
• matrix groups over finite fields
• p-adic polylogs
• Coleman integration
• Wishlist items in the bug tracking system
• Fourier transform of finite abelian groups

Checklist of TODOs from 2020 Atelier

Future projects (significant work needed)

• algebraic lattices: LLL, qfauto, qfisom (Thomas Camus, Cyril Hugounenq, Titouan Coladon, Etienne Marcatel, Thomas Mégarbané, Aurel Page)
• merge the existing t_REAL branches (?); remove incompatibility with polgalois (Karim Belabas)
• primepi (Dana Jacobsen)
• rnfsplitting
• help search with regular expressions (KB)
• BKZ
• HKZ
• CVP
• make qfminim rigorous
• p-adic fields
• better polgalois
• parallelize MPQS
• parallelize multiplication table in nf
• rnfinit without maximal order (KB: definitely not available under GP. Cf nf_rnfeq & nf_rnfeqsimple).

Future projects (to be finalized)

• helpsearch: find function names / doc content matching some kind of regular expression (trivial flag to gphelp: what to do with the output ?)
• mfgaloisrep for weight 1 (Bill, Aurel)
• permconjugate, functions for permutation groups (exists: what to export?)
• abelian groups (Jared)
• root localisation (Christelle) localization.gp pol_tests.gp
• congruences between modular forms (Baptiste)

Long-term feature requests

• nfinit for large degree number fields (say ~500). Problem: which functionalities should work?

Checklist of TODOs from 2019 Atelier

• ffintersect, ffcompositum, ffsubfield, ffsplitting (Bill)