code: def test_FiniteExtension_exquo():
      # Test exquo
      K = FiniteExtension(Poly(x**4 + 1))
      xf = K(x)
      assert K.exquo(xf**2 - 1, xf - 1) == xf + 1
  
file_path: sympy/sympy/polys/agca/tests/test_extensions.py
imports: from sympy.core.symbol import symbols
  from sympy.functions.elementary.trigonometric import cos, sin
  from sympy.polys import QQ, ZZ
  from sympy.polys.polytools import Poly
  from sympy.polys.polyerrors import NotInvertible
  from sympy.polys.agca.extensions import FiniteExtension
  from sympy.polys.domainmatrix import DomainMatrix
  from sympy.testing.pytest import raises
  from sympy.abc import x, y, t
label_desc: Use image node_id 6 for calling a global function with example usage: test_FiniteExtension_exquo() without return types