Maxima Function
tpartpol (pol, lvar)
tests if the polynomial pol is symmetric in the variables of the list lvar. If so, it returns its partitioned representation like the function partpol.
partpol