projects
There are many people contributing to Macaulay2 development, and we welcome help! This directory contains descriptions of projects that need doing, together with an indication of whether anyone is working on them currently.
If a project sounds interesting, before embarking on it talk to us and we'll register your interest and plans here. Check the Project assigned to and Current status fields in the project description, to see whether the project is unassigned or quiescent.
If you have a new project to propose, advertise it on the Macaulay2 google group to find out if anyone else is thinking about it. We may then ask you to write it up using this template, including appropriate references to the mathematical literature, so we can add it to the list here.
- absfac -- Absolute Factorization [2007 May 7 19:04:54 GMT]
- bertini -- interface M2 with bertini [2009 March 21 6:47:38 GMT]
- cohomology -- Cohomology [2009 March 21 6:47:38 GMT]
- comprehensiveGB-parametrizedGB-flatteningStrat -- Comprehensive (or Parametrized) Groebner bases [2009 October 18 9:00:03 GMT]
- connecting-homomorphism -- Connecting Homomorphisms [2009 March 21 6:47:38 GMT]
- convex-hulls -- convex hulls [2009 March 21 6:47:38 GMT]
- cup-products -- Cup products on Ext modules [2009 March 21 6:47:38 GMT]
- fpd-hulls -- Hulls of Finite Projective Dimension [2009 June 5 9:00:02 GMT]
- frobenius-multiplicities -- Frobenius Multiplicities [2009 June 5 9:00:02 GMT]
- functoriality -- functoriality / change of rings [2009 June 5 9:00:02 GMT]
- generic-initial-ideal -- Generic Initial Ideals [2008 February 4 15:51:23 GMT]
- graphical-models -- GraphicalModels [2011 July 27 9:00:05 GMT]
- groebner-fans -- Groebner fans [2009 March 21 6:47:38 GMT]
- groebner-walk -- Generic Groebner walk [2009 March 21 6:47:38 GMT]
- invariants -- Invariant Theory [2009 March 21 6:47:38 GMT]
- local -- Local rings [2009 March 21 6:47:38 GMT]
- moduli -- Intersection theory on moduli spaces of curves [2009 March 21 6:47:38 GMT]
- multi-proj-cohomology -- Cohomology of coherent sheaves for multi-proj of multi-graded rings and of projective toric varieties [2010 September 1 17:05:19 GMT]
- nauty -- Nauty Interface: automorphism groups of graphs [2010 September 1 17:05:19 GMT]
- noether-normalization -- Noether Normalization [2009 March 21 6:47:38 GMT]
- normalization2 -- Integral Closure my Way [2009 March 21 6:47:38 GMT]
- normalization -- Normalization [2009 March 21 6:47:38 GMT]
- parametrization -- Parametrization [2009 March 21 6:47:38 GMT]
- phcpack -- interfacing M2 with PHCpack [2011 July 27 9:00:05 GMT]
- points -- Points over small fields [2009 January 29 19:58:20 GMT]
- polymake -- Polymake [2009 March 21 6:47:38 GMT]
- posets -- Posets [2009 August 1 9:00:01 GMT]
- primary-decomposition -- Primary Decomposition via GTZ [2009 March 21 6:47:38 GMT]
- pushforward -- Pushforward [2009 March 21 6:47:38 GMT]
- quillen-suslin -- Quillen-Suslin [2010 January 11 10:00:01 GMT]
- resolution -- Resolution of Singularities [2009 March 21 6:47:38 GMT]
- resultants -- Resultants, discriminants, and Chow forms [2011 January 13 10:00:04 GMT]
- r-and-macaulay2 -- R and Macaulay2 [2011 July 27 9:00:05 GMT]
- schubert -- Schubert [2009 March 21 6:47:38 GMT]
- schur -- Schur polynomials [2009 March 21 6:47:38 GMT]
- solving -- Solving Equations [2007 January 10 15:19:27 GMT]
- surfaces -- Minimal Models [2009 March 21 6:47:38 GMT]
- undergraduate-integralClosure -- Test and improve integral closure code [2009 March 21 6:47:38 GMT]
- undergraduate-primaryDecomposition -- Test and improve primary decomposition code [2009 March 21 6:47:38 GMT]
Here is the mailing list of potential advisors.
- Wolfram Decker <decker@math.uni-sb.de>
- Frank Schreyer <schreyer@math.uni-sb.de>
- Sorin Popescu <sorin@math.sunysb.edu>
- David Eisenbud <de@msri.org>
- Greg Smith <ggsmith@mast.queensu.ca>
- Dan Grayson <dan@math.uiuc.edu>
- Mike Stillman <mike@math.cornell.edu>