Sage Days 29 Coding Sprint Projects

For the main SD 29 wiki page go here

Below a list of proposed projects.

Bug Days Challenges

The sponsor of the bug-fixing days part of this workshop has the following high-priority challenges for us. It would be great if we could resolve them all.

• Improve the startup time of Sage (ticket?)

• 10975 -- creation of certain prime finite fields is double dog slow (compared to Magma) (patch up by stein; positive review -- David Roe)

• 10801 -- create a new option: "sage -strip" which deletes things that aren't needed for a binary distribution of sage, or for people that will never develop or upgrade

• 10912 -- add order setters and Tate and ate pairings

• 10976 -- computing order of a certain subgroup of a permutation group is double dog slow (compared to Magma)

• 10933 -- time of magma command fails inside function (patch up by derickx; positive review -- Martin Raum)

Fixing modular form/symbols related bugs and the linear algebra it uses

PEOPLE: Maarten Derickx, William Stein, Martin Raum

• 10548 ModularSymbols_clear_cache() not clearing everything

• 10510 ModularSymbols(Gamma1(29), 2).cuspidal_subspace().hecke_algebra().basis() doesn't terminate

• 10262 memory leak in scalar*vector multiplication

• 8998 galois_action on cusps has a bug (positively reviewed -- JEC)

• 9526 Atkin-Lehner operators on modular abelian varieties

• 8614 -- Optimize creation of modular symbols spaces by speeding up quotienting out by 2-term relations (needs review)

• 4578 -- Optimize modular symbols decomposition algorithm (needs review)

• 10987 -- Add optional arguement to decomposition_of_subspace making restrict not check the subspace (needs review)

Binary quadratic forms

PEOPLE: Justin Walker

• 4120 Make progress on getting this patch to pass muster

Number Theory/Elliptic Curves

PEOPLE: Justin Walker, Gagan Sekhon, William Stein, Rado Kirov, John Cremona, Aly Deines, Jen Balakrishnan, Jamie Weigandt

• 10973 Integer points for curves over number fields: Import Nook/Cremona/Kirov/Anderson code into Sage

• 10832 Bug in simon_two_descent() (positively reviewed -- Weigandt)

• 10745 Bug in Elliptic curves gens()

• 10581 Change Large Cremona Database to mongodb format and extend it.

• 10152 Bug in integral_points (for elliptic curves over Q)

• 9371 2-torsion rank over arbitrary fields

Descent

PEOPLE: Jamie Weigandt, Robert Miller, John Cremona, William Stein, Justin Walker

Convert GP scripts in data/extcode/pari to pari library interface

• Simon's scripts qfsolve.gp, ellQ.gp, ell.gp (2-descent on elliptic curves over Q and over number fields)

  • revised script

  • C version of the produced by gp2c

  • Letter from Cohen to Simon explaining what he did

  • See 11005 for an spkg and two patches (extcode and library) needing review.

• Dokchitser's scrip computel.gp (L-functions)

  • tar file contain rsults of all Cohen's work so far and usage instructions

PEOPLE: John Cremona, William Stein, Jamie Weigandt

Exact and Double Dense (RDF/CDF) Linear Algebra

PEOPLE: Rob Beezer, John Palmieri

• 10752 make pivots of matrices immutable (positive review)

• 4983 subdivision attibute is public (positive review)

• 10595 vector constructor and complex numbers (positive review)

• 7392 rank of CDF/RDF matrices

• 10974 matrix stack(), augment() methods

• Wrap NumPy/SciPy Schur factorization, linear system solving routines

Many patches needing review at http://wiki.sagemath.org/devel/LatexToWorksheet

Python 3

• Evaluating which python packages in Sage are ready for Python 3. (Google Spreadsheet, Packages in Sage)

IPython activity

PEOPLE: Fernando Perez, Min Ragan-Kelley, Thomas Kluyver

• SQLite based history (Pull request)

• Torpedøing unicode related bugs (Pull request)

• Allow %time magic command to work within functions (10933)

• General bug sorting and squashing (bug list, better bug list)

Issues Identified

• 291 Rename special display methods and put them lower in priority then display functions

• 296 Automatic PDB via %pdb doesn't work

• 297 Shouldn't use pexpect for subprocesses in in-process terminal frontend

matplotlib activity

PEOPLE: Michael Droettboom, Paul Ivanov

• Fix memory leaks in Nose so that matplotlib's unit tests can be run on modest hardware with Python 3.x

• See status of matplotlib on Python 3.x here https://github.com/matplotlib/matplotlib-py3/wiki

• Win pub quiz competition [completed]

Algebraic Curves / Function Fields

PEOPLE: Moritz Minzlaff, Maarten Derickx, William Stein, Rado Kirov

Picking up things where Sage Days 21 left them.

• positive review: 9053 fixes row echelon form over general PIDs

• positive review: 9094 is_square and sqrt for polynomials and fraction fields

• 9054 create a class for basic function_field arithmetic for Sage

Sage Notebook (Server)

PEOPLE: William Stein, Rado Kirov, Alex Leone, Rob Beezer, Jason Grout

• Flask notebook (Rado Kirov)

• Sage Aleph (William Stein and Rado Kirov)

• http://aleph.sagemath.org Aleph - simple single cell testing server, being served by apache + mod_wsgi.

• MathJax 1.1: #9774 (Rob Beezer)

• Simple Compute Server (William Stein, Rado Kirov)

• Simple Python Compute Server (enhanced from January):

libGAP

PEOPLE: Volker Braun, (Dmitrii Pasechnik), Ivan Andrus

• Trac ticket #6391

• Documentation: http://www.stp.dias.ie/~vbraun/Sage/html/en/reference/sage/libs/gap/gap.html

• Code cleanup
• Use libtool to build shared library (Volker)
• remove hardcoded input/output buffer sizes
• trap GAP errors (Dima, Volker)
• Test on various platforms, OSX needs work (Ivan Andrus)
• Implement GAP List and rec

Riemann Theta Functions and Algebraic Curves

PEOPLE: Chris Swierczewski, Simon Spicer

• Trac ticket #6371 (almost done by Chris Swierczewski)

• Use non-GSL_BLAS for computing finite sum for Riemann theta. (Chris)
• For better performance, determine eccentricity of bounding ellipsoid and apply Siegel transformation.
• Riemann Matrices: (prerequisites)

  • Resultants over polynomial rings #10799 (positive review)

  • Singularities of algebraic curves (elements of polynomial rings over two vars?)
  • Puiseux series. Dependent on Dirichlet series. (Simon)