On 10/08/2014 04:07 PM, Bill Page wrote: > 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"?
I don't quite get your question. If I look at http://en.wikipedia.org/wiki/Simplicial_homology#Definition then one can implement a k-simplex as a (k+1)-tuple of its vertices. Instead of tuple one can probably model this with a list. A vertex one can probably represent by a symbol or a natural number. Then the above URL describes exactly what the k-th boundary operator should do on a simplex. That doesn't look hard to implement. You would have seen this yourself, so I probably have not understood what your actual question is. Where exactly do you see a problem in the implementation of simplicial complexes and/or simplicial k-chains? 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.
