|
⇤ ← Revision 1 as of 2012-02-17 17:18:57
Size: 614
Comment:
|
Size: 1346
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 7: | Line 7: |
| As the workshop progresses we'll be using this space to organize work on these projects. You should feel free now to add projects you'd like to see worked on either to this page or the [[padics|the enhancements page]]. | == Sunday Project Proposals == * [[/PowerSeries]] -- separate precision from arithmetic, come up with applications that it will be used for: power series that converge in a particular p-adic disc. Modules over these rings. * [[/Factoring]] -- work on factoring of polynomials over local fields. * [[/Templates]] -- templates for elements of p-adic fields. * [[/SymbolicIntegration]] -- symbolic integration over p-adics. p-adic Igusa zeta functions. Get rational functions in a symbolic p. Look at Denef's webpage. * [[/LogarithmsForExt]] -- logarithms and exponentials for p-adic extension fields. * [[/FunctionFields]] -- Hess' automorphism algorithm for finding isomorphisms between function fields. * [[/WittVectors]] -- Witt vectors over general rings. * [[/HilbertSymbols]] -- General Hilbert symbols for p-adic fields. * [[/Completions]] -- Completions of number fields. * [[/LinearAlgebra]] -- think. then implement. |
We'll be drawing our projects from the following sources.
The wiki page for enhancements to p-adics in Sage.
The list of open p-adic tickets on Trac.
- Computational projects proposed by participants on Sunday afternoon.
Sunday Project Proposals
/PowerSeries -- separate precision from arithmetic, come up with applications that it will be used for: power series that converge in a particular p-adic disc. Modules over these rings.
/Factoring -- work on factoring of polynomials over local fields.
/Templates -- templates for elements of p-adic fields.
/SymbolicIntegration -- symbolic integration over p-adics. p-adic Igusa zeta functions. Get rational functions in a symbolic p. Look at Denef's webpage.
/LogarithmsForExt -- logarithms and exponentials for p-adic extension fields.
/FunctionFields -- Hess' automorphism algorithm for finding isomorphisms between function fields.
/WittVectors -- Witt vectors over general rings.
/HilbertSymbols -- General Hilbert symbols for p-adic fields.
/Completions -- Completions of number fields.
/LinearAlgebra -- think. then implement.