Diff for "days87/projects"

Differences between revisions 13 and 14

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.
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)
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

-  ⇤ ← Revision 13 as of 2017-07-12 18:04:48 → 
  Size: 3216
  Editor: roed
  Comment:
+   ← Revision 14 as of 2017-07-12 18:09:48 → ⇥
  Size: 3458
  Editor: roed
  Comment:
-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.
 Line 29:
- * 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:
+ * 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]]