|
Size: 528
Comment:
|
Size: 3317
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 1: | Line 1: |
| ## page was renamed from CodingProjects <<TableOfContents>> |
|
| Line 3: | Line 7: |
* Robert Miller |
|
| Line 8: | Line 14: |
| * review code * model runtime * People: Bart de Smit, Willem Jan Palenstijn, Demeyer, Mak Trifkovic, Thijs van Dijk, Alyssa Milburn, Dan Bernstein, Sebastian Pancratz |
|
| Line 12: | Line 23: |
| * 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 [[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 13: | Line 28: |
| == Riemann-Roch Space (Normalization) == | |
| Line 15: | Line 29: |
| == 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: [[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 20: | Line 43: |
| * plotting, actions, fundamental domains * Java * port Verrill's fund.dom. program * People: Vincent Delecroix, Maite Arianes, Thijs van Dijk |
|
| Line 23: | Line 51: |
* People: Sebastian Pancratz, Bill Hart, Jan Tuitman |
|
| Line 28: | Line 58: |
| * People: Dan Bernstein, Thijs van Dijk, Andy Novocin |
|
| Line 32: | Line 64: |
| * People: Andy Novocin, Wieb Bosma, Johannes van der Horst, Bill Hart, Max Flander |
|
| Line 35: | Line 69: |
== fmpz in Sage, or in MPIR == |
* fmpz in Sage * a very concrete C project * People: Frederik Johansson, Bill Hart |
| Line 43: | Line 75: |
* unify for matrices over GF(p) * C++ wizardry, etc * People: Andy Novocin, Clement Pernet, (Burcin Erocal, remotely) |
|
| Line 48: | Line 84: |
| * People: Bart de Smit, William Stein, Eric van der Velden, Willem Jan Palenstijn, Alyssa Milburn | |
| Line 49: | Line 86: |
| == code used to get new ECM speed records (mpfq?) == | == 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 == Solving Conics == |
| Line 53: | Line 98: |
| == | * a Conic class using Denis Simon's pari code, possibly mwrank, finding points over number fields, other fields? * see sage trac #727 (and also #6881) * People: Marco Streng, Mak Trifkovic, Peter Bruin, John Cremona == Sums of Squares == * People: Japp Spies, Dung Duong == Porting ECHIDNA code from MAGMA == * People: Lloyd Kilford |
Contents
- sage-4.5
- ABC at home
- Models for elliptic curves
- Function Fields
- Hyperbolic geometry
- Ticket #4000 on rational polynomials... QQ[x] via FLINT
- Sage on GPU's
- ZZ[x] factoring in FLINT, plus LLL
- MPIR projects
- Ticket #4260 - Sage + Linbox
- Sage Notebook in the classroom
- General framework for the factor(n) command
- Solving Conics
- Sums of Squares
- Porting ECHIDNA code from MAGMA
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, actions, fundamental domains
- Java
- port Verrill's fund.dom. program
- People: Vincent Delecroix, Maite Arianes, Thijs van Dijk
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
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
Solving Conics
- a Conic class using Denis Simon's pari code, possibly mwrank, finding points over number fields, other fields?
- see sage trac #727 (and also #6881)
- People: Marco Streng, Mak Trifkovic, Peter Bruin, John Cremona
Sums of Squares
- People: Japp Spies, Dung Duong
Porting ECHIDNA code from MAGMA
- People: Lloyd Kilford