Previous Ateliers:

2015 (Bordeaux), 2016 (Grenoble), 2017 (Lyon)

Welcome to Atelier PARI/GP 2017b (Clermont)

Tutorials

New features

Genuine Bianchi modular forms for Pari/GP :

Alexander D. Rahm wants to find out if there is interest in a script for the Pari/GP scripts library, computing dimensions of genuine Bianchi modular forms. Details will be given in his talk on Thursday morning, summarized here :

http://math.uni.lu/~rahm/genuine_Bianchi_modular_forms_in_PARI-GP.txt

Tasks

• Doctesting-2017b (Karim Belabas)
• Everything and anything (Karim, Bill, Henri) Lots of progress!
• Rational points on elliptic and hyperelliptic curves over Q_p (Devika, Nicolas M., Pascal) Nicolas gas implemented 2-descent for hyperelliptic curves in the simplest case. The plan is to use it to do Chabauty style work and determine all rational points.
• Clean and maybe improve my own code on p-adic modular forms with the new functions (Dino D.)
• ECPP (Jared, Jean-Pierre)
• PARI-GNUMP (Andreas E.)
• Generalise ellisomat to curves over number fields (Nicolas B.)
• Tannakian symbols and multiplicative functions (Torstein, Andreas H.)
• Improve GP scripts for inclusion into PARI/GP: points on elliptic curves over Q using 2-descent (Denis)
• documentation of modular symbols and forms (Bernadette)
• statistics of Frobenius actions of curves over finite fields (Florent)
• revive the git branch of the Wednesday talk (Pascal)
• encrypted matrix multiplication with Paillier cryptosystem (Matthieu)
• fundamental units of totally complex quartic fields (祝辉林)
• iterators over fundamental discriminants (Jared)
• functions for modular curves (Antonin)
• dimensions of Bianchi modular forms (Alexander)
• Finding the rational expression for the generating function of a given linearly recursive sequence. Application: Recognizing reciprocity laws (Olav, Magnus)
• Computing Meissel-Mertens constants for number fields (Alex M., Preben)
• 2-descent on hyperelliptic curves over Q (Nicolas M.)

Planning for PARI/GP 2.10