On Tuesday, 11 November 2014 01:08:08 UTC+11, Nicolas M. Thiery wrote: > > > Another approach is to have a single parent, with elements having > potentially several internal representations, and coercions being > handled internally as well. That's what Éric is using in > Sage-Manifolds: > > http://sagemanifolds.obspm.fr/ > > > put all of this code in a new directory > sage.algebras.iwahoriheckeagebras/ > > Hi Nicolas, >
Can you give me some more precise pointers as to where to look inside sage-manifolds -- it's quite a large chunk of code. One of the things that I don't like about (my understanding of) the CombinatorialFreeModule approach to modules is that it is very hard for the (uneducated/unenlightened/unwashed) user to construct their own bases for modules: To construct a new basis you have to explicitly define it using realisations hidden deep inside the code, together with the appropriate coercion maps and I think that the average user won't be able to do this. It would be nice if this provided a mechanism for doing this. Andrew -- You received this message because you are subscribed to the Google Groups "sage-combinat-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-combinat-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-combinat-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-combinat-devel. For more options, visit https://groups.google.com/d/optout.