|
⇤ ← Revision 1 as of 2012-02-21 12:09:31
Size: 40
Comment:
|
← Revision 2 as of 2012-02-21 12:20:28 ⇥
Size: 400
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 4: | Line 4: |
=== Progress === We've just briefly discussed some desired features of completions. There should be a coercion map from a number field to it's completion at any prime, and you should be able to create elements of a number field using weak and strong approximation. If you have other aspects of completions you'd like to see you should add them here. |
People
David Roe, Jon Hanke
Progress
We've just briefly discussed some desired features of completions. There should be a coercion map from a number field to it's completion at any prime, and you should be able to create elements of a number field using weak and strong approximation.
If you have other aspects of completions you'd like to see you should add them here.