Hi Simon, On Feb 11, 6:52 am, Simon King <k...@mathematik.uni-jena.de> wrote: > Dear sage developers, > > some people, including myself, believe that Sage should contain more > tools for topology. E.g., there was a > threadhttp://groups.google.com/group/sage-devel/browse_thread/thread/5bd11c... > about simplicial complexes and their homology. > > John Palmieri has sent a post to some algebraic topology list (https:// > lists.lehigh.edu/mailman/listinfo/algtop-l), pointed the people to > Sage and asked for contribution. Thank you, John! > > Being subscriber of that list, I added that one way to contribute is > to point us to existing software packages.
This was a good point; thank you for bringing it up. > Here are three suggestions: > 1. Simplicial complexes / Homology (see thread above) > I asked Frank Lutz, and he said that Polymake had a module 'topaz' > that can compute homology. However, in a recent Polymake upgrade, > topaz was removed from the distribution, due to some compiler problem. > So, it might make sense to wait for on upgrade of topaz. I have a package pretty much ready for inclusion into Sage: see <http://sage.math.washington.edu/home/palmieri/homology.patch>. (I'll open up a trac ticket for it in a week or two.) I can see at least two directions to go (e.g. at Sage Days 15): clean up and speed up this code, and/or work on incorporating Polymake/topaz or one of the other packages out there which does simplicial homology. > 4. I found a link to a list of topology related > software:http://www.math.uiuc.edu/~nmd/computop/ > Some of these might be interesting. I agree. Another direction: compute Ext groups over connected algebras, especially Ext over the Steenrod algebra, since this is the E_2-term of the Adams spectral sequence. Bob Bruner has C code which does this, and he is very interested in porting it to Sage or writing an interface between it and Sage. John --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
