Sage Days 16 Project Idea Page

Create a Cython class for points on elliptic curves and optimize basic arithmetic

PEOPLE: William Stein, wouter, dkohel

Create elliptic curve classes for elliptic curve models in the Explicit-Formulas Database

PEOPLE: David Kohel, Wouter Castryck

(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

Multisets

PEOPLE: dkohel, rlmiller, brian

Optimize/better document/generally improve graph theory library in Sage

PEOPLE: Robert Miller

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, wstein

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.

There were several algorithms created - Edmonds-Karp (tom, michal), Push-Relabel (from wikipedia - brian - now optimizing the code), Dinic (tom - performs better on dense graph, needs? improvement), Malhotra, Pramodh Kumar, and Maheshwari's (MPM - michal - not yet finished) and some general framework (tom still? working on it)

Frobenius number and genus of numerical semigroups using toric Grobner bases

PEOPLE: Bjarke Hammersholt Roune

A Cython interface to Frobby was written and submitted to track along with an spkg. A preexisting command-line based interface to 4ti2 by Mike Hansen that was floating around was improved and submitted to trac. This allowed the easy implementation of the Frobenius number computation, while time ran out on coding the genus, though this should not be too hard to do.

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, schulze-pillot

See http://trac.sagemath.org/sage_trac/ticket/6371 for code that calculates classical theta functions, their derivatives, and some related functions I'm interested in, to arbitrary precision.

Multimodular reconstruction implementation

PEOPLE: clement, wstein, burcin, rlmiller, dloeffler, sebastian, brian

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

PEOPLE: Martin Albrecht, Clément Pernet

Change/improve the slow column swap in PLUQ factorization

lqup-vs-pluq.png

m4ri-pluq-sparse-ish.png m4ri-dense-10.png m4ri-dense-20.png m4ri-dense-30.png

LinBox wrappers

Timings: Multiplying 3000x3000 matrices over GF(101)

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

Sage notebook security

Texmacs --> Sage Worksheet converter

SPD (simple python distro)

days16/projects (last edited 2009-06-27 14:41:17 by BurcinErocal)