On Jan 19, 5:44 am, David Joyner <wdjoy...@gmail.com> wrote: > On Mon, Jan 19, 2009 at 1:40 AM, John H Palmieri <jhpalmier...@gmail.com> > wrote: > > You are not stepping on any toes AFAIK but doesn't the GAP package HAP > implement something like this?http://www.gap-system.org/Packages/hap.html
This does seem to do homology of chain complexes, but nothing about simplicial complexes. There is also a different GAP package, <http://linalg.org/gap.html> but to install it you need the GNU Pascal compiler, and I decided that I didn't want to install that. > Maybe most of what he does requires a group action but there is this > example:http://hamilton.nuigalway.ie/Hap/www/SideLinks/About/aboutTensorSquar... > (Not that I know a lot about the subject but isn't this the > kind of homology you are dealing with?) Anyway, he told me that there > are some resolutions which are "exponentially slow" and some which > are not so slow and I believe he has thought long and hard about > computing such things as quickly as possible. So it might be worth a look > if you don't know it already. I think I'm doing things which are more naive: computing the homology of a chain complex is simpler, conceptually, than computing the homology of a specific space or group, because to do this you might be able to first carefully choose a chain complex, then compute its homology, and choosing the chain complex might require planning and thought and things like that. But I'll take a look at this. > In any case, it's nice to have another version, especially in Python/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 -~----------~----~----~----~------~----~------~--~---
