Diff for "days87/projects"

Differences between revisions 13 and 17 (spanning 4 versions)

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 Wewers' work.
Etale algebras
For an old list of possible projects, see padics

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) #12567
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 #23331
Change p-adic constructors to not care about the base ring of a defining polynomial #18606
Investigate slowness in unramified extensions #23172
Review Xavier's fast exponential code #23235
Ray class groups and Hecke characters #15829

-  ⇤ ← Revision 13 as of 2017-07-12 18:04:48 → 
  Size: 3216
  Editor: roed
  Comment:
+   ← Revision 17 as of 2017-07-15 06:44:53 → ⇥
  Size: 3619
  Editor: robharron
  Comment: add Ray class groups and Hecke characters (trac 15829)
-Deletions are marked like this.
+Additions are marked like this.
 Line 15:
- * 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.
+ * Roadmap for regular models in Sage using Mac Lane package, [[http://www-personal.umich.edu/~psuchand/projects.html|Suchandan Pal's code]] and Stefan Wewers' work.
 * Etale algebras
-Line 22:
+Line 23:
- * nth roots, square roots that create extensions (extend=True as for integers)
+ * nth roots, square roots that create extensions (extend=True as for integers) [[https://trac.sagemath.org/ticket/12567|#12567]]
-Line 29:
+Line 30:
- * Switching to exact defining polynomials for p-adic extensions
+ * Switching to exact defining polynomials for p-adic extensions [[https://trac.sagemath.org/ticket/23331|#23331]]
-Line 31:
+Line 32:
+ * Investigate slowness in unramified extensions [[https://trac.sagemath.org/ticket/23172|#23172]]
 * Review Xavier's fast exponential code [[https://trac.sagemath.org/ticket/23235|#23235]]
 * Ray class groups and Hecke characters [[https://trac.sagemath.org/ticket/15829|#15829]]