Re: [sage-combinat-devel] Crystal cleanup

2010-02-01 Thread Anne Schilling
Good morning, Nicolas! I finalized the new crystal patches (affine-E-as.patch, affine-E-revised-as.patch). I left the facade = True option for direct sums when no crystal is repeated. Also, HighestWeightCrystals now only takes one weight as input. In the process I removed the __class__ method whi

Re: [sage-combinat-devel] Re: Crystal cleanup

2010-02-01 Thread Nicolas M. Thiery
On Sun, Jan 31, 2010 at 11:00:01PM -0800, Anne Schilling wrote: > Actually, affine.py is more of a "helper" file for kirillov_reshetikhin.py > where all references are listed. Is this sufficient or do you also want them > listed here (or a reference to kirillov_reshetikhin.py in this file)? It fee

Re: [sage-combinat-devel] Re: Crystal cleanup

2010-02-01 Thread Nicolas M. Thiery
On Mon, Feb 01, 2010 at 09:33:20AM -0800, Anne Schilling wrote: > sage: K = KirillovReshetikhinCrystal(['A',2,1],1,1) > sage: L = KirillovReshetikhinCrystal(['A',2,1],1,2) > sage: f = K.R_matrix(L) > sage: [[b,f(b)] for b in TensorProductOfCrystals(K,L)] > ... > sage: K = KirillovReshetikhinCrystal

Re: [sage-combinat-devel] Crystal cleanup

2010-02-01 Thread Nicolas M. Thiery
Hello! On Mon, Feb 01, 2010 at 09:24:05AM -0800, Anne Schilling wrote: > You say this since the elements in the direct sum will have different > parents depending in which B_i they sit in? I guess turning > facade = False should fix this problem. Indeed. But there will be a price to pay:

Re: [sage-combinat-devel] Re: Crystal cleanup

2010-02-01 Thread Anne Schilling
Dear Dan, I suppose it is easiest for everyone to add it to the upcoming patch. Ok! What is the combinatorial R-matrix? The combinatorial R-matrix is an affine crystal isomorphisms R: K \otimes L \to L \otimes K where K and L are Kirillov-Reshetikhin crystals. It maps u_

Re: [sage-combinat-devel] Crystal cleanup

2010-02-01 Thread Anne Schilling
Hello Nicolas, Hmm, I would say not quite. But we can discuss this later on. You say this since the elements in the direct sum will have different parents depending in which B_i they sit in? I guess turning facade = False should fix this problem. Some other questions I had last night which I

Re: [sage-combinat-devel] Crystal cleanup

2010-02-01 Thread Nicolas M. Thiery
Good morning Anne! On Mon, Feb 01, 2010 at 07:48:07AM -0800, Anne Schilling wrote: > >Just one thing though: with facade = True, the elements of the crystal > >won't know that their parent is the direct sum crystal. This may, or > >may not, be a problem in practice. It's a good occasion to

Re: [sage-combinat-devel] Re: Crystal cleanup

2010-02-01 Thread Nicolas M. Thiery
On Mon, Feb 01, 2010 at 07:35:06AM -0800, bump wrote: > I did not notice until now that the patch supposedly depends on > #8028. I applied the patch to unmodified 4.3.1 and ran Sage > --testall and got no failures. I can do it again with #8028 applied > first, but let me ask what is the nature of t

Re: [sage-combinat-devel] Crystal cleanup

2010-02-01 Thread Anne Schilling
Nicolas M. Thiery wrote: On Sun, Jan 31, 2010 at 10:28:11PM -0800, Anne Schilling wrote: I have implemented the direct sum of crystals in the patch crystal-hw-as.patch. The good news is that in the case when there are no multiplicities in the B_i, one can use the options keepkey = False, facade

[sage-combinat-devel] Re: Crystal cleanup

2010-02-01 Thread bump
I wrote: > I checked that the patch trac_7978_crystal_cleanup-as.2.patch > passes sage --testall. I did not notice until now that the patch supposedly depends on #8028. I applied the patch to unmodified 4.3.1 and ran Sage --testall and got no failures. I can do it again with #8028 applied first,

[sage-combinat-devel] Re: Crystal cleanup

2010-02-01 Thread bump
I suppose it is easiest for everyone to add it to the upcoming patch. What is the combinatorial R-matrix? > I can certainly add more references and explanation for affine.py. > Do you prefer this in 7978 or can I add this in the new upcoming patch? > > Best wishes, > > Anne -- You received this

Re: [sage-combinat-devel] Crystal cleanup

2010-02-01 Thread Nicolas M. Thiery
On Sun, Jan 31, 2010 at 10:28:11PM -0800, Anne Schilling wrote: > I have implemented the direct sum of crystals in the patch > crystal-hw-as.patch. > > The good news is that in the case when there are no multiplicities in the B_i, > one can use the options keepkey = False, facade = True > and the