Differences between revisions 2 and 32 (spanning 30 versions)
⇤ ← Revision 2 as of 2010-07-05 14:03:52 →
Size: 2054
Editor: RobertMiller
Comment:
← Revision 32 as of 2010-07-07 07:49:02 → ⇥
Size: 5867
Editor: was
Comment:
Deletions are marked like this. Additions are marked like this.
Line 1: Line 1:
## page was renamed from CodingProjects

<<TableOfContents>>

== Descent on Cyclic Covers of the Projective Line ==

 Port 200 lines of Magma code to Sage.

 * People: Michael Mourao


== Finite Fields ==

Deal with David Roe's latest patch bomb.

 * People: John Cremona
Line 20: Line 39:
 * People: Dan Bernstein, Tanja Lange, (Nils, Tanja's student, remotely), Johannes van der Horst, Michiel Kosters, Marco Streng, Vince Bush, Julio Brau, Michael Mourao  * 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 [[attachment:covariants.m]], and for minimization and reduction of genus one models [[attachment:g1minimisation-2008.m]] [[attachment:g1reduction-2008.m]] [[attachment:minred-demo1.m]] [[attachment: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)).
Line 23: Line 44:
== Riemann-Roch Space (Normalization) == == Function Fields ==
Line 25: Line 46:
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.
Line 26: Line 48:
 * There are function fields over an arbitrary base field
 * basic infrastructure
 * People: William Stein, Maarten Derickx, Peter Bruin, Jan Tuitman, Max Flander, Tanja Lange, Michiel Kosters, Christiane Peters, Marco Streng		 People: William Stein, Maarten Derickx, Peter Bruin, Jan Tuitman, Max Flander, Tanja Lange, Michiel Kosters, Christiane Peters, Marco Streng

 * Trac 9054: [[http://trac.sagemath.org/sage_trac/ticket/9054|Create a class for basic function_field arithmetic for Sage]]
 * Trac 9094: [[http://trac.sagemath.org/sage_trac/ticket/9094|is_square and sqrt for polynomials and fraction fields]]
 * Trac 9095: [[http://trac.sagemath.org/sage_trac/ticket/9095|Heights of points on elliptic curves over function fields]]
Line 33: Line 57:
 * 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 Aranes, Thijs van Dijk
Line 34: Line 62:
 * plotting, actions, fundamental domains
 * Java
 * port Verrill's fund.dom. program
 * People: Vincent Delecroix, Maite Arianes, Thijs van Dijk		 {{http://iml.univ-mrs.fr/~delecroi/hyp-pic1.png|cool hyperbolic picture 1}}
{{http://iml.univ-mrs.fr/~delecroi/hyp-pic2.png|cool hyperbolic picture 2}}
Line 39: Line 65:
Related tickets
 * Trac 3313: [[http://trac.sagemath.org/sage_trac/ticket/3313|Old ticket for lifting of SL_m(Z/nZ) to SL_m(Z)]]
 * Trac 7424: [[http://trac.sagemath.org/sage_trac/ticket/7424|Inconsistency of SL and PSL]]
 * Trac 9076: [[http://trac.sagemath.org/sage_trac/ticket/9076|plot arc of circle]]

Created tickets:
 * Trac 9437: [[http://trac.sagemath.org/sage_trac/ticket/9437|detected bug for special linear group over finite rings]]
 * Trac 9439: [[http://trac.sagemath.org/sage_trac/ticket/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
Line 55: Line 93:
 * People: Andy Novocin, Wieb Bosma, Johannes van der Horst, Bill Hart  * People: Andy Novocin, Wieb Bosma, Johannes van der Horst, Bill Hart, Max Flander
Line 60: Line 98:
 * fmpz in Sage
 * a very concrete C project
Line 62: Line 101:


== fmpz in Sage, or in MPIR ==


 *
Line 72: Line 104:

 * unify for matrices over GF(p)
 * C++ wizardry, etc		  * Polish linbox-sage interface (in LinBox), and release 1.1.7rc1
 * Update Sage interface
 * Rewrite of sage-matrix-modn-dense: continued the work initiated at SD16 with Burcin
Line 83: Line 115:
=== Specific Projects ===
Line 84: Line 117:
== code used to get new ECM speed records ==   * Greatly improve [[http://nb.sagemath.org/|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.
Line 86: Line 125:
  * 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 [[http://trac.sagemath.org/sage_trac/ticket/8757|trac 8757]]; This might also totally deal with the above "users and basic configuration" info.

  * Worksheet labels
    * linking between worksheets: [[http://trac.sagemath.org/sage_trac/ticket/5042|trac 5042]] is relevant
    * support library worksheets, so you can type, e.g., {{{load "library.sws"}}}
   

== General framework for the factor(n) command ==
Line 88: Line 137:
 * special support for $p^n \pm 1$.
Line 89: Line 139:

 * [[http://ttic.uchicago.edu/~kalai/papers/old_papers/factorcryptology.pdf|Kalai's paper]]
Line 94: Line 143:
 * mwrank...
 * People: Marco Streng, Mak Trifkovic, Peter Bruin
 * 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
Line 101: Line 152:
 * People: Japp Spies, Dung Duong  * People: Japp Spies, Dung Duong, Peter Bruin, Michiel Kosters

== Porting ECHIDNA code from MAGMA ==


 * People: Lloyd Kilford

Contents

  1. Descent on Cyclic Covers of the Projective Line
  2. Finite Fields
  3. sage-4.5
  4. ABC at home
  5. Models for elliptic curves
  6. Function Fields
  7. Hyperbolic geometry
  8. Ticket #4000 on rational polynomials... QQ[x] via FLINT
  9. Sage on GPU's
  10. ZZ[x] factoring in FLINT, plus LLL
  11. MPIR projects
  12. Ticket #4260 - Sage + Linbox
  13. Sage Notebook in the classroom
    1. Specific Projects
  14. General framework for the factor(n) command
  15. Solving Conics
  16. Sums of Squares
  17. Porting ECHIDNA code from MAGMA

Descent on Cyclic Covers of the Projective Line

  • Port 200 lines of Magma code to Sage.
  • People: Michael Mourao

Finite Fields

Deal with David Roe's latest patch bomb.

  • People: John Cremona

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

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

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 Aranes, Thijs van Dijk

cool hyperbolic picture 1 cool hyperbolic picture 2

Related tickets

Created tickets:

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

  • Polish linbox-sage interface (in LinBox), and release 1.1.7rc1

  • Update Sage interface
  • Rewrite of sage-matrix-modn-dense: continued the work initiated at SD16 with Burcin
  • 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

days23/CodingProjects (last edited 2010-08-31 23:54:42 by was)