[sage-devel] Re: simplicial complexes, chain complexes, and their homology

2009-01-18 Thread William Stein
On Sun, Jan 18, 2009 at 10:40 PM, John H Palmieri wrote: > > 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 b

[sage-devel] Re: simplicial complexes, chain complexes, and their homology

2009-01-19 Thread Carlo Hamalainen
On Mon, Jan 19, 2009 at 7:40 AM, John H Palmieri wrote: > I have a first draft of a module which implements simplicial > complexes, chain complexes, and their homology. Cool! Is there anything in CHomP that may be of use to you? http://chomp.rutgers.edu/software/ It's GPL v2, mostly C++. It h

[sage-devel] Re: simplicial complexes, chain complexes, and their homology

2009-01-19 Thread David Joyner
On Mon, Jan 19, 2009 at 1:40 AM, John H Palmieri wrote: > > 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

[sage-devel] Re: simplicial complexes, chain complexes, and their homology

2009-01-19 Thread mhampton
It would be very cool to have CHomP in Sage. I think John's focus is more on pure math, and my understanding of CHomP is that it is aimed more at dynamical systems and symbolic-numeric applications, but there is probably some overlap. At any rate, it would really help the current state of dynami

[sage-devel] Re: simplicial complexes, chain complexes, and their homology

2009-01-19 Thread John H Palmieri
On Jan 18, 10:46 pm, William Stein wrote: > On Sun, Jan 18, 2009 at 10:40 PM, John H Palmieri > > > > wrote: > > > 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 w

[sage-devel] Re: simplicial complexes, chain complexes, and their homology

2009-01-19 Thread John H Palmieri
On Jan 19, 12:14 am, Carlo Hamalainen wrote: > On Mon, Jan 19, 2009 at 7:40 AM, John H Palmieri > wrote: > > > I have a first draft of a module which implements simplicial > > complexes, chain complexes, and their homology. > > Cool! > > Is there anything in CHomP that may be of use to you? >

[sage-devel] Re: simplicial complexes, chain complexes, and their homology

2009-01-19 Thread John H Palmieri
On Jan 19, 5:44 am, David Joyner wrote: > On Mon, Jan 19, 2009 at 1:40 AM, John H Palmieri > 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 comp

[sage-devel] Re: simplicial complexes, chain complexes, and their homology

2009-01-19 Thread Robert Miller
Magma also supports chain complexes: http://magma.maths.usyd.edu.au/magma/htmlhelp/text625.htm --~--~-~--~~~---~--~~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to sage-devel-unsubscr...@googlegroup

[sage-devel] Re: simplicial complexes, chain complexes, and their homology

2009-01-19 Thread Simon King
Hi! There seems to be an extension for Polymake that can compute simplicial homology. Quoted from http://www.math.tu-berlin.de/polymake/external.html homology by Frank Heckenbach, Uni Erlangen-Nürnberg An efficient program computing homology groups of simplicial complexes. Unfortunatel

[sage-devel] Re: simplicial complexes, chain complexes, and their homology

2009-01-20 Thread Michael Brickenstein
I don't know the lib, but there exists homolog.lib in Singular: http://www.singular.uni-kl.de/Manual/latest/sing_763.htm#SEC822 (Link is assumed to break, when docs are updated) Michael --~--~-~--~~~---~--~~ To post to this group, send email to sage-devel@googlegr

[sage-devel] Re: simplicial complexes, chain complexes, and their homology

2009-01-20 Thread Simon King
Hi Michael, Michael Brickenstein schrieb: > I don't know the lib, > but there exists homolog.lib in Singular: > http://www.singular.uni-kl.de/Manual/latest/sing_763.htm#SEC822 > (Link is assumed to break, when docs are updated) I don't know much about that library either, but it seems to not pro

[sage-devel] Re: simplicial complexes, chain complexes, and their homology

2009-01-24 Thread John H Palmieri
Let me follow up on this discussion: I looked at some papers on computing simplicial homology (including what seems like a pretty nice one by Dumas, Heckenbach, Saunders, and Welker, the authors of a GAP package for homology computations). These papers are all focused on Smith normal form, which

[sage-devel] Re: simplicial complexes, chain complexes, and their homology

2009-02-26 Thread John H Palmieri
There is now a patch on the trac server implementing simplicial complexes and their homology: John --~--~-~--~~~---~--~~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this g