code: def test_quotient():
      # SCA, example 1.8.13
      R = QQ.old_poly_ring(x, y, z)
      assert R.ideal(x, y).quotient(R.ideal(y**2, z)) == R.ideal(x, y)
  
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 6 for calling a global function with example usage: test_quotient() without return types