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
-~----------~----~----~----~------~----~------~--~---

Reply via email to