Diff for "padicSageDays/Projects"

Differences between revisions 4 and 5

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

Power Series -- 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.
Symbolic Integration -- symbolic integration over p-adics. p-adic Igusa zeta functions. Get rational functions in a symbolic p. Look at Denef's webpage.
Logarithms and Exponentials -- 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.
Inversion -- Speed up inversion.
/PadicRootAlgorithm -- Implement Panayi's p-adic root finding algorithm.

-  ⇤ ← Revision 4 as of 2012-02-19 23:37:24 → 
  Size: 1480
  Editor: spice
  Comment:
+   ← Revision 5 as of 2012-02-20 01:36:56 → ⇥
  Size: 1563
  Editor: roed
  Comment:
-Deletions are marked like this.
+Additions are marked like this.
 Line 9:
- * [[/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.
+ * [[/PowerSeries|Power Series]] -- 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|Factoring]] -- work on factoring of polynomials over local fields.
 * [[/Templates|Templates]] -- templates for elements of p-adic fields.
 * [[/SymbolicIntegration|Symbolic Integration]] -- 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]] -- logarithms and exponentials for p-adic extension fields.
 * [[/FunctionFields|]] -- Hess' automorphism algorithm for finding isomorphisms between function fields.