Re: [sage-combinat-devel] expanding in symmetric functions (revisited)

2014-03-04 Thread Mark Shimozono
Dan, > The denominators are mostly vandermondes. However, there is something in > type C (symplectic) which will have a vandermonde in the x's and a Weyl > type C denominator in the y's. But that's probably a subject for a > different email altogether, because multivariate Laurent power series

Re: [sage-combinat-devel] expanding in symmetric functions (revisited)

2014-03-04 Thread Dan Betea
Hi Mark, Travis and Darij, @ Travis: Thanks for catching the SR bug and for pointing me to the fact pfaffian is now implemented in sage. Last time I checked (not so recently), it wasn't:) @ Mark: As I said, the denominators that *are not* power series are vandermondes or C Weyl denominators. F

Re: [sage-combinat-devel] expanding in symmetric functions (revisited)

2014-03-04 Thread Dan Betea
On Tuesday, March 4, 2014 5:16:14 PM UTC+1, Mark Shimozono wrote: > > Dan, > > Before giving any "sage advice" I need to know how bad the > "real denominators" will get. > > A special trick can be used if the denominators are limited to > (x_i - x_j). > The denominators are mostly vandermon

Re: [sage-combinat-devel] expanding in symmetric functions (revisited)

2014-03-04 Thread Mark Shimozono
Um, Sorry! In preparation for converting to symmetric polynomials I had used an iterated polynomial ring Rt = QQ['t'] Ry = Rt['y1,y2,y3'] R = Ry['x1,x2,x3'] and the fraction field of the ring R is not smart enough to divide by x1-x2 in general. If you use the polynomial ring S = QQ['x1,x2,x3,

Re: [sage-combinat-devel] expanding in symmetric functions (revisited)

2014-03-04 Thread Darij Grinberg
Hi Mark, > Someone correct me if I am ignorant, but > even after fixing syntax errors, the problem will be that multivariate > polynomials > don't know when they are divisible by things like x_i - x_j. Really? sage: P Multivariate Polynomial Ring in x, y over Rational Field sage: P.inject_varia

Re: [sage-combinat-devel] expanding in symmetric functions (revisited)

2014-03-04 Thread Mark Shimozono
Dan, Someone correct me if I am ignorant, but even after fixing syntax errors, the problem will be that multivariate polynomials don't know when they are divisible by things like x_i - x_j. --Mark -- You received this message because you are subscribed to the Google Groups "sage-combinat-dev

Re: [sage-combinat-devel] expanding in symmetric functions (revisited)

2014-03-04 Thread Mark Shimozono
Dan, Before giving any "sage advice" I need to know how bad the "real denominators" will get. A special trick can be used if the denominators are limited to (x_i - x_j). Your toy example involves (1 - t x_i y_j)^{-1} which is no problem at all using geometric series in an extra variable. --Mark

[sage-combinat-devel] expanding in symmetric functions (revisited)

2014-03-04 Thread Dan Betea
Hi all, Sorry for asking a somewhat related question to one I asked a while ago, but I find myself in the situation of trying to expand a certain multivariate symmetric series (polynomial after cutoff) in certain classes of symmetric functions and can't seem to get it working. The following i