code: def test_RecurrenceOperator():
      n = symbols("n", integer=True)
      R, Sn = RecurrenceOperators(QQ.old_poly_ring(n), "Sn")
      assert Sn * n == (n + 1) * Sn
      assert Sn * n**2 == (n**2 + 1 + 2 * n) * Sn
      assert Sn**2 * n**2 == (n**2 + 4 * n + 4) * Sn**2
      p = (Sn**3 * n**2 + Sn * n) ** 2
      q = (
          (n**2 + 3 * n + 2) * Sn**2
          + (2 * n**3 + 19 * n**2 + 57 * n + 52) * Sn**4
          + (n**4 + 18 * n**3 + 117 * n**2 + 324 * n + 324)
          * Sn**6
      )
      assert p == q
  
imports: from sympy.holonomic.recurrence import RecurrenceOperators, RecurrenceOperator
  from sympy.core.symbol import symbols
  from sympy.polys.domains.rationalfield import QQ
label_desc: Use image node_id 1 for calling a global function with example usage: test_RecurrenceOperator() without return types