Maxima Function
tcontract (pol, lvar)
tests if the polynomial pol is symmetric in the variables of the list lvar. If so, it returns a contracted representation like the function contract.
contract