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

2014-11-10 Thread Travis Scrimshaw
Hey Andrew, 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 de

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

2014-11-10 Thread Andrew
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: > >

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

2014-11-10 Thread Anne Schilling
On 11/10/14 2:47 PM, Andrew wrote: > > > On Tuesday, 11 November 2014 01:08:08 UTC+11, Nicolas M. Thiery wrote: > > On Thu, Nov 06, 2014 at 04:51:40PM -0800, Anne Schilling wrote: > > Wouldn't it make most sense to use the quadratic relation > > > > $(T_r-q)(T_r-v)=0$ > > >

Re: [sage-combinat-devel] Re: Left and right cells of Coxeter groups

2014-11-10 Thread Andrew
On Tuesday, 11 November 2014 00:42:58 UTC+11, Jean Michel wrote: > > You should look at the latest version of chevie > > http://webusers.imj-prg.fr/~jean.michel/gap3/gap3-jm4.tar.gz > > or > > http://webusers.imj-prg.fr/~jean.michel/gap3/gap3-jm5.tar.gz > > where I implemented the latest stuf

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

2014-11-10 Thread Andrew
On Tuesday, 11 November 2014 01:08:08 UTC+11, Nicolas M. Thiery wrote: > > On Thu, Nov 06, 2014 at 04:51:40PM -0800, Anne Schilling wrote: > > Wouldn't it make most sense to use the quadratic relation > > > > $(T_r-q)(T_r-v)=0$ > > > > since the other ones can be obtained by appropriate spec

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

2014-11-10 Thread Nicolas M. Thiery
On Thu, Nov 06, 2014 at 04:51:40PM -0800, Anne Schilling wrote: > Wouldn't it make most sense to use the quadratic relation > > $(T_r-q)(T_r-v)=0$ > > since the other ones can be obtained by appropriate specialization? I definitely vote for this as well. That's what Alain always recommended to m

Re: [sage-combinat-devel] Re: Left and right cells of Coxeter groups

2014-11-10 Thread Jean Michel
Dear Andrew, On Mon, Nov 10, 2014 at 04:24:40AM -0800, Andrew wrote: > > Yes, I agree, using coxeter3 will almost certainly be much more efficient. > I had a brief look at this and thought it looked two hard since I have only > a fleeting interest in this:) > > In terms of syntax, chevie has a

Re: [sage-combinat-devel] Re: Left and right cells of Coxeter groups

2014-11-10 Thread Andrew
Hi Nicolas, Yes, I agree, using coxeter3 will almost certainly be much more efficient. I had a brief look at this and thought it looked two hard since I have only a fleeting interest in this:) In terms of syntax, chevie has a *LeftCells* function that returns all of the cells of the Coxeter gr

Re: [sage-combinat-devel] Re: Left and right cells of Coxeter groups

2014-11-10 Thread Nicolas M. Thiery
On Mon, Nov 10, 2014 at 02:28:15AM -0800, Andrew wrote: >OK, I have figured out how to make left cells but now the question is >where to put this? Thanks for investigating! I guess this would be a cell method of Coxeter groups, possibly only provided by certain implementations. Would you h

[sage-combinat-devel] Re: Left and right cells of Coxeter groups

2014-11-10 Thread Andrew
OK, I have figured out how to make left cells but now the question is where to put 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-com

[sage-combinat-devel] Re: Left and right cells of Coxeter groups

2014-11-10 Thread Andrew
HI Travis, I found this and I also managed to get a list of cells directly from Chevie but I haven't yet worked out how to convert this into something that sage recognises. I know that I have done this before, but I've forgotten:) Will investigate further. Andrew On Monday, 10 November 2014 1