def test_zzx_hensel_lift():
f = zzx_from_dict({4:1, 0:-1})
f1 = zzx_from_dict({1:1, 0:-1})
f2 = zzx_from_dict({1:1, 0:-2})
f3 = zzx_from_dict({1:1, 0: 2})
f4 = zzx_from_dict({1:1, 0: 1})
ff_list = zzx_hensel_lift(5, f, [f1, f2, f3, f4], 4)
assert zzx_to_dict(ff_list[0]) == {0: -1, 1: 1}
assert zzx_to_dict(ff_list[1]) == {0: -182, 1: 1}
assert zzx_to_dict(ff_list[2]) == {0: 182, 1: 1}
assert zzx_to_dict(ff_list[3]) == {0: 1, 1: 1}
def test_zzx_hensel_lift():
f = zzx_from_dict({4: 1, 0: -1})
f1 = zzx_from_dict({1: 1, 0: -1})
f2 = zzx_from_dict({1: 1, 0: -2})
f3 = zzx_from_dict({1: 1, 0: 2})
f4 = zzx_from_dict({1: 1, 0: 1})
ff_list = zzx_hensel_lift(5, f, [f1, f2, f3, f4], 4)
assert zzx_to_dict(ff_list[0]) == {0: -1, 1: 1}
assert zzx_to_dict(ff_list[1]) == {0: -182, 1: 1}
assert zzx_to_dict(ff_list[2]) == {0: 182, 1: 1}
assert zzx_to_dict(ff_list[3]) == {0: 1, 1: 1}
def test_zzx_from_to():
assert zzx_from_dict({}) == []
f = [3,0,0,2,0,0,0,0,8]
g = {8: 3, 5: 2, 0: 8}
assert zzx_from_dict(g) == f
assert zzx_to_dict(f) == g
g = (3*x**8 + 2*x**5 + 8).as_poly(x)
assert zzx_from_poly(g) == f
assert zzx_to_poly(f, x) == g
def test_zzx_from_to():
assert zzx_from_dict({}) == []
f = [3, 0, 0, 2, 0, 0, 0, 0, 8]
g = {8: 3, 5: 2, 0: 8}
assert zzx_from_dict(g) == f
assert zzx_to_dict(f) == g
g = (3 * x**8 + 2 * x**5 + 8).as_poly(x)
assert zzx_from_poly(g) == f
assert zzx_to_poly(f, x) == g
def test_zzx_from_to_dict():
f = {8: 3, 5: 2, 0: 8}
g = [3,0,0,2,0,0,0,0,8]
assert zzx_from_dict(f) == g
assert zzx_to_dict(g) == f
def test_zzx_from_to_dict():
f = {8: 3, 5: 2, 0: 8}
g = [3, 0, 0, 2, 0, 0, 0, 0, 8]
assert zzx_from_dict(f) == g
assert zzx_to_dict(g) == f
