code: def test_modgcd_func_field():
      D, t = ring("t", ZZ)
      R, x, z = ring("x, z", D)
  
      minpoly = (z**2 * t**2 + z**2 * t - 1).drop(0)
      f, g = x + 1, x - 1
  
      assert _func_field_modgcd_m(f, g, minpoly) == R.one
  
file_path: sympy/sympy/polys/tests/test_modulargcd.py
imports: from sympy.polys.rings import ring
  from sympy.polys.domains import ZZ, QQ, AlgebraicField
  from sympy.polys.modulargcd import modgcd_univariate, modgcd_bivariate, _chinese_remainder_reconstruction_multivariate, modgcd_multivariate, _to_ZZ_poly, _to_ANP_poly, func_field_modgcd, _func_field_modgcd_m
  from sympy.functions.elementary.miscellaneous import sqrt
label_desc: Use image node_id 7 for calling a global function with example usage: test_modgcd_func_field() without return types