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

324 B1

324 B2

Tutorials

New features

Tasks

• doctesting
  (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)
  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)
  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)
  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), 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 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 almost finished
  Some discussions with Jeroen about code organisation to be compatible with Sage
  TODO:
  finish documentation (ARB and FLINT)
  wrap all useful functions from the external libraries
  add more tests (?)
  make a 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) Worked on p-rational fields.

• Sato-Tate conjecture (Zakariae)
  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)
  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)
  Succeeded to compute in pari/gp with theta functions of binary quadratic forms. Extended to more variables.

• SIDH (Cyril)
  Working on presentation and implementation of SIDH. Good work on implementation of SIDH.

• level 1 MS (Karim)

• (Jared) parallel ECPP

• (Bill) implem nfredmodpowers using bnfisprincipal, fixed MacOS binaries, updated LTS binaries for OSX.