answered 5 years ago
In SageMath 9.0:
sage: A.<x,y> = InfinitePolynomialRing(QQ) sage: g=x[0]+x[1]+y[0] sage: g.variables() (x_1, x_0, y_0)