⇤ ← Revision 1 as of 2010-12-02 19:34:30
235
Comment:
|
← Revision 2 as of 2010-12-03 00:15:30 ⇥
812
|
Deletions are marked like this. | Additions are marked like this. |
Line 1: | Line 1: |
* ''Goal'' -- * ''Type'' -- * ''Priority'' -- * ''Difficulty'' -- * ''Prerequisites'' -- |
* ''Goal'' -- Fix implementation of p-adic exponential and logarithm maps for extensions * ''Type'' -- basic features * ''Priority'' -- Medium-High * ''Difficulty'' -- Medium * ''Prerequisites'' -- None for 1, [[../GeneralExtensions | general ring extensions]] for 2. |
Line 8: | Line 8: |
* ''Progress'' - | * ''Progress'' - not started |
Line 13: | Line 13: |
[[http://homes.esat.kuleuven.be/~fvercaut/talks/pAdic.pdf | this talk]] has some interesting comments, some of which apply exp and log. |
|
Line 14: | Line 16: |
1. Fix the code in `padic_ZZ_pX_FM_element.pyx` and write analogous code for capped relative and capped absolute unramified and Eisenstein elements. Also write the exponential map. 1. Implement log and exp for elements of two-step extensions. |
Goal -- Fix implementation of p-adic exponential and logarithm maps for extensions
Type -- basic features
Priority -- Medium-High
Difficulty -- Medium
Prerequisites -- None for 1, general ring extensions for 2.
Background --
Contributors --
Progress - not started
Related Tickets --
Discussion
this talk has some interesting comments, some of which apply exp and log.
Tasks
Fix the code in padic_ZZ_pX_FM_element.pyx and write analogous code for capped relative and capped absolute unramified and Eisenstein elements. Also write the exponential map.
- Implement log and exp for elements of two-step extensions.