Diff for "days23/CodingProjects"

sage-4.5

• Robert Miller

ABC at home

• review code
• model runtime
• People: Bart de Smit, Willem Jan Palenstijn, Demeyer, Mak Trifkovic, Thijs van Dijk, Alyssa Milburn, Dan Bernstein, Sebastian Pancratz

Models for elliptic curves

• genus 1 --> Weierstrass

• People: Dan Bernstein, Tanja Lange, Niels Duif, Johannes van der Horst, Michiel Kosters, Marco Streng, Vince Bush, Julio Brau, Michael Mourao, John Cremona

• Tom Fisher's Magma code for invariants and covariants of plane cubics covariants.m, and for minimization and reduction of genus one models g1minimisation-2008.m g1reduction-2008.m minred-demo1.m minred-demo2.m

• Ian Connell's lecture notes contain all the formulas needed to convert plane cubics and hyperelliptic quartics: see http://www.math.mcgill.ca/connell/public/ECH1/ (first several pages of Chapter 1 (c1.ps)).

Function Fields

The main goal of this project is to get the basic infrastructure for function fields into Sage. If time permits, we will also implement Hess's algorithms.

People: William Stein, Maarten Derickx, Peter Bruin, Jan Tuitman, Max Flander, Tanja Lange, Michiel Kosters, Christiane Peters, Marco Streng

• Trac 9054: Create a class for basic function_field arithmetic for Sage

• Trac 9094: is_square and sqrt for polynomials and fraction fields

• Trac 9095: Heights of points on elliptic curves over function fields

Hyperbolic geometry

• plotting (arc of circle, filling domain bounded with arc of circles, ...)
• actions (using the coercion model to act on Hyperbolic Plane element by matrices)
• fundamental domains (port H. Verrill program and implement R. Kulkarni method)
• People: Vincent Delecroix, Maite Arianes, Thijs van Dijk

Related tickets

• Trac 3313: Old ticket for lifting of SL_m(Z/nZ) to SL_m(Z)

• Trac 7424: Inconsistency of SL and PSL

• Trac 9076: plot arc of circle

Created tickets:

• Trac 9437: detected bug for special linear group over finite rings

• Trac 9439: hyperbolic geometry

Todo:

• create a class for fundamental domains and make pairings appear on the boundary
• work on general subgroup of the modular group

Ticket #4000 on rational polynomials... QQ[x] via FLINT

• People: Sebastian Pancratz, Bill Hart, Jan Tuitman

Sage on GPU's

• People: Dan Bernstein, Thijs van Dijk, Andy Novocin

ZZ[x] factoring in FLINT, plus LLL

• People: Andy Novocin, Wieb Bosma, Johannes van der Horst, Bill Hart, Max Flander

MPIR projects

• fmpz in Sage
• a very concrete C project
• People: Frederik Johansson, Bill Hart

Ticket #4260 - Sage + Linbox

• unify for matrices over GF(p)
• C++ wizardry, etc
• People: Andy Novocin, Clement Pernet, (Burcin Erocal, remotely)

Sage Notebook in the classroom

• People: Bart de Smit, William Stein, Eric van der Velden, Willem Jan Palenstijn, Alyssa Milburn

Specific Projects

• Greatly improve the Sage Notebook website

  • Improved information on the site:
    • how to setup a server
      • standalone server
      • with sage
    • how to develop the sage notebook: give a complete example of how to change something
  • Make site much prettier -- I think it is ugly.
• Database
  • Users and basic configuration -- get the startup time of sagenb.org down from 20 minutes to 1 second by replacing users.pickle by a sqlite database, and rewriting the notebook server to use this database instead of making a list of *all* users (and other data about them) in memory.

  • worksheets -- see trac 8757; This might also totally deal with the above "users and basic configuration" info.

• Worksheet labels

  • linking between worksheets: trac 5042 is relevant

  • support library worksheets, so you can type, e.g., load "library.sws"

General framework for the factor(n) command

• mpfq is LGPL!

• special support for p^n \pm 1.

• People: Hendrik Lenstra, Dan Bernstein, Tanja Lange, Christiane Peters, Peng Tian, Julio Brau, Mak Trifkovic

• Kalai's paper

Solving Conics

• People: Marco Streng, Mak Trifkovic, Peter Bruin, John Cremona
• Write a Conic class using Denis Simon's pari code, possibly mwrank, finding points over number fields, other fields?

• http://wiki.sagemath.org/days23/conics

Sums of Squares

• People: Japp Spies, Dung Duong, Peter Bruin, Michiel Kosters

Porting ECHIDNA code from MAGMA

• People: Lloyd Kilford