Differences between revisions 159 and 172 (spanning 13 versions)
⇤ ← Revision 159 as of 2017-07-21 22:07:39 →
Size: 10953
Editor: abourgeois
Comment:
← Revision 172 as of 2017-07-22 15:08:58 → ⇥
Size: 11451
Editor: sanni85
Comment:
Deletions are marked like this. Additions are marked like this.
Line 18: Line 18:
  * Lattices in p-adic vector spaces: this is handled by the generic code for modules over PID (after the implementation of HNF above and this simple ticket [[https://trac.sagemath.org/ticket/23503|#23503]])   * Lattices in p-adic vector spaces: this is handled by the generic code for modules over PID (after the implementation of HNF above and --(this simple ticket [[https://trac.sagemath.org/ticket/23503|#23503]])--)
Line 26: Line 26:
  * [[https://trac.sagemath.org/ticket/20264|#20264]] (Edgar, Vishal Aru, Nicholas Triantafillou)   * [[https://trac.sagemath.org/ticket/20264|#20264]] (Edgar, Vishal Aru, Nicholas Triantafillou, Ricky)
Line 62: Line 62:
  * [[https://trac.sagemath.org/ticket/23484|#23484]]   * --([[https://trac.sagemath.org/ticket/23484|#23484]])--
Line 85: Line 85:
  * [[https://trac.sagemath.org/ticket/23499|#23499]]   * --([[https://trac.sagemath.org/ticket/23499|#23499]] (Adele))--
Line 87: Line 87:
  * [[https://trac.sagemath.org/ticket/23194|#23194]]
  * [[https://trac.sagemath.org/ticket/23235|#23235]] 		  * --([[https://trac.sagemath.org/ticket/23194|#23194]] (Edgar))--
  * --([[https://trac.sagemath.org/ticket/23235|#23235]] (Adele))--
Line 97: Line 97:
  * [[https://trac.sagemath.org/ticket/23512|#23512]] (really small)
   * --([[https://trac.sagemath.org/ticket/23512|#23512]] (really small) (Edgar) )--
Line 108: Line 107:
 * Dirichlet characters modulo l: see https://github.com/sanni85/Dirichlet_modL (Samuele)
 * Galois representations modulo l: see https://github.com/sanni85/Mod-l-galois-representations and http://beta.lmfdb.org/Representation/Galois/ModL/ (Samuele)
Line 122: Line 119:
  * --(Pull request [[https://github.com/LMFDB/lmfdb/pull/2198|#2198]]: Hilbert modular forms search CM and base change, solves issues [[https://github.com/LMFDB/lmfdb/issues/1975|#1975]], [[https://github.com/LMFDB/lmfdb/issues/1972| #1972]])--
 * Yoshida lifts of Hilbert modular forms: adding function to compute, working on displaying the data (Malcolm, Samuele) https://github.com/sanni85/lmfdb/tree/paramodular_lift
Line 128: Line 126:
  * Dirichlet characters modulo l: see https://github.com/sanni85/Dirichlet_modL (Samuele)
  * Galois representations modulo l: see https://github.com/sanni85/Mod-l-galois-representations and http://beta.lmfdb.org/Representation/Galois/ModL/ (Samuele)

Contents

  1. Big Sage projects
  2. Smallish Sage projects
  3. Non Beginner Sage tickets needing review
  4. Beginner Sage projects
  5. LMFDB projects

A list of tickets we're working on can be found here. If you work on a ticket, please add sd87 to the list of keywords so that it appears!

Most of the code for working with p-adics can be found here and here if you want to browse.

Big Sage projects

  • Add general extensions of p-adic fields in Sage #23218 (David Roe)

  • Add Julian's Mac Lane package which provides a general framework for discrete valuations to Sage #21869 (Julian)

  • Add Julian's Completion package, for general p-adic extension backed by number fields, to Sage #22956 (Julian)

  • Polynomial factorization, using Julian's Mac Lane package and/or Brian Sinclair's ticket #12561 (Ticket needs review) (Brian - meeting in UHS 115)

    • make sure simpler factoring methods are in good shape, like Hensel lifting and Panayi's root finding.
  • Lattice precision for p-adics (in particular p-adic matrices, polynomials) (Xavier)

    • Smith normal form #23450 (ready for review), determinant #23478 (ready for review)

    • Hermite normal form #23486 (ready for review)

    • Lattices in p-adic vector spaces: this is handled by the generic code for modules over PID (after the implementation of HNF above and this simple ticket #23503)

    • Design a framework for lattice precision #23505

  • Power series via p-adic templates (Adriana)

  • Linkage files for p=2 and/or using longs for the case that p^{\text{prec}} < 2^{62}

  • Implementation of Gröbner bases and tropical Gröbner bases algorithm (F4, F5, FGLM), doctest and submission (Tristan). A ticket on F5 has been posted (#23461, needs review). A ticket on a Tropical F5 is in progress (#23501).

    • We might finish reviewing the inclusion of openf4 at #18749 and patch it to avoid going through strings all the time

    • And also look at the performance of Singular, polybori, giac, ...
  • Zeta function tickets

  • Roadmap for regular models in Sage using Mac Lane package, Suchandan Pal's code and Stefan Wewers' work. (Julian)

  • Etale algebras (maybe see also ticket #21413) (Ricky)

  • For an old list of possible projects, see padics

Smallish Sage projects

  • Norms, traces, frobenius, matrix mod pn for relative p-adic extensions (David)
  • Add more black-box testing to p-adics, performance benchmarketing (Aly)

  • nth roots, square roots that create extensions (extend=True as for integers) #12567 (Marc, David)

  • Artin-Hasse exponentials #12560 (Xavier)

  • Gauss sums via the Gross-Koblitz formula, which uses code on p-adic gamma functions #23456 (Adriana and Ander)

  • Better coercion/conversion to and from residue fields (Aly, Marc)

  • Optimized implementation of Frobenius automorphism #12657 (Ander)

  • p-adic polylogarithms #20260 (Alex) Ready for review!

  • bug in matrix of Frobenius when p = 3 #11960 (Jen)

  • Switching to exact defining polynomials for p-adic extensions #23331 (David)

  • Change p-adic constructors to not care about the base ring of a defining polynomial #18606 (David)

  • Investigate slowness in unramified extensions #23172 (Xavier)

  • Review Xavier's fast exponential code #23235 (Xavier)

  • Ray class groups and Hecke characters #15829 (Rob)

  • Add Monge-reduction for Eisenstein polynomials (first over \mathbb{Q}_p, then over unramified extensions) (Sebastian)

  • Generic zeta function method for schemes #20308 (Edgar)

  • Elliptic curve point counting over F_q using PARI #16931 #16949 (J-P Flori, Kevin)

  • Expose PARI code for Frobenius matrix on hyperelliptic curves #20309 (Marc)

  • Raise coverage of schemes/hyperelliptic_curves/monsky_washnitzer.py to 100% #15645 (Edgar)

  • Requested by Anna Haensch: A weak approximation function

Non Beginner Sage tickets needing review

Beginner Sage projects

LMFDB projects

days87/projects (last edited 2017-08-04 09:44:00 by saraedum)