Previous Ateliers:

2015 (Bordeaux), 2016 (Grenoble), 2017 (Lyon) 2017b (Clermont-Ferrand) 2017c (Oujda)

Welcome to Atelier PARI/GP 2018 (Besançon)

Available rooms for work in smaller groups:

320 B (except Wednesday 15:00-18:00)

324 B1

324 B2 (except Thursday 15:00-16:30)

Tutorials

New features

Tasks

<<<<<<< edited - doctesting
======= - [doctesting]
>>>>>>> f78fb799d361ee8ea06294f2fdfab671b0c126c0 (Coline, Paul) Finished misc section.

• ECPP

• Use L-function functionality from PARI in Sage; requires a review of current Sage functionality (Jeroen)
  Tried to replace Lcalc but eventually realized it was not a good idea.

• Hyperelliptic curves over finite fields and the rationals (Nicolas)
  Working on 2-descent. Maybe getting something by the end of the week.

• Point counting on elliptic curves and improvements on elliptic curves over finite fields (Jean-Pierre, Cyril, Vincent)
  Made a patch, already included.

• p-adic number field embeddings and regulator (Razvan, Xavier C.)
  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)
  Worked with Henri, made some good progress using the Rankin-Cohen bracket (mfbracket), found some new examples.

• Little delta function by Zagier (Zeynep)

• Dedekind eta function (Banu)

• Modular forms and symbols (François, Bernadette)

• Improve PARI-GNUMP (Andreas, Fredrik) and maybe use it in SageMath? (Jeroen)
  New name: PariTwine
  Autotools support works, detecting the available libraries to wrap
  GP script for inclusion of appropriate functions created
  Texinfo documentation started (so far, only installation instructions)
  Some discussions with Jeroen about code organisation to be compatible with Sage
  Next steps: finish documentation, wrap more functions, check the tests
  Expected outcome: release 0.1

• Modular forms help centre (Henri)
  Wrote a bracket function specific to theta to be faster (still slower than magma for silly reasons)

• Sato-Tate conjecture (Zakariae)
  Worked on p-adic regulators and bounds for the p-adic regulator.

• Theta functions (Enea)

• ECPP (Luca)

• 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.

• Theta series of quadratic forms (Elif)
  Succeeded to compute in pari/gp with theta functions of binary quadratic forms. Extending to more variables.

• SIDH (Cyril)
  Working on presentation and implementation of SIDH