I have a first draft of a module which implements simplicial complexes, chain complexes, and their homology. It isn't perfect: it is limited by Sage's abilities to deal with modules over arbitrary commutative rings, or at least by my knowledge of Sage's abilities. Thus for example, you can define a chain complex over a polynomial ring on one or several variables, but you probably can't compute its homology very reliably.
I would appreciate comments, and eventually I hope to submit it to the trac server. (I tried searching the various Sage groups to see if anyone was working on similar stuff and didn't find anything. I hope I'm not stepping on any toes.) See the file 'http://sage.math.washington.edu/home/palmieri/ homology.patch' for more. 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 -~----------~----~----~----~------~----~------~--~---