Implement mapping symmetric polynomial to Laurent polynomial
How can you implement transforming a symmetric polynomial into a Laurent polynomial by mapping some variables to the inverses of others? In other words, given, say, a polynomial in x0,y0,x1,y1, how can we output this polynomial under the map sending yi to x−1i? I'm specifically looking to apply this to Hall-Littlewood polynomials if that helps.