# Previous Ateliers: [2015 (Bordeaux)](Atelier%202015), [2016 (Grenoble)](Atelier%202016), [2017 (Lyon)](Atelier%202017) # [Welcome to Atelier PARI/GP 2017b (Clermont)](http://pari.math.u-bordeaux.fr/Events/PARI2017b/) ## 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