code: def test_reduction():
      from sympy.polys.distributedmodules import (
          sdm_nf_buchberger_reduced,
      )
  
      R = QQ.old_poly_ring(x, y)
      I = R.ideal(x**5, y)
      e = R.convert(x**3 + y**2)
      assert I.reduce_element(e) == e
      assert I.reduce_element(
          e, NF=sdm_nf_buchberger_reduced
      ) == R.convert(x**3)
  
file_path: sympy/sympy/polys/agca/tests/test_ideals.py
imports: from sympy.polys import QQ, ilex
  from sympy.abc import x, y, z
  from sympy.testing.pytest import raises
label_desc: Use image node_id 7 for calling a global function with example usage: test_reduction() without return types