Hi Bruce, On Fri, May 16, 2014 at 06:50:35AM -0700, Bruce wrote: > While I am here: I am constructing an infinite dimensional representation > of an algebra. > This means the next step for me is to construct operators on this vector > space (one for each integer) > and these operators will satisfy the Temperley-Lieb relations. > > I want to define each operator on the basis and then extend by linearity. > > Is there an existing category I could/should be using?
At this point (and except for the standard case of a vector space endowed with the action of the scalars) we only have experimental category code for spaces endowed with an action of an algebra/group/... I'd say you can just use the category ModulesWithBasis for your vector space, and define your operators as a bunch of morphisms constructed using module_morphism. Cheers, Nicolas -- Nicolas M. ThiƩry "Isil" <nthi...@users.sf.net> http://Nicolas.Thiery.name/ -- 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.