On Mon, Nov 30, 2009 at 02:28:57AM -0800, William Stein wrote: > Hi, > > I've posted a new version of the compmath proposal here: > > http://wstein.org/grants/compmath09/project_summary.pdf > http://wstein.org/grants/compmath09/project_description.pdf > http://wstein.org/grants/compmath09/references_cited.pdf > > This is basically the final version, though I could probably fix some > typos. So if you read it and see typos, let me know. If you see > anything technically seriously wrong/stupid, also let me know. >
I have a couple of comments on the topology section. 1. I don't understand the first sentence: "Sage currently has fairly sophisticated support for topology, and we would like to push both further." What does "both" refer to? Both Sage and topology? It sounds weird. 2. "homotopy theorists only care about 1-dimensional formal group laws". This is true to some extent due to the applications they have in mind, but I think that recent work by Mark Behrens and others on topological automorphic forms involves higher-dimensional fgl's. 3. "In general, we intend to implement free modules, projective modules, and injective modules over arbitrary rings, and we intend to implement resolutions and derived functors. Where possible, we also intend to implement methods of computing resolutions" my comment here: excellent!!! this will also be great to have for improving the algebraic geometry functionality! Good luck! Alex -- Alex Ghitza -- Lecturer in Mathematics -- The University of Melbourne -- Australia -- http://www.ms.unimelb.edu.au/~aghitza/ -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org