Does sage support manipulating multi-symmetric functions/polynomials and/or multi-partitions? Multi-symmetric functions are like the usual symmetric ones, except the symmetric group acts by permuting "vectors" of variables simultaneously, e.g. for an two vectors $x=(x_1,x_2\dotsc), y=(y_1,y_2,\dotsc)$, $\Sigma_2$, acts by permuting $x,y$. A multi-partition of a $n$-tuple $B=(b_1,\dotsc,b_n)$ of natural numbers is a unordered set of $n$-tuples $A_1,\dotsc,A_l$ with $A_1 + \dotsm + A_l = B$.
I'd like to have a combinatorial class of multi-partitions with similar functionality as partitions, e.g. .first()
, .last()
methods and iter()
. I'd also like to have a class like SymmetricFunctionAlgebra
, but with multi-symmetric functions instead. I've had a bit of a poke around and there's some functionality in Maxima (in the Sym) package that might help, but not quite like what I want (that I can find). So, before writing code, I'm asking here.
If the code needs to be written, I'm quite keen to make it my first (hopefully of many) contribution to sage...