10023
Comment:

← Revision 66 as of 20081114 13:42:00 ⇥
10091
converted to 1.6 markup

Deletions are marked like this.  Additions are marked like this. 
Line 14:  Line 14: 
7pm  Dinner at [http://www.penangusa.com/location_cambridge_menu_dinein.html Penang] in Harvard Square; 57 JFK Street, Harvard Square, Cambridge, MA 02138. We would like to make a reservation; please let William know if you plan to attend.  7pm  Dinner at [[http://www.penangusa.com/location_cambridge_menu_dinein.htmlPenang]] in Harvard Square; 57 JFK Street, Harvard Square, Cambridge, MA 02138. We would like to make a reservation; please let William know if you plan to attend. 
Line 23:  Line 23: 
[http://wstein.org/talks/20070930steinbsd/ Slides] [http://video.google.com/videoplay?docid=7984448761799110577&hl=en Google Video] 
[[http://wstein.org/talks/20070930steinbsd/Slides]] [[http://video.google.com/videoplay?docid=7984448761799110577&hl=enGoogle Video]] 
Line 33:  Line 33: 
[http://wiki.sagemath.org/days5/sched?action=AttachFile&do=view&target=padic_arith.pdf Slides] [http://video.google.com/videoplay?docid=8817702470712955205&hl=en Google Video part 1 (of 2)] [http://video.google.com/videoplay?docid=7834241264390846749&hl=en Google Video part 2 (of 2)] 
[[http://wiki.sagemath.org/days5/sched?action=AttachFile&do=view&target=padic_arith.pdfSlides]] [[http://video.google.com/videoplay?docid=8817702470712955205&hl=enGoogle Video part 1 (of 2)]] [[http://video.google.com/videoplay?docid=7834241264390846749&hl=enGoogle Video part 2 (of 2)]] 
Line 44:  Line 44: 
[http://video.google.com/videoplay?docid=5758635886902061837&hl=en Google Video]  [[http://video.google.com/videoplay?docid=5758635886902061837&hl=enGoogle Video]] 
Line 59:  Line 59: 
[http://video.google.com/videoplay?docid=2930757134671857575&hl=en Google Video]  [[http://video.google.com/videoplay?docid=2930757134671857575&hl=enGoogle Video]] 
Line 67:  Line 67: 
[attachment:20071003__commutative_algebra.pdf] [http://video.google.com/videoplay?docid=156475786677736141&hl=en Google Video]  [[attachment:20071003__commutative_algebra.pdf]] [[http://video.google.com/videoplay?docid=156475786677736141&hl=enGoogle Video]] 
Line 88:  Line 88: 
[attachment:besser.pdf] [http://video.google.com/videoplay?docid=1477916588819702201&hl=en Google Video]  [[attachment:besser.pdf]] [[http://video.google.com/videoplay?docid=1477916588819702201&hl=enGoogle Video]] 
Line 97:  Line 97: 
[attachment:coleman.pdf] [http://video.google.com/videoplay?docid=7414272363294014907&hl=en Google Video]  [[attachment:coleman.pdf]] [[http://video.google.com/videoplay?docid=7414272363294014907&hl=enGoogle Video]] 
Line 105:  Line 105: 
[http://video.google.com/videoplay?docid=7753480221612447282&hl=en Google Video]  [[http://video.google.com/videoplay?docid=7753480221612447282&hl=enGoogle Video]] 
Line 111:  Line 111: 
[attachment:steinant.pdf] [http://video.google.com/videoplay?docid=3470453209835871513&hl=en Google Video]  [[attachment:steinant.pdf]] [[http://video.google.com/videoplay?docid=3470453209835871513&hl=enGoogle Video]] 
Line 120:  Line 120: 
[http://video.google.com/videoplay?docid=5481874090998683168&hl=en Google Video]  [[http://video.google.com/videoplay?docid=5481874090998683168&hl=enGoogle Video]] 
Line 127:  Line 127: 
[http://video.google.com/videoplay?docid=2913379305263249139&hl=en Google Video] [http://video.google.com/videoplay?docid=3574579568614471949&hl=en Another version] 
[[http://video.google.com/videoplay?docid=2913379305263249139&hl=enGoogle Video]] [[http://video.google.com/videoplay?docid=3574579568614471949&hl=enAnother version]] 
Line 135:  Line 135: 
http://sage.math.washington.edu/home/mabshoff/tractalk20071001.tar.gz [http://video.google.com/videoplay?docid=8784589193845902962&hl=en Google Video]  http://sage.math.washington.edu/home/mabshoff/tractalk20071001.tar.gz [[http://video.google.com/videoplay?docid=8784589193845902962&hl=enGoogle Video]] 
Line 147:  Line 147: 
[http://video.google.com/videoplay?docid=1078890468756181537&hl=en Google Video (part 1 of 2)] [http://video.google.com/videoplay?docid=1514873828205448855 Google Video (part 2 of 2)]  [[http://video.google.com/videoplay?docid=1078890468756181537&hl=enGoogle Video (part 1 of 2)]] [[http://video.google.com/videoplay?docid=1514873828205448855Google Video (part 2 of 2)]] 
Line 156:  Line 156: 
[attachment:jetchev.pdf]  [[attachment:jetchev.pdf]] 
Line 170:  Line 170: 
attachment:cythonstatus07.pdf [http://video.google.com/videoplay?docid=8155731528590036456&hl=en Google Video]  [[attachment:cythonstatus07.pdf]] [[http://video.google.com/videoplay?docid=8155731528590036456&hl=enGoogle Video]] 
Line 178:  Line 178: 
attachment:coercion.pdf [http://video.google.com/videoplay?docid=6579542972326274959&hl=en Google Video (part 1)] [http://video.google.com/videoplay?docid=7943196399220997534&hl=en Google Video (part 2)]  [[attachment:coercion.pdf]] [[http://video.google.com/videoplay?docid=6579542972326274959&hl=enGoogle Video (part 1)]] [[http://video.google.com/videoplay?docid=7943196399220997534&hl=enGoogle Video (part 2)]] 
Line 201:  Line 201: 
[attachment:steinsatotate.pdf] [http://video.google.com/videoplay?docid=199443279836975614&hl=en Google Video]  [[attachment:steinsatotate.pdf]] [[http://video.google.com/videoplay?docid=199443279836975614&hl=enGoogle Video]] 
Line 208:  Line 208: 
[http://video.google.com/videoplay?docid=1589461731048191073&hl=en Google Video of the Final Status Reports]  [[http://video.google.com/videoplay?docid=1589461731048191073&hl=enGoogle Video of the Final Status Reports]] 
Sage Days 5 Schedule
The times are as follows, unless otherwise stated below.
MORNING TALK 1 (9:15  10:15) MORNING TALK 2 (10:30  11:30) AFTERNOON TALK (12pm) DINNER (57pm) EVENING REPORTS (78pm) EVENING WORKING SESSION (8pm?)
SATURDAY
7pm  Dinner at Penang in Harvard Square; 57 JFK Street, Harvard Square, Cambridge, MA 02138. We would like to make a reservation; please let William know if you plan to attend.
SUNDAY
MORNING TALK 1 (9:1510:15)
Speaker: William Stein Title: Computations Related to the Birch and SwinnertonDyer Conjecture using Sage
MORNING TALK 2 (10:3011:30)
Speaker: David Roe Title: padic Arithmetic in SAGE
Abstract: I will outline the current status of padic arithmetic in Sage. In particular, I will discuss the different types of padics in Sage, extensions of \mathbf Q_p, polynomials and matrices over such local fields and their rings of integers. I will outline a number of algorithms for treating precision in polynomial and matrix computations. Come with comments on what aspects of padic arithmetic are most needed for your own projects.
Slides Google Video part 1 (of 2) Google Video part 2 (of 2)
AFTERNOON TALK (12)
Speaker: Fernando RodriguezVillegas Title: Identities between padic multipolylogs and padic zeta values
Abstract: This is a talk about some work in progress which involves identities between padic multipolylogs and padic zeta values. Some I can (almost) prove others I can't and I find pretty surprising. Mostly I'd like to have some feedback on it. It wouldn't really be that computational except for the issue of how to compute linear relations among constants in the padics (but the again may be this is well knownto others).
ORGANIZATIONAL MEETING 2:30  3:30:
After a 30minute Overall Sage Status Report by William stein, we will discuss the plan for working groups for the remainder of the workshop.
EVENING REPORTS (78)
Speaker: Craig Citro Title: Modular forms in SAGE: A status report
Abstract: I'll give a short overview of the state of affairs of modular forms in SAGE. Mostly, I'll detail what we can do, what MAGMA can do that we can't, and some speed comparisons.
Speaker: Martin Albrecht Title: Commutative Algebra and Sparse Linear Algebra in SAGE (Singular, PolyBoRi)
Abstract: I will cover libSINGULAR (with some examples, to show that the code isn't as scary as people believe), a bit of PolyBoRi, maybe something about CoCoALib, some benchmarks, and stuff we desperately need and don't know how to get. Obviously, I would throw in some benchmarks and stuff. Actually, I would like to add some (unrelated) slides on the state of sparse linear algebra over finite fields. That would cover what package can do it (not many!) and how SAGE is in that area (surprisingly good it seems for now) and what is done to improve it. Also, someone in the audience might have some input on William's echelon via solve idea adapted to this setting.
20071003__commutative_algebra.pdf Google Video
EVENING WORKING SESSION (8pm?)
MONDAY
MORNING TALK 1
Speaker: Amnon Besser Title: On the Computation of padic Height Pairings on Jacobians of Hyperelliptic Curves
Abstract: The talk will present an algorithm for the computation of padic height pairings on hyperelliptic curves over number fields. Our work is not directly related to the work of Mazur Stein and Tate, though there are some similarities in the difficulties that occur and in the use of Kedlaya's algorithm. I will first explain where this height pairing arise, and how it decomposes into a sum of local terms at the places of the field. The most interesting is for places above the prime p. We use a description of these local terms given by Coleman and Gross that uses the theory of Coleman integration. There are two parts for the computation at these primes. One computes a certain projection from the space of meromorphic forms on the curve to its first de Rham cohomology, which can be computed using Coleman integration and the theory of the so called double index. The second involves computation of Coleman integrals, which are however mroe general than the ones computed in recent work on the subject (Gutnik, Kedlaya, ...) so there are some tricks involved which I'll explain. Finally I will discuss the situation at other primes, where there are still some delicate issues to resolve.
MORNING TALK 2
Speaker: Robert Bradshaw & Kiran Kedlaya Title: Coleman integration
Abstract: We will discuss the theory of Coleman integration (as referenced in the previous talk), describe an algorithm for computing some Coleman integrals on hyperelliptic curves, and discuss (and perhaps demonstrate) how this is implemented in SAGE. Besides the application to computing padic heights, there are also potential applications to finding torsion and rational points on curves over number fields (also due to Coleman); we will say a bit about these too.
AFTERNOON TALKS
Speaker: Mark Watkins Title: SYMPOW
Abstract: We discuss the SYMPOW package to compute special values of symmetric powers of elliptic curve Lfunctions. Google Video
Speaker: William Stein Title: Algebraic Number Theory in SAGE, a Status Report
EVENING REPORTS
Speaker: Bill Hart Title: A short talk on short division : FLINT (Fast Library for Number Theory) a status report by Bill Hart.
Abstract: FLINT is a C library, in the very early stages of development, which has the aim of extending the state of the art in core arithmetic computations and eventually algebraic number theory. We will briefly discuss progress that has been made so far in polynomial and integer arithmetic, including a new variant/implementation of Mulder's recursive polynomial "short division" algorithm which we have worked up for doing faster polynomial division.
Speaker: Michael Abshoff Title: Valgrind Tutorial
Speaker: Michael Abshoff Title: Managing the SAGE development workflow
http://sage.math.washington.edu/home/mabshoff/tractalk20071001.tar.gz Google Video
EVENING WORKING SESSION (8pm?)
TUESDAY
MORNING TALK 1
Speaker: Gonzalo Tornaria Title: StarkHeegner points and the Shimura correspondence
Google Video (part 1 of 2) Google Video (part 2 of 2)
MORNING TALK 2
Speaker: Dimitar Jetchev Title: Computing Heegner points
AFTERNOON TALK
Speaker: Michael Abshoff Title: [Ap]CoCoALib
EVENING REPORTS
Speaker: Robert Bradshaw Title: Cython status report
cythonstatus07.pdf Google Video
Speaker: Robert Bradshaw Title: Coercion Status Report
Abstract: In this controversial report, I will describe the "right" way to discover coercion and explain why the idea of extending baserings is wrong.
coercion.pdf Google Video (part 1) Google Video (part 2)
EVENING WORKING SESSION (8pm?)
WEDNESDAY
MORNING TALK 1 (at Harvard, 9:0010:00)
Speaker: JP. Serre Location: Science Center 507 Title: Finite Groups in Number Theory (part 3)
MORNING TALK 2
Speaker: William Stein Title: On convergence in the SatoTate conjecture
Abstract: This is a talk on convergence in the SatoTate conjecture, in particular, it is an application of Sage to studying how quickly convergence happens in the SatoTate conjecture; this in fact leads to a new conjecture and new questions. This is joint work with Barry Mazur.
steinsatotate.pdf Google Video
AFTERNOON
Speaker: Moderator Project Wrapup
Google Video of the Final Status Reports
NUMBER THEORY SEMINAR (at Harvard, 3:004:00)
Title: Ranks of Elliptic Curves Speaker: Mark Watkins Location: Science Center 507 (Harvard)
EVENING WORKING SESSION:
Informal working and coding session for people still around (e.g., William Stein, David Roe, etc.)