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.
