code: def test_str():
      # Without alias:
      k = QQ.alg_field_from_poly(Poly(x**2 + 7))
      frp = k.primes_above(2)[0]
      assert str(frp) == "(2, 3*_x/2 + 1/2)"
  
      frp = k.primes_above(3)[0]
      assert str(frp) == "(3)"
  
      # With alias:
      k = QQ.alg_field_from_poly(Poly(x**2 + 7), alias="alpha")
      frp = k.primes_above(2)[0]
      assert str(frp) == "(2, 3*alpha/2 + 1/2)"
  
      frp = k.primes_above(3)[0]
      assert str(frp) == "(3)"
  
imports: from math import prod
  from sympy import QQ, ZZ
  from sympy.abc import x, theta
  from sympy.ntheory import factorint
  from sympy.ntheory.residue_ntheory import n_order
  from sympy.polys import Poly, cyclotomic_poly
  from sympy.polys.matrices import DomainMatrix
  from sympy.polys.numberfields.basis import round_two
  from sympy.polys.numberfields.exceptions import StructureError
  from sympy.polys.numberfields.modules import PowerBasis, to_col
  from sympy.polys.numberfields.primes import prime_decomp, _two_elt_rep, _check_formal_conditions_for_maximal_order
  from sympy.testing.pytest import raises
label_desc: Use image node_id 14 for calling a global function with example usage: test_str() without return types