Sage Days 52

There will be an automatically generated list of all tickets worked on during Sage Days 52. Please add sd52 to the keyword field of every ticket you work on during Sage Days 52 so that it appears in this list.

Developing Sage

• the old workflow is explained here

• for the new workflow, you need to build sage following this guide. The slides of the sage-git talk.

Project Groups

Uniformization p-adics/power series

Interested people: X. Caruso, D. Roe

Tasks:

• define categories CDVR/CDVF - #14823

Polynomials over CDVR/CDVF

Interested people: X. Caruso, L. De Feo, J. Rüth, J. Sijsling, J. Tuitman, D. Roe

Tasks:

• Hensel lift - #14828
• Slope factorization - #14828
• Complete factorization - #12561, Julian's code
• Compute (X)GCD - #13630, #?
• Compute ramification filtration

Matrices over (C)DVR/DVF

Interested people: J.-F. Biasse, T. Vaccon

Tasks:

• Echelon forms (Hermite form, LU...)
• Smith form, elementary divisors
• compute inverse, kernels, images

Arbitrary extensions of Qp

Interested people: X. Caruso, J. Rüth, D. Roe

Tasks:

• use templates - #12555
• Qq using FLINT - #14304
• Eisenstein extensions using FLINT
• General extensions

Multiplication group of a p-adic field

Interested people: X. Caruso, A. David

• compute structure and generators of K^x
• work with finite index subgroups of K^x

Interface with Mathemagix

Interested people: X. Caruso, J. Berthomieu

Series over CDVR/CDVF

Interested people: D. Lubicz

Tasks:

• Bounded series over discs - #14830
• Bounded series over annulus

Counting points on curves

Interested people: J. Tuitman, C. Gonçalves

Tasks:

• speed up count_points #15148
• Implement Kedlaya's algorithm for hyperelliptic curves

Assorted bug fixing and reviews