Re: [sage-combinat-devel] Making code for some seminormal representations faster

2014-11-06 Thread Travis Scrimshaw
> On Friday, 7 November 2014 03:56:16 UTC+11, Nicolas M. Thiery wrote: > >> >> This might be the occasion to add a ``cartan type'' for G(r,1,n). >> > > Implementing these algebras properly would be painful...however, > implementing their action on a representation in terms of the natural > gen

Re: [sage-combinat-devel] Making code for some seminormal representations faster

2014-11-06 Thread Anne Schilling
Hi Andrew, > Then there are other annoyances in that the seminormal representations for > the algebras with different quadratic relations, for example > $(T_r-q)(T_r+1)=0$, $(T_r-q)(T_r+q^{-1})=0$ or > $(T_r-q)(T_r+v)=0$, are all different and, of course, there are several > different flavours

Re: [sage-combinat-devel] Making code for some seminormal representations faster

2014-11-06 Thread Andrew
On Friday, 7 November 2014 03:56:16 UTC+11, Nicolas M. Thiery wrote: > > This might be the occasion to add a ``cartan type'' for G(r,1,n). > Implementing these algebras properly would be painful...however, implementing their action on a representation in terms of the natural generators is no

Re: [sage-combinat-devel] Making code for some seminormal representations faster

2014-11-06 Thread Andrew
``_rmul_`` and ``_lmul_`` (it's the module element (i.e., ``self``) on the right or left respectively), and (somewhat unfortunately) I think you need to also inherit from ModuleElement (or copy the ``__mul__`` method). > > Or is it preferred to use ``_acted_upon_`` (see in > CombinatorialFreeMo

Re: [sage-combinat-devel] Making code for some seminormal representations faster

2014-11-06 Thread Nicolas M. Thiery
On Thu, Nov 06, 2014 at 01:04:30AM -0800, Andrew wrote: >Yes, you're right, this is almost certainly on the roadmap. In any >case, as Nicolas and Travis are both in favour I'll try and make time >to properly wrap and prettify the code, create a ticket and push it to >git and trac or

Re: [sage-combinat-devel] Making code for some seminormal representations faster

2014-11-06 Thread Travis Scrimshaw
``_rmul_`` and ``_lmul_`` (it's the module element (i.e., ``self``) on the right or left respectively), and (somewhat unfortunately) I think you need to also inherit from ModuleElement (or copy the ``__mul__`` method). Or is it preferred to use ``_acted_upon_`` (see in CombinatorialFreeModule)?

Re: [sage-combinat-devel] Making code for some seminormal representations faster

2014-11-06 Thread Andrew
Dear Bruce and Travis, Thanks for your suggestions. I realised after reading your posts that a much better way to construct my coefficient ring is to start with a polynomial ring over Q(q) with n+1 indeterminants and then quotient out by a suitable ideal. This constructs the ring directly and