Differences between revisions 1 and 2
⇤ ← Revision 1 as of 2010-12-02 19:34:05 →
Size: 235
Editor: DavidRoe
Comment:
← Revision 2 as of 2010-12-02 23:49:27 → ⇥
Size: 1101
Editor: DavidRoe
Comment:
Deletions are marked like this. Additions are marked like this.
Line 1: Line 1:
 * ''Goal'' --
 * ''Type'' --
 * ''Priority'' --
 * ''Difficulty'' --
 * ''Prerequisites'' --
 * ''Background'' -- 		 * ''Goal'' -- Separate precision from approximation for power series. Include precision types that give information about the valuations for ALL coefficients (not just the first n). Write functions for solving p-adic differential equations.
 * ''Type'' -- speed improvements, precision handling, advanced functionality
 * ''Priority'' -- Medium-Low
 * ''Difficulty'' -- Medium-Hard
 * ''Prerequisites'' -- [[../PolynomialPrecision | polynomial precision]]
 * ''Background'' -- Take a look at this book: Kedlaya, Kiran. p-adic Differential Equations, Cambridge Studies in Advanced Mathematics 125, Cambridge Univ. Press, 2010.
Line 8: Line 8:
 * ''Progress'' -  * ''Progress'' - not started
Line 14: Line 14:

 1. Write precision classes for power series, analogous to those for polynomials.

 1. Write a subclass of `PowerSeries_poly` to take advantage of these precision structures. Implement nontrivial power series functionality using an approximation and the precision object.

 1. Implement cool stuff for p-adic differential equations. :-)

  • Goal -- Separate precision from approximation for power series. Include precision types that give information about the valuations for ALL coefficients (not just the first n). Write functions for solving p-adic differential equations.

  • Type -- speed improvements, precision handling, advanced functionality

  • Priority -- Medium-Low

  • Difficulty -- Medium-Hard

  • Prerequisites -- polynomial precision

  • Background -- Take a look at this book: Kedlaya, Kiran. p-adic Differential Equations, Cambridge Studies in Advanced Mathematics 125, Cambridge Univ. Press, 2010.

  • Contributors --

  • Progress - not started

  • Related Tickets --

Discussion

Tasks

  1. Write precision classes for power series, analogous to those for polynomials.

  2. Write a subclass of PowerSeries_poly to take advantage of these precision structures. Implement nontrivial power series functionality using an approximation and the precision object.

  3. Implement cool stuff for p-adic differential equations. :-)

padics/UnivariatePowerSeriesPadic (last edited 2010-12-02 23:49:27 by DavidRoe)