def test_Domain_get_field():
    assert (EX.has_assoc_Field is True)
    assert (ZZ.has_assoc_Field is True)
    assert (QQ.has_assoc_Field is True)
    assert (RR.has_assoc_Field is True)
    assert (ALG.has_assoc_Field is True)
    assert (ZZ[x].has_assoc_Field is True)
    assert (QQ[x].has_assoc_Field is True)
    assert (ZZ[(x, y)].has_assoc_Field is True)
    assert (QQ[(x, y)].has_assoc_Field is True)
    assert (EX.get_field() == EX)
    assert (ZZ.get_field() == QQ)
    assert (QQ.get_field() == QQ)
    assert (RR.get_field() == RR)
    assert (ALG.get_field() == ALG)
    assert (ZZ[x].get_field() == ZZ.frac_field(x))
    assert (QQ[x].get_field() == QQ.frac_field(x))
    assert (ZZ[(x, y)].get_field() == ZZ.frac_field(x, y))
    assert (QQ[(x, y)].get_field() == QQ.frac_field(x, y))
def test_Domain_get_field():
    assert (EX.has_assoc_Field is True)
    assert (ZZ.has_assoc_Field is True)
    assert (QQ.has_assoc_Field is True)
    assert (RR.has_assoc_Field is True)
    assert (ALG.has_assoc_Field is True)
    assert (ZZ[x].has_assoc_Field is True)
    assert (QQ[x].has_assoc_Field is True)
    assert (ZZ[(x, y)].has_assoc_Field is True)
    assert (QQ[(x, y)].has_assoc_Field is True)
    assert (EX.get_field() == EX)
    assert (ZZ.get_field() == QQ)
    assert (QQ.get_field() == QQ)
    assert (RR.get_field() == RR)
    assert (ALG.get_field() == ALG)
    assert (ZZ[x].get_field() == ZZ.frac_field(x))
    assert (QQ[x].get_field() == QQ.frac_field(x))
    assert (ZZ[(x, y)].get_field() == ZZ.frac_field(x, y))
    assert (QQ[(x, y)].get_field() == QQ.frac_field(x, y))