# Previous Ateliers:
[2015 (Bordeaux)](Atelier%202015),
[2016 (Grenoble)](Atelier%202016),
[2017 (Lyon)](Atelier%202017)
[2017b (Clermont-Ferrand)](Atelier%202017b)
[2017c (Oujda)](Atelier%202017c)
[2018 (Besançon)](Atelier%202018)
[2018b (Roma)](Atelier%202018b)
[2019 (Bordeaux)](Atelier%202019)
[2019b (Roma)](Atelier%202019b)
[2020 (Grenoble)](Atelier%202020)
[2021b (Oujda)](Atelier%202021b)
[2022 (Besançon)](Atelier%202022)
[2023 (CIRM)](Atelier%202023)
[2024 (Lyon)](Atelier%202024)
[2024b (Roma)](Atelier%202024b)


# [Welcome to Atelier PARI/GP 2025 (Saclay)](https://pari.math.u-bordeaux.fr/Events/PARI2025/)

[Doctesting](doc2025)

## 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

## Wishlist (discussed during the atelier)
- Finite abelian groups Fourier Transform

## 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](http://pari.math.u-bordeaux.fr/cgi-bin/pkgreport.cgi?pkg=pari#_0_4_4)

## 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
- [x] 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](/localization.gp)
  [pol_tests.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)