Revision e4560a675e11c84679b8d0749cd4effad31843f8 (click the page title to view the current version)

Front Page

Changes from e4560a675e11c84679b8d0749cd4effad31843f8 to 3a6c79dde197bedf7ffd32738672917546be5219

# 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)

# [Welcome to Atelier PARI/GP 2019 (Bordeaux)](http://pari.math.u-bordeaux.fr/Events/PARI2019/)
# 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)

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

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

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

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

espaces de modules, fonctions theta, des trucs comme ça: Enea + Marius?

generators of cubic extensions, relative Thue equations: Ibrahim

PariDroid: Andreas + Laurent (ported parisize to PariDroid)

elliptic curves over finite fields, point counting: Titouan (compared codes for scalar multiplication on elliptic curves)

parallel GP, p-Selmer group of elliptic curves: Denis (learned gp parallelism, improving programs on elliptic curves)

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

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

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

fusion cypari+cypari2: Vincent K

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

# Planning for next release (2.12.0 and 2.13.0)

## Feature requests
[Wishlist items in the bug tracking system](http://pari.math.u-bordeaux.fr/cgi-bin/pkgreport.cgi?pkg=pari#_0_4_4)
- [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]

## Future projects from previous Ateliers (no work done since)
- LU decomposition of matrices (Peter Bruin)
- algebraic lattices: qfauto and qfisom (Thomas Camus)
- 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)

## From previous Ateliers (finalize ?)
## 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

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