def test_Domain_get_exact():
    assert (EX.get_exact() == EX)
    assert (ZZ.get_exact() == ZZ)
    assert (QQ.get_exact() == QQ)
    assert (RR.get_exact() == QQ)
    assert (ALG.get_exact() == ALG)
    assert (ZZ[x].get_exact() == ZZ[x])
    assert (QQ[x].get_exact() == QQ[x])
    assert (ZZ[(x, y)].get_exact() == ZZ[(x, y)])
    assert (QQ[(x, y)].get_exact() == QQ[(x, y)])
    assert (ZZ.frac_field(x).get_exact() == ZZ.frac_field(x))
    assert (QQ.frac_field(x).get_exact() == QQ.frac_field(x))
    assert (ZZ.frac_field(x, y).get_exact() == ZZ.frac_field(x, y))
    assert (QQ.frac_field(x, y).get_exact() == QQ.frac_field(x, y))
def test_Domain_get_exact():
    assert (EX.get_exact() == EX)
    assert (ZZ.get_exact() == ZZ)
    assert (QQ.get_exact() == QQ)
    assert (RR.get_exact() == QQ)
    assert (ALG.get_exact() == ALG)
    assert (ZZ[x].get_exact() == ZZ[x])
    assert (QQ[x].get_exact() == QQ[x])
    assert (ZZ[(x, y)].get_exact() == ZZ[(x, y)])
    assert (QQ[(x, y)].get_exact() == QQ[(x, y)])
    assert (ZZ.frac_field(x).get_exact() == ZZ.frac_field(x))
    assert (QQ.frac_field(x).get_exact() == QQ.frac_field(x))
    assert (ZZ.frac_field(x, y).get_exact() == ZZ.frac_field(x, y))
    assert (QQ.frac_field(x, y).get_exact() == QQ.frac_field(x, y))