Ralf, I would be interested if you could elaborate on this idea. Yes, MonoidRing looks like it should be relevant and I agree that in the development of functionality in a new area like DifferentalGeometry one should be aware of and integrate where possible existing related domains, e.g. FriCAS already has significant support for Lie algebra. Where do you think we should look for a possible "boundary operator"?
Bill. On 8 October 2014 03:31, Ralf Hemmecke <[email protected]> wrote: > On 10/07/2014 09:49 PM, Kurt Pagani wrote: >> I'm glad to hear. Maybe you could think about (or more if time allows ;) >> how to implement simplices in the spirit of >> http://en.wikipedia.org/wiki/Simplicial_homology such that one has for >> instance formal sums of simplexes with integer coefficients (chains) >> analogously to sums of differential forms in deRham (cochains)? > > Wouldn't that be easy? > > http://fricas.github.io/api/MonoidRing.html > > Maybe you'd have to implement k-chains as well with the help of > > http://fricas.github.io/api/FreeGroup.html > > It doesn't look too hard to also include the boundary operator. > > In fact, I wonder whether this isn't already in FriCAS. > > Ralf > > > -- > You received this message because you are subscribed to the Google Groups > "FriCAS - computer algebra system" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To post to this group, send email to [email protected]. > Visit this group at http://groups.google.com/group/fricas-devel. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
