def test_Domain_convert():
    assert (QQ.convert(1e-51) == QQ(1684996666696915, 1684996666696914987166688442938726917102321526408785780068975640576))
    (R, x) = ring('x', ZZ)
    assert (ZZ.convert((x - x)) == 0)
    assert (ZZ.convert((x - x), R.to_domain()) == 0)
def test_Domain_convert():
    assert (QQ.convert(1e-51) == QQ(1684996666696915, 1684996666696914987166688442938726917102321526408785780068975640576))
    (R, x) = ring('x', ZZ)
    assert (ZZ.convert((x - x)) == 0)
    assert (ZZ.convert((x - x), R.to_domain()) == 0)