type(obj) = <type 'sage.rings.polynomial.symmetric_reduction.SymmetricReductionStrategy'>
version = 4.0.alpha0
obj =
'Symmetric Reduction Strategy in Infinite polynomial ring in y over Rational Field, modulo
    y2*y1^2,
    y2^2*y1'
