type(obj) = <class 'sage.rings.polynomial.symmetric_ideal.SymmetricIdeal'>
version = 4.0.alpha0
obj =
'Symmetric Ideal (y2^2 + x1^2, y4*x1 + y3*x2*x1) of Infinite polynomial ring in x, y over Rational Field'
