Atelier 2024
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)
Welcome to Atelier PARI/GP 2024 (Lyon)
Tasks
- François: modular abelian varieties, Q-curves associated to newforms, twists between modular forms
- Bernadette: algebraic number theory, eigenvalues over number fields (nfmateigen), tutorials
- Fabrice: fast computation of class groups, rnf
- Pierrick: doctesting
- Arthur: tutorials, quadratic forms
- Wessel: CVP, lattice reduction
- Jean: Picard group of curves, coverings of curves
- Nicolas: algebraic curves libpari
- Andreas: partial ECPP certificates, class polynomials by CRT
- Olivier: lattices, orbits of a subgroup of GL_n(F_2) on F_2^n
- Sophie: tutorials algebraic number theory, finite fields, doctesting, Hilbert matrices
- Rob: curves of low genus or hyperell, p-adic extensions
- Pascal: mf package (bug), Sn and An Galois groups (polgalois)
- Henri: Riemann-Siegel formula (now in master, including Lerch and Hurwitz but some bugs), continued fractions, Monsky’s mock Heegner points
- Chazad: tutorials
- Benjamin: central simple algebras / quaternion algebras (revewed libpari code)
- Alice: tutorials (on lattices and norm relations) (read GP code from other people)
- Leo: p-adic field extensions, more p-adic field extensions
- Francesco: factorisation and resultants of polynomials, Groebner bases, discriminants of number fields
- Thibaut, Denis: basic GP, 2-descent on hyperelliptic curves, reading code
- Denis: mathnf(,4), round 2 algorithm
- Mickaël: central simple algebras (splitting problem, study Ivanyos algorithm), bugs
- Marine: doctesting
- Xavier: debugging (fixed!)
- Jean-Robert: abelian fields, doctesting, tutorials
- Ayoub: capitulation problems, basics of GP
- Rafik: tutorials, abelian groups
- Trieu Thu Ha: L-function tutorial
- Bill: helping around, slides, exceptionnal weight 1 modular forms
- Aurel: helping around, (lattice algorithms), p-adic extensions, slides
- Karim: helping around, debugging (lFUN)
Future projects
- 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
Checklist of TODOs from 2020 Atelier
Feature requests
- [x in libpari] ellfactorback
- foreach
- allow lexical variables (my) to have the same name as a built-in function (original problem: scripts break when we add new functions)
- nfinit: flag without LLL
Future projects (significant work needed)
- LU decomposition of matrices (Peter Bruin)
- 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)
- other fplll algorithms?
- BKZ, HKZ, CVP…
- make qfminim rigorous
- p-adic fields
- faster weight 1 forms with modular arithmetic
- better polgalois
- parallelize MPQS
- parallelize linear algebra
- parallelize multiplication table in nf
- rnfinit without maximal order (KB: definitely not available under GP. Cf nf_rnfeq & nf_rnfeqsimple).
- check where we should use fast matrix multiplication
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 ?)
- Hecke characters of infinite order (Pascal Molin, Aurel Page) [almost done]
- integrate Denis’s 2-descent scripts (Bill, KB)
- mfgaloisrep for weight 1 (Bill, Aurel)
- permutation cycle decomposition
- permconjugate, functions for permutation groups (exists: what to export?)
- Takashi Fukuda’s package (Iwasawa theory / p-class groups of abelian fields)
- half-gcd
- abelian groups (Jared)
- root localisation (Christelle) localization.gp pol_tests.gp
- congruences between modular forms (Baptiste)
- HGM
- zetafast / Riemann-Siegel
- numerical analysis
Long-term feature requests
- nfinit for large degree number fields (say ~500). Problem: which functionalities should work?
Checklist of TODOs from 2019 Atelier
- Falting heights over Q and nf (Pascal Molin)
- in libpari, allow setting values of gp variables (?)
- ffmaprel (Bill)
- ffintersect, ffcompositum, ffsubfield, ffsplitting (Bill)
- better rnfkummer, bnrclassfield wrapper (Bill, Aurel)
- parallelism: walltime (Bill)
- compact units (KB)
Checklist of TODOs from 2018 Atelier
- nfsplitting: allow reducible polynomial, even with multiple roots, but want a single field as output (containing all the roots)