code: def test_FracElement___add__():
      F, x, y = field("x,y", QQ)
  
      f, g = 1 / x, 1 / y
      assert f + g == g + f == (x + y) / (x * y)
  
      assert x + F.ring.gens[0] == F.ring.gens[0] + x == 2 * x
  
      F, x, y = field("x,y", ZZ)
      assert x + 3 == 3 + x
      assert x + QQ(3, 7) == QQ(3, 7) + x == (7 * x + 3) / 7
  
      Fuv, u, v = field("u,v", ZZ)
      Fxyzt, x, y, z, t = field("x,y,z,t", Fuv)
  
      f = (u * v + x) / (y + u * v)
      assert dict(f.numer) == {(1, 0, 0, 0): 1, (0, 0, 0, 0): u * v}
      assert dict(f.denom) == {(0, 1, 0, 0): 1, (0, 0, 0, 0): u * v}
  
      Ruv, u, v = ring("u,v", ZZ)
      Fxyzt, x, y, z, t = field("x,y,z,t", Ruv)
  
      f = (u * v + x) / (y + u * v)
      assert dict(f.numer) == {(1, 0, 0, 0): 1, (0, 0, 0, 0): u * v}
      assert dict(f.denom) == {(0, 1, 0, 0): 1, (0, 0, 0, 0): u * v}
  
imports: from sympy.polys.fields import field, sfield, FracField, FracElement
  from sympy.polys.rings import ring
  from sympy.polys.domains import ZZ, QQ
  from sympy.polys.orderings import lex
  from sympy.testing.pytest import raises, XFAIL
  from sympy.core import symbols, E
  from sympy.core.numbers import Rational
  from sympy.functions.elementary.exponential import exp, log
  from sympy.functions.elementary.miscellaneous import sqrt
label_desc: Use image node_id 12 for calling a global function with example usage: test_FracElement___add__() without return types