Differences between revisions 1 and 26 (spanning 25 versions)
Revision 1 as of 2013-06-04 19:41:57
Size: 1824
Editor: caruso
Comment:
Revision 26 as of 2013-08-19 13:01:05
Size: 4510
Editor: caruso
Comment:
Deletions are marked like this. Additions are marked like this.
Line 1: Line 1:
= Sage Days: p-adics = = Sage Days: Arithmetics over discrete valuation rings (e.g. p-adics) =
Line 14: Line 14:

=== Schedule ===

Coming soon.
Line 33: Line 29:
=== Schedule ===

||||||'''Monday'''||
|| 10:00-10:30 || || Welcome and orientation ||
|| 10:30-12:00 || || Sage for begginers / coding sprint ||
|| 13:30-14:30 || Xavier Caruso || The state of p-adics in Sage ||
|| 14:30-15:00 || || overview of projects ||
|| 15:00-16:00 || Julian Rüth || About the new git workflow ||
|| 16:00- || || coding sprint ||
||||||'''Tuesday'''||
|| 08:00-11:00 || || coding sprint ||
|| 11:00-12:00 || Jérémy Berthomieu|| padics in Mathemagix ||
|| 14:00-15:00 || Jean-Pierre Flori|| padics in FLINT ||
|| 15:15-15:45 || || status reports of projects ||
|| 16:00- || || coding sprint ||
||||||'''Wednesday'''||
|| 08:00-11:00 || || coding sprint ||
|| 11:00-12:00 || Luca De Feo || Implementation of finite fields ||
|| 13:30-14:30 || Julian Rüth || Extensions of p-adic fields ||
|| 14:45-15:45 || Tristan Vaccon || padic Gröbner basis ||
|| 16:00-16:30 || || status reports of projects ||
|| 16:30- || || coding sprint ||
||||||'''Thursday'''||
|| 08:00-11:00 || || coding sprint ||
|| 11:00-12:00 || Xavier Caruso || padic precision ||
|| 13:30-14:30 || David Roe || (to be announced) ||
|| 14:45-15:45 || David Lubicz || Series over padics ||
|| 16:00-16:30 || || status reports of projects ||
|| 16:30- || || coding sprint ||
||||||'''Friday'''||
|| 08:00-11:00 || || coding sprint ||
|| 11:00-12:00 || Jan Tuitman || (to be announced) ||
|| 14:00-15:00 || Kiran Kedlaya || (to be announced) ||
|| 15:15-15:45 || || status reports of projects ||
|| 16:30- || || coding sprint ||
Line 35: Line 67:
Université Rennes 1, France. Université Rennes 1, France. [[http://maps.google.fr/?ll=48.119258,-1.641887&spn=0.003989,0.009645&t=m&z=17|See location on Google Maps.]]
Line 37: Line 69:
<iframe width="425" height="350" frameborder="0" scrolling="no" marginheight="0" marginwidth="0" src="http://maps.google.fr/?ie=UTF8&amp;ll=48.119258,-1.641887&amp;spn=0.003989,0.009645&amp;t=m&amp;z=17&amp;output=embed"></iframe><br /><small><a href="http://maps.google.fr/?ie=UTF8&amp;ll=48.119258,-1.641887&amp;spn=0.003989,0.009645&amp;t=m&amp;z=17&amp;source=embed" style="color:#0000FF;text-align:left">Agrandir le plan</a></small> 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)
Line 40: Line 98:
=== Participants ===

To be announced.
*: To be confirmed
Line 52: Line 108:
June 4, 2013 July 8, 2013

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

Xavier Caruso

The state of p-adics in Sage

14:30-15:00

overview of projects

15:00-16:00

Julian Rüth

About the new git workflow

16:00-

coding sprint

Tuesday

08:00-11:00

coding sprint

11:00-12:00

Jérémy Berthomieu

padics in Mathemagix

14:00-15:00

Jean-Pierre Flori

padics in FLINT

15:15-15:45

status reports of projects

16:00-

coding sprint

Wednesday

08:00-11:00

coding sprint

11:00-12:00

Luca De Feo

Implementation of finite fields

13:30-14:30

Julian Rüth

Extensions of p-adic fields

14:45-15:45

Tristan Vaccon

padic Gröbner basis

16:00-16:30

status reports of projects

16:30-

coding sprint

Thursday

08:00-11:00

coding sprint

11:00-12:00

Xavier Caruso

padic precision

13:30-14:30

David Roe

(to be announced)

14:45-15:45

David Lubicz

Series over padics

16:00-16:30

status reports of projects

16:30-

coding sprint

Friday

08:00-11:00

coding sprint

11:00-12:00

Jan Tuitman

(to be announced)

14:00-15:00

Kiran Kedlaya

(to be announced)

15:15-15:45

status reports of projects

16:30-

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

sagedays-padics-Rennes (last edited 2023-06-01 15:53:16 by mkoeppe)