Re: [sage-combinat-devel] Re: kronecker coefficient

2016-11-19 Thread Nicolas M. Thiery
On Wed, Nov 16, 2016 at 08:09:20AM -0800, Travis Scrimshaw wrote: >Perhaps Andrew can weigh in on putting Kronecker coefficients with >partition tuples, but it feels somewhat artificial to me. Instead, I >like the explicitness of the syntax >la.kronecker_coefficient(mu, nu) >and

[sage-combinat-devel] Re: kronecker coefficient

2016-11-16 Thread Travis Scrimshaw
Perhaps Andrew can weigh in on putting Kronecker coefficients with partition tuples, but it feels somewhat artificial to me. Instead, I like the explicitness of the syntax la.kronecker_coefficient(mu, nu) and/or having some (lazily imported) global namespace function of kronecker_coefficient (

[sage-combinat-devel] Re: kronecker coefficient

2016-11-14 Thread Amri
Mike's version with symmetrica is 20 times faster for 3 partitions of 5, 100 times faster for 3 partitions of 10. For partitions of 15, my version used up all my memory and I had to kill it. Mike's version was still very quick (11.8ms). Also, I think the syntax should be agreeable to both Dima

[sage-combinat-devel] Re: kronecker coefficient

2016-11-14 Thread Mike Zabrocki
I am not so sure that if you are explaining the definition that you want to state it in terms of "the multiplicity of the trivial..." It kind of depends on where you put this method. One place to consider is in the Partition class or in PartitionTuple class. For example: PartitionTuple([[3,1],[

[sage-combinat-devel] Re: kronecker coefficient

2016-11-14 Thread Dima Pasechnik
On Monday, November 14, 2016 at 10:44:35 AM UTC, Amri wrote: > > But you just add the "arbitrary irreducible" to your list: > > mult of la in mu\otimes nu = mult of triv in mu\otimes\nu\otimes la > > there is complete symmetry between the parameters. > Well, this still does not imply that one d

[sage-combinat-devel] Re: kronecker coefficient

2016-11-14 Thread Amri
But you just add the "arbitrary irreducible" to your list: mult of la in mu\otimes nu = mult of triv in mu\otimes\nu\otimes la there is complete symmetry between the parameters. On Monday, November 14, 2016 at 3:54:24 PM UTC+5:30, Dima Pasechnik wrote: > > > > On Monday, November 14, 2016 at 5:

[sage-combinat-devel] Re: kronecker coefficient

2016-11-14 Thread Dima Pasechnik
On Monday, November 14, 2016 at 5:36:19 AM UTC, Amri wrote: > > It would be nice to have a function for kronecker coefficients in sage. I > would be happy to implement it once I have some inputs on what would be the > best way/place. One definition of the kronecker coefficient is the > followi