code: def genprime(n, K):
      return K(nextprime(int((2**n * pi).evalf())))
  
file_path: sympy/sympy/polys/benchmarks/bench_galoispolys.py
imports: from sympy.polys.galoistools import gf_from_dict, gf_factor_sqf
  from sympy.polys.domains import ZZ
  from sympy.core.numbers import pi
  from sympy.ntheory.generate import nextprime
label_desc: Use image node_id 3 for calling a global function with example usage: genprime(n, K) and returns: K