Revision 23bce072ac4cf0d04e5ce13d8f8ffc07ae33e3e6 (click the page title to view the current version)
Changes from 23bce072ac4cf0d04e5ce13d8f8ffc07ae33e3e6 to current
# Previous Ateliers:
[2015 (Bordeaux)](Atelier%202015),
[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)
# [Welcome to Atelier PARI/GP 2018 (Besançon)](http://pari.math.u-bordeaux.fr/Events/PARI2018/)
## Tutorials
## [New features]()
## Tasks
- [doctesting]()</br>
(Marine, Coline, Paul, Gautier)
Finished misc section, and linear algebra section, finite fields section.
- [ECPP]()
(Paul)
- Use L-function functionality from PARI in Sage; requires a review of current Sage functionality (Jeroen)</br>
Tried to replace Lcalc but eventually realized it was not a good idea.
Work on PariTwine and python bindings and pari errors.
- Hyperelliptic curves over finite fields and the rationals (Nicolas)</br>
Working on 2-descent. Maybe getting something by the end of the week. More work on 2-descent.
- Point counting on elliptic curves and improvements on elliptic curves over finite fields (Jean-Pierre, Cyril, Vincent)</br>
Made a patch, already included.
- p-adic number field embeddings and regulator (Razvan, Xavier C.)</br>
First version of the p-adic regulator. Working for Galois fields, extending to general case.
- Coefficients of Hecke eigenforms of half-integral weight and Eisenstein series; doctesting of mf* (Ilker)</br>
Worked with Henri, made some good progress using the Rankin-Cohen bracket (mfbracket), can do many examples easily, mostly done.
Confirmed results from several papers, about Dedekind zeta functions.
- Little delta function by Zagier (Zeynep)
- Dedekind eta function (Banu)
- Modular forms and symbols (François, Bernadette)
- Improve PariTwine (Andreas, Fredrik) and maybe use it in SageMath? (Jeroen)<br/>
Autotools support works, detecting the available libraries to wrap<br/>
GP script for inclusion of appropriate functions created<br/>
Texinfo documentation created<br/>
Some discussions with Jeroen about library organisation so that Sage can depend on PariTwist for conversions only<br/>
Functions from MPFR, MPC and CMH are wrapped and documented</br>
Web page updated: paritwine.multiprecision.org</br>
TODO:<br/>
finish documentation (ARB and FLINT)</br>
wrap all useful functions from ARB (and FLINT?)<br/>
add more tests (?)</br>
make a release 0.1
- Modular forms help centre (Henri)</br>
Wrote a bracket function specific to theta to be faster (still slower than magma for silly reasons)
Worked on p-rational fields.
- Sato-Tate conjecture (Zakariae)</br>
Worked on p-adic regulators and bounds for the p-adic regulator (Xavier,Zakariae,Razvan).(program to be documented and tested by Bill)
- Theta functions (Enea)
- ECPP (Luca)</br>
Chasing segfaults :-)
- p-adic L-functions (Xavier R.)
- Algebra package (Aurel)
- Infinite order Hecke characters (Aurel, Pascal)
Theory and design choice Ok. First GP implem in progress. C implem in progress.
- Theta series of quadratic forms (Elif)</br>
Succeeded to compute in pari/gp with theta functions of binary quadratic forms. Extended to more variables.
- SIDH (Cyril)</br>
Working on presentation and implementation of SIDH. Good work on implementation of SIDH.
- level 1 MS (Karim)
- (Jared) parallel ECPP
- (Bill) implement nfredmodpowers using idealispower, fixed MacOS binaries, updated LTS binaries for OSX.
## Planning for 2.11
- [x] Use ECPP in isprime.
- mfcoef(f)(s) and siblings
- [x] finalize svg export. Output of export plot functions as a string?
- helpsearch: find function names / doc content matching some kind of regexp (perl)
- permconjugate?
- [x] remove sumaltrat
- nfsplitting: allow reducible polynomial, even with multiple roots, but want a single field as output (containing all the roots)
- rnfsplitting
- [?] Jeroen: in libpari, allow setting values of gp variables
## Feedback on the atelier
- Paul: during tutorials, the speaker should go slow enough so people can reproduce the commands. KB: links to all past tutorials are being collected on a single webpage.
- Thanks a lot to the Besançon organizers !!!!
## Next ateliers
# [Welcome to Atelier PARI/GP 2024b (Lyon)](http://pari.math.u-bordeaux.fr/Events/PARI2024b/)
- candidates for ateliers: Beirut, Bordeaux by default
- several formats are possible
- Bill: there is a mini-atelier in Rome in April (2018b)
- Bernadette: Exercices (algebraic number theory)
- Lorenzo: Exercises, continued fractions
- Safia: Algebraic number theory
- Federico: Exercises (ANT)
- Roslan: Linear algebra, algebraic number theory
- Luca: Weil height for projective spaces
- Pip: Exercises (ANT)
- Nicola: heights
- Suman: Algebraic number theory
- Jessica: Exercises (ANT), elliptic curves
- Francesco: Weil heights
