Revision 3a6c79dde197bedf7ffd32738672917546be5219 (click the page title to view the current version)

Front Page

Changes from 3a6c79dde197bedf7ffd32738672917546be5219 to e50ef7d5dc08cb54bfabd141552ffe773ba8d1fb

# Previous Ateliers:
[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)

# [Welcome to Atelier PARI/GP 2019 (Bordeaux)](http://pari.math.u-bordeaux.fr/Events/PARI2019/)
# [Welcome to Atelier PARI/GP 2019b (Roma)](http://pari.math.u-bordeaux.fr/Events/PARI2019b/)
# Proposed topics (partial reports in brackets)

[doctesting](): Paul + Marine + Julien + Thomas (lots of doctesting done)

modular curves and Galois representations in libpari: Nicolas + Xavier C. + Razvan (nice discussions)

Hecke characters: Aurel+Pascal (automatic increase of precision)

supersingular isogenies: Cyril

integrating and summing oscillating functions: Henri Cohen + KB (new functions, new methods)

Bianchi modular forms: Hao Zhang

sorting and labeling ideals in number fields: John Cremona (JEC) + Aurel Page (review of sorting/labeling, implemented standard two-generator method in gp)

interfacing modular forms with Sage: JEC + Jeroen

interfaces pari / python / sage / jupyter: Jeroen (fixed some bugs, worked with Vincent Klein)

1/2-integral weight modular forms: Ilker+Elif

p-rational fields: Youssef (worked with Razvan and Bill)

modular forms and abelian varieties, explicit construction: Mohammed Amin (worked on calculations related to abelian varieties)

abelian surfaces, p-adic methods, canonical lifts: Maiga + Damien

arithmétique des corps de nombres, corps de classes de Hilbert: Mohammed Taous + Abdelkader Zekhnini (used class group, class field and galois gp functions)

Jeroen's slave: Luca

porting elliptic curves to sage: Luca, JEC, Jeroen

isogenies between abelian surfaces, porting Damien's code: Jean Kieffer

identity-based encryption, webassembly: Adam + Attila (lots of progress, faster and better)

générateurs aléatoires, LLL: Mohammed Traoré (found problems in doc, work on random generators)

LLL on Hermitian forms: Etienne (practiced with pari, implemented LLL)

L-function computations: Francesco (work on enumeration of number fields: found new interesting condition to eliminate polynomials, efficiency not clear yet (coredisc(P) <= disc(F) <= disc(P)))

Steinitz classes in number fields / Dedekind domains: Angelo (explored pari functions for steinitz classes)

Hecke operators and automorphic forms, lattices: Thomas (general methods not successful, came back to specialised methods; doctesting; explored the abilities of the Switch processor)

discover pari, l-functions, elliptic curves: Julien (discovered pari + doctesting)
Please write your name under the relevant headers.
To edit the page, click on edit above and put your name in the 'Description of
change' box.

class groups of abelian fields: Takashi Fukuda (new version incoming)
# OS 

cyclotomic fields: Jean-Robert (proofread Fukuda's documentation)
## Windows

p-adic L-functions of number fields: Xavier R.
## Macos  

p-adic L-functions (of modular forms?): Bernadette (read about Pollack's database of p-adic lambda invariants)
## Linux

espaces de modules, fonctions theta, des trucs comme ça: Enea + Marius?
# Experience with PARI/GP

generators of cubic extensions, relative Thue equations: Ibrahim
## Beginner

PariDroid: Andreas + Laurent (ported parisize to PariDroid)
## Know how to write a GP program or function

elliptic curves over finite fields, point counting: Titouan (compared codes for scalar multiplication on elliptic curves)
## Have a computational project with PARI/GP

parallel GP, p-Selmer group of elliptic curves: Denis (learned gp parallelism, improving programs on elliptic curves)
## Have already attended a PARI/GP atelier

Mahler measure of polynomials: François + Pascal (worked on the problem of propagating the factorisation of a polynomial under perturbations)
# Proposed topics

elliptic curves over Q(t): Christophe (progress on computing some p-adic valuations)
## GP programming

continued fractions of Laurent series over finite fields: Salah Beldi + Ayedi Khalil (worked on continued fractions using pari/gp)
## algebraic number theory

fusion cypari+cypari2: Vincent K
## class field theory

galois groups of polynomials / Q via Gap+pari, multizetas and polylogs: Vincent D + Bill
## elliptic curves cryptography

# Planning for next release (2.12.0 and 2.13.0)
## elliptiques curves over number fields

## Feature requests
- [Wishlist items in the bug tracking system](http://pari.math.u-bordeaux.fr/cgi-bin/pkgreport.cgi?pkg=pari#_0_4_4)
- factorial function with integer output
- ellfactorback/elllinear/ellsum
- WYSIWYG output [NO, use writebin]
## L-functions

## Future projects from previous Ateliers (no work done since)
- LU decomposition of matrices (Peter Bruin)
- algebraic lattices: qfauto and qfisom (Thomas Camus, Cyril Hugounenq, Titouan Coladon, Etienne Marcatel, Thomas Mégarbané, Aurel Page)
- merge the existing t_REAL branches (?); remove incompatibility with polgalois (Karim Belabas)
- primepi (Dana Jacobsen)
- Falting heights over Q and nf (Pascal Molin)
- rnfsplitting
- in libpari, allow setting values of gp variables (?)
- Hecke characters of infinite order (Pascal Molin, Aurel Page)
- ffmaprel, ffintersect, ffcompositum, ffsubfield, ffsplitting (Bill)
- better rnfkummer, bnrclassfield wrapper (Bill, Aurel)
- parallelism: walltime (Bill)
- help search with regular expressions (KB?)
- mfgaloisrep for weight 1 (Bill, Aurel)
- integrate Denis's scripts (Bill, Denis)
## modular forms

## Finalize
- helpsearch: find function names / doc content matching some kind of regular expression
  (trivial flag to gphelp: what to do with the output ?)
- permconjugate, cycle decomposition, functions for permutation groups (exist: what to export?)
- compact units (merge branch kb-compact-units: "only" need to rewrite makematal)
- write final report for OpenDreamKit deliverables (Ateliers [DONE] + parallelism)
- Fukuda's package
## numerical summations and integrations

## Next workshops
- 2020: ? (Bordeaux by default)
- 2021: Besançon ?
## parallel computing with GP