Differences between revisions 22 and 23

Sage Days: Arithmetics over discrete valuation rings (e.g. p-adics)

September 2–September 6, 2013, Université Rennes 1, France

The aim of this workshop is to contribute to the development of p-adics rings in Sage - and more generally discrete valuation rings (DVR). It includes basic arithmetics, linear algebra and analysis (e.g. analytic functions) over these rings.

Registration

Registration is free. There is limited funding for travel and lodging.

Please contact Xavier Caruso at xavier.caruso (at) normalesup.org to register. Please indicate if you will be requesting funding.

Projects

The specific problems addressed at this workshop will be decided upon the interests of the participants. The following general topics are proposed:

Implement basic functions for matrices over DVR (e.g. Hermite and Smith decomposition)
Implement extensions of p-adics (currently only unramified and totally ramified extensions are available)
Write classes for series over DVR
Design a general framework for precision
Review several tickets related to p-adics

Schedule

Monday
10:00-10:30	Welcome and orientation
10:30-12:00	Sage for begginers / coding sprint
13:30-14:30	The state of p-adics in Sage	Xavier Caruso
14:30-15:00	overview of projects
15:00-16:00	About the new git workflow	Julian Rüth
16:00-18:00	coding sprint

Location

Université Rennes 1, France. See location on Google Maps.

All talks and coding sessions will take place in the math building (so-called math tower), numbered 22 on [[http://handicap.univ-rennes1.fr/digitalAssets/81/81399_plan-Campus.jpg|this map].

Participants (first tentative)

Jérémy Berthomieu
Jean-François Biasse
Céline Breilly
Xavier Caruso
Gilles Christol
Luca De Feo
Jean-Pierre Flori
Muhammad Imran
Kiran Kedlaya (September 6 only)
Cécile Gonçalves
Jérémy Le Borgne
Alexandre Le Meur
David Lubicz
Andrea Pulita
David Roe
Julian Rüth
Jeroen Sijsling
Olivier Taïbi*
Arnaud Tisserand
Jan Tuitman
Tristan Vaccon
Nathalie Wach
Paul Zimmermann (by correspondance)

*: To be confirmed

Organizers

Xavier Caruso, Université Rennes 1, France
David Lubicz, Université Rennes 1, France

Last Updated

July 8, 2013

-  ⇤ ← Revision 22 as of 2013-08-19 12:45:24 → 
  Size: 2649
  Editor: caruso
  Comment:
+   ← Revision 23 as of 2013-08-19 12:46:02 → ⇥
  Size: 2646
  Editor: caruso
  Comment:
-Deletions are marked like this.
+Additions are marked like this.
 Line 32:
-|| 10:00-10:30 || Welcome and orientation            || ||
+|| 10:00-10:30 || Welcome and orientation            ||||
 Line 35:
-|| 14:30-15:00 || overview of projects               || ||
+|| 14:30-15:00 || overview of projects               ||||
 Line 37:
-|| 16:00-18:00 || coding sprint                      || ||
+|| 16:00-18:00 || coding sprint                      ||||

Diff for "sagedays-padics-Rennes"