|
Size: 5630
Comment:
|
Size: 6688
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 3: | Line 3: |
| == Implement evaluation of elliptic curve isomorphism at a point == | |
| Line 5: | Line 4: |
| PEOPLE: William Stein {{{ sage: E = EllipticCurve('37a'); F = E.quadratic_twist(-17) sage: K.<a> = QuadraticField(-17); E = E.change_ring(K); F = F.change_ring(K) sage: phi = E.isomorphism_to(F); phi(E.gens()[0]) Traceback (click to the left for traceback) ... NotImplementedError: not implemented. }}} |
|
| Line 18: | Line 7: |
| PEOPLE: William Stein | PEOPLE: William Stein, wouter, dkohel |
| Line 24: | Line 13: |
| PEOPLE: David Kohel | PEOPLE: David Kohel, Wouter Castryck |
| Line 27: | Line 16: |
| (Wouter) As a comment to that, none of these alternative models cover the whole range of elliptic curves (as far as I know). E.g. an elliptic curve can be shaped into Edwards form only if it has a rational point of order 4. So one should in any case optimize arithmetic on pure Weierstrass curves (using weighted projective coordinates or so). | |
| Line 32: | Line 22: |
| PEOPLE: William Stein | PEOPLE: William Stein, rlmiller, dkohel, wstein, dloeffler, bjarke |
| Line 34: | Line 24: |
| It would be possible to use [[http://trac.sagemath.org/sage_trac/ticket/5882|trac 5882]] to rewrite abelian groups natively in Sage (not using GAP), in a way that is much more flexible than the current implementation. This could be useful for many number theory applications. | . It would be possible to use [[http://trac.sagemath.org/sage_trac/ticket/5882|trac 5882]] to rewrite abelian groups natively in Sage (not using GAP), in a way that is much more flexible than the current implementation. This could be useful for many number theory applications. |
| Line 36: | Line 26: |
| This project is "hard", since many have tried and always failed. | . This project is "hard", since many have tried and always failed. The reason for this is the temptation to rewrite the current implementation all at once. See more details for the new plan, which avoids this pitfall... |
| Line 38: | Line 28: |
| [[/abgrp|More Details]] | . [[/abgrp|More Details]] == Multisets == PEOPLE: dkohel, rlmiller, brian |
| Line 48: | Line 42: |
| PEOPLE: Robert Miller, Nathann Cohen (remotely) | PEOPLE: Robert Miller, Nathann Cohen (remotely), brian, ncohen, rlmiller, bjarke |
| Line 56: | Line 50: |
| PEOPLE: Robert Miller, Martin Albrecht (hopefully) | PEOPLE: Robert Miller, Martin Albrecht (hopefully), wstein, michael |
| Line 60: | Line 54: |
| PEOPLE: Robert Miller | PEOPLE: Robert Miller, brian, michael, tom |
| Line 68: | Line 62: |
| PEOPLE: Bjarke Hammersholt Roune | PEOPLE: Bjarke Hammersholt Roune, wouter |
| Line 86: | Line 80: |
| PEOPLE: William Stein | PEOPLE: William Stein, dkohel, wouter, rlmiller, hamish |
| Line 90: | Line 84: |
| == Siegel Theta Functions == PEOPLE: guardia, holuk, drkohel, rlmiller, preston |
|
| Line 91: | Line 90: |
PEOPLE: clement, wstein, burcin, rlmiller, dloeffler, sebastian, brian |
|
| Line 102: | Line 104: |
PEOPLE: clement, michael, brian, preston, emmanuel |
|
| Line 109: | Line 114: |
| PEOPLE: burcin, wstein, tom |
|
| Line 111: | Line 118: |
| PEOPLE: Burcin Erocal | |
| Line 117: | Line 123: |
| PEOPLE: Martin Albrecht, Clément Pernet | PEOPLE: Martin Albrecht, Clément Pernet, christian, brian, haluk, wouter |
| Line 123: | Line 129: |
| PEOPLE: Burcin Erocal, Clément Pernet | PEOPLE: Burcin Erocal, Clément Pernet, rlmiller, malb |
| Line 127: | Line 133: |
| PEOPLE: David Loeffler | Implement computations of the ray class group modulo an ideal of a number field, and the corresponding character group. PEOPLE: David Loeffler, rlmiller, wstein, dkohel, haluk, michael == Pari 2.4 Upgrade == PEOPLE: wstein, dloeffler, hamish, michael == SAge notebook security == PEOPLE: Yoav, malb == Texmacs --> Sage Worksheet converter == PEOPLE: Offray == SPD (simple python distro) == PEOPLE Offray |
Sage Days 16 Project Idea Page
Create a Cython class for points on elliptic curves and optimize basic arithmetic
PEOPLE: William Stein, wouter, dkohel
- Right now basic arithmetic on elliptic curves is way too slow. It could be sped up by moving the point class to Cython, and possibly by using better formulas for arithmetic, e.g., using projective coordinates.
Create elliptic curve classes for elliptic curve models in the Explicit-Formulas Database
PEOPLE: David Kohel, Wouter Castryck
- In order to optimize and compare arithmetic, we should first implement alternative models and verify relative performance. The isomorphisms between different models should also be implemented, and classes for isogenies of these models developed, making use first of the new isogenies code, and eventually putting in place special optimized code for specific models.
(Wouter) As a comment to that, none of these alternative models cover the whole range of elliptic curves (as far as I know). E.g. an elliptic curve can be shaped into Edwards form only if it has a rational point of order 4. So one should in any case optimize arithmetic on pure Weierstrass curves (using weighted projective coordinates or so).
See the EFD: http://www.hyperelliptic.org/EFD/
Rewrite abelian groups (hard)
PEOPLE: William Stein, rlmiller, dkohel, wstein, dloeffler, bjarke
It would be possible to use trac 5882 to rewrite abelian groups natively in Sage (not using GAP), in a way that is much more flexible than the current implementation. This could be useful for many number theory applications.
- This project is "hard", since many have tried and always failed. The reason for this is the temptation to rewrite the current implementation all at once. See more details for the new plan, which avoids this pitfall...
Multisets
PEOPLE: dkohel, rlmiller, brian
Optimize/better document/generally improve graph theory library in Sage
PEOPLE: Robert Miller
Ticket #6085 contains a lot of work so that a graph created by Graph(implementation='c_graph') is just as functional as a Sage graph. I will be sporadically working on improving documentation and optimizing graphs all week, and anyone interested is welcome to join.
Cliquer SPKG for Sage
PEOPLE: Robert Miller, Nathann Cohen (remotely), brian, ncohen, rlmiller, bjarke
Take a look at the possibility of making GAP a dynamically loadable library
PEOPLE: Robert Miller, Martin Albrecht (hopefully), wstein, michael
Python implementation of Ford-Fulkerson algorithm
PEOPLE: Robert Miller, brian, michael, tom
I plan on at least copying the Python implementation on wikipedia, since now we have nothing at all for max flow problems. Hopefully then someone who really cares about it will try to use it, realize it is slow, start improving it, etc. etc. etc.
Frobenius number and genus of numerical semigroups using toric Grobner bases
PEOPLE: Bjarke Hammersholt Roune, wouter
- I plan to code Frobenius number (largest gap) and genus (number of gaps) functions for numerical semigrups using two related algorithms based on toric ideals. These algorithms can handle random numerical semigroups generated by numbers with thousands of digits, as long as there are not too many minimal generators. I'm happy to explain either algorithm if you want to help or are just curious. The steps needed are these:
- Find the best way to compute toric Grobner bases in Sage (4ti2?)
- Improve the integration of the library Frobby for monomial ideal computations.
- Code the algorithms (should be easy at this point)
PolyBoRi and Singular
PEOPLE: Martin Albrecht, Burcin Erocal
Both PolyBoRi's (Gröbner bases in GF(2)[x_i]/<x_i^2+x_i>) and Singular's interface need some (engineering) work & documentation.
Elliptic curves isogenies -- greatly improve usability
PEOPLE: William Stein, dkohel, wouter, rlmiller, hamish
Dan Shumow wrote new code for computing isogenies between elliptic curves, but it is still very rough around the edges. Fix it up. See e.g., http://trac.sagemath.org/sage_trac/ticket/6384
Siegel Theta Functions
PEOPLE: guardia, holuk, drkohel, rlmiller, preston
Multimodular reconstruction implementation
PEOPLE: clement, wstein, burcin, rlmiller, dloeffler, sebastian, brian
- CRT in rings/arith.py is unsanely slow
MultimodularBasis class is broken
Fix / Unify code / optimize the hell out of it
Add the early termination technique for the reconstruction of multiple values Apply it to Burcin's computation of nullspace over Z[x]
PEOPLE: Burcin Erocal, Clément Pernet
Minpoly over small finite field
PEOPLE: clement, michael, brian, preston, emmanuel
#6296 Implement a certified computation of minpoly over a small finite field.
PEOPLE: Clément Pernet
Refactor symbolic functions
PEOPLE: burcin, wstein, tom
Merge the PrimitiveFunction and SFunction classes in sage.symbolic.function and make it easier to define new special functions with custom evaluation, printing, etc. methods. This also involves adding capability to represent symbolic sums and integrals in Sage as a first step to adding native Sage code to deal with these.
M4RI: improvement of PLUQ factorization
Change/improve the slow columnswap in PLUQ factorization
PEOPLE: Martin Albrecht, Clément Pernet, christian, brian, haluk, wouter
LinBox wrappers
Rewrite LinBox wrappers using C++ wrappers of Cython directly
PEOPLE: Burcin Erocal, Clément Pernet, rlmiller, malb
Ray class groups and Groessencharacters
Implement computations of the ray class group modulo an ideal of a number field, and the corresponding character group.
PEOPLE: David Loeffler, rlmiller, wstein, dkohel, haluk, michael
Pari 2.4 Upgrade
- PEOPLE: wstein, dloeffler, hamish, michael
SAge notebook security
- PEOPLE: Yoav, malb
Texmacs --> Sage Worksheet converter
- PEOPLE: Offray
SPD (simple python distro)
- PEOPLE Offray