Differences between revisions 1 and 13 (spanning 12 versions)
Revision 1 as of 2017-05-10 05:08:10
Size: 230
Editor: roed
Comment:
Revision 13 as of 2017-07-12 18:04:48
Size: 3216
Editor: roed
Comment:
Deletions are marked like this. Additions are marked like this.
Line 1: Line 1:
== Sage projects == == Big Sage projects ==
Line 3: Line 3:
 * Add general extensions of p-adic fields in Sage  * Add general extensions of p-adic fields in Sage [[https://trac.sagemath.org/ticket/23218|#23218]]
 * Add Julian's Mac Lane package to Sage [[https://trac.sagemath.org/ticket/21869|#21869]]
 * Add Julian's Completion package to Sage [[https://trac.sagemath.org/ticket/22956|#22956]]
 * Polynomial factorization, using Julian's Mac Lane package and/or Brian Sinclair's ticket [[https://trac.sagemath.org/ticket/12561|#12561]]
  * make sure simpler factoring methods are in good shape, like Hensel lifting and Panayi's root finding.
 * Precision models for p-adic matrices, polynomials
 * Power series via p-adic templates
 * 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
  * We might finish reviewing the inclusion of openf4 at [[https://trac.sagemath.org/ticket/18749|#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 [[https://trac.sagemath.org/ticket/20264|#20264]], [[https://trac.sagemath.org/ticket/20265|#20265]]
 * Roadmap for regular models in Sage using Mac Lane package, [[http://www-personal.umich.edu/~psuchand/projects.html|Suchandan Pal's code]] and Stefan Wewer's work.
Line 6: Line 18:
== Smallish Sage projects ==

 * Norms, traces, frobenius, matrix mod pn for relative p-adic extensions
 * Add more black-box testing to p-adics, performance benchmarketing
 * nth roots, square roots that create extensions (extend=True as for integers)
 * Artin-Hasse exponentials [[https://trac.sagemath.org/ticket/12560|#12560]]
 * p-adic gamma functions
 * Better coercion/conversion to and from residue fields
 * Optimized implementation of Frobenius automorphism [[https://trac.sagemath.org/ticket/12657|#12657]]
 * p-adic polylogarithms [[https://trac.sagemath.org/ticket/20260|#20260]]
 * bug in matrix of Frobenius when p = 3 [[https://trac.sagemath.org/ticket/11960|#11960]]
 * Switching to exact defining polynomials for p-adic extensions
 * Change p-adic constructors to not care about the base ring of a defining polynomial [[https://trac.sagemath.org/ticket/18606|#18606]]

== Beginner Sage projects ==

 * Change root_field to return a p-adic field [[https://trac.sagemath.org/ticket/14893|#14893]], [[https://trac.sagemath.org/ticket/20244|#20244]]
 * Update and improve the p-adic tutorial
 * Add more thematic tutorials in number theory
 
Line 8: Line 40:
 * Work on the isogeny classes of abelian varieties over finite fields  * Work on the isogeny classes of abelian varieties over finite fields. See http://beta.lmfdb.org/Variety/Abelian/Fq/
 * Work on Hypergeometric Motives over ℚ. See http://beta.lmfdb.org/Motive/Hypergeometric/Q/
 * Finish up: https://github.com/LMFDB/lmfdb-collab/wiki//Warwick-workshop-June-2017
 * Sanitize API interface: https://github.com/LMFDB/lmfdb/issues/2053
 * Prototype a Sage/LMFDB interface. See https://github.com/LMFDB/lmfdb/issues/1360
 * Display Hecke eigenvalues in terms of an integral basis. See: https://github.com/LMFDB/lmfdb/issues/975

Big Sage projects

  • Add general extensions of p-adic fields in Sage #23218

  • Add Julian's Mac Lane package to Sage #21869

  • Add Julian's Completion package to Sage #22956

  • Polynomial factorization, using Julian's Mac Lane package and/or Brian Sinclair's ticket #12561

    • make sure simpler factoring methods are in good shape, like Hensel lifting and Panayi's root finding.
  • Precision models for p-adic matrices, polynomials
  • Power series via p-adic templates
  • 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
    • 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 #20264, #20265

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

  • For an old list of possible projects, see padics

Smallish Sage projects

  • Norms, traces, frobenius, matrix mod pn for relative p-adic extensions
  • Add more black-box testing to p-adics, performance benchmarketing
  • nth roots, square roots that create extensions (extend=True as for integers)
  • Artin-Hasse exponentials #12560

  • p-adic gamma functions
  • Better coercion/conversion to and from residue fields
  • Optimized implementation of Frobenius automorphism #12657

  • p-adic polylogarithms #20260

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

  • Switching to exact defining polynomials for p-adic extensions
  • Change p-adic constructors to not care about the base ring of a defining polynomial #18606

Beginner Sage projects

  • Change root_field to return a p-adic field #14893, #20244

  • Update and improve the p-adic tutorial
  • Add more thematic tutorials in number theory

LMFDB projects

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