code: def test_DMF__init__():
      f = DMF(([[0], [], [0, 1, 2], [3]], [[1, 2, 3]]), ZZ)
  
      assert f.num == [[1, 2], [3]]
      assert f.den == [[1, 2, 3]]
      assert f.lev == 1
      assert f.dom == ZZ
  
      f = DMF(([[1, 2], [3]], [[1, 2, 3]]), ZZ, 1)
  
      assert f.num == [[1, 2], [3]]
      assert f.den == [[1, 2, 3]]
      assert f.lev == 1
      assert f.dom == ZZ
  
      f = DMF(([[-1], [-2]], [[3], [-4]]), ZZ)
  
      assert f.num == [[-1], [-2]]
      assert f.den == [[3], [-4]]
      assert f.lev == 1
      assert f.dom == ZZ
  
      f = DMF(([[1], [2]], [[-3], [4]]), ZZ)
  
      assert f.num == [[-1], [-2]]
      assert f.den == [[3], [-4]]
      assert f.lev == 1
      assert f.dom == ZZ
  
      f = DMF(([[1], [2]], [[-3], [4]]), ZZ)
  
      assert f.num == [[-1], [-2]]
      assert f.den == [[3], [-4]]
      assert f.lev == 1
      assert f.dom == ZZ
  
      f = DMF(([[]], [[-3], [4]]), ZZ)
  
      assert f.num == [[]]
      assert f.den == [[1]]
      assert f.lev == 1
      assert f.dom == ZZ
  
      f = DMF(17, ZZ, 1)
  
      assert f.num == [[17]]
      assert f.den == [[1]]
      assert f.lev == 1
      assert f.dom == ZZ
  
      f = DMF(([[1], [2]]), ZZ)
  
      assert f.num == [[1], [2]]
      assert f.den == [[1]]
      assert f.lev == 1
      assert f.dom == ZZ
  
      f = DMF([[0], [], [0, 1, 2], [3]], ZZ)
  
      assert f.num == [[1, 2], [3]]
      assert f.den == [[1]]
      assert f.lev == 1
      assert f.dom == ZZ
  
      f = DMF({(1, 1): 1, (0, 0): 2}, ZZ, 1)
  
      assert f.num == [[1, 0], [2]]
      assert f.den == [[1]]
      assert f.lev == 1
      assert f.dom == ZZ
  
      f = DMF(([[QQ(1)], [QQ(2)]], [[-QQ(3)], [QQ(4)]]), QQ)
  
      assert f.num == [[-QQ(1)], [-QQ(2)]]
      assert f.den == [[QQ(3)], [-QQ(4)]]
      assert f.lev == 1
      assert f.dom == QQ
  
      f = DMF(([[QQ(1, 5)], [QQ(2, 5)]], [[-QQ(3, 7)], [QQ(4, 7)]]), QQ)
  
      assert f.num == [[-QQ(7)], [-QQ(14)]]
      assert f.den == [[QQ(15)], [-QQ(20)]]
      assert f.lev == 1
      assert f.dom == QQ
  
      raises(ValueError, lambda: DMF(([1], [[1]]), ZZ))
      raises(ZeroDivisionError, lambda: DMF(([1], []), ZZ))
  
imports: from sympy.functions.elementary.miscellaneous import sqrt
  from sympy.polys.domains import ZZ, QQ
  from sympy.polys.polyclasses import DMP, DMF, ANP
  from sympy.polys.polyerrors import CoercionFailed, ExactQuotientFailed, NotInvertible
  from sympy.polys.specialpolys import f_polys
  from sympy.testing.pytest import raises, warns_deprecated_sympy
label_desc: Use image node_id 10 for calling a global function with example usage: test_DMF__init__() without return types