def METHOD_NAME():
    sT(ZZ.inject('x'), f"UnivarPolynomialRing({ZZ!r}, (Symbol('x'),), LexOrder())")
    sT(QQ.poly_ring('x', 'y', order=grlex),
       f"PolynomialRing({QQ!r}, (Symbol('x'), Symbol('y')), GradedLexOrder())")
    sT(ZZ.inject('x', 'y', 'z', 't').eject('t'),
       f"PolynomialRing(UnivarPolynomialRing({ZZ!r}, (Symbol('t'),), "
       "LexOrder()), (Symbol('x'), Symbol('y'), Symbol('z')), LexOrder())")