Python dup_zz_hensel_lift示例

示例#1

文件： test_factortools.py 项目： unix0000/sympy-polys

def test_dup_zz_hensel_lift():
    f = dup_from_raw_dict({4: 1, 0: -1}, ZZ)

    f1 = dup_from_raw_dict({1: 1, 0: -1}, ZZ)
    f2 = dup_from_raw_dict({1: 1, 0: -2}, ZZ)
    f3 = dup_from_raw_dict({1: 1, 0: 2}, ZZ)
    f4 = dup_from_raw_dict({1: 1, 0: 1}, ZZ)

    ff_list = dup_zz_hensel_lift(5, f, [f1, f2, f3, f4], 4, ZZ)

    assert dup_to_raw_dict(ff_list[0]) == {0: -1, 1: 1}
    assert dup_to_raw_dict(ff_list[1]) == {0: -182, 1: 1}
    assert dup_to_raw_dict(ff_list[2]) == {0: 182, 1: 1}
    assert dup_to_raw_dict(ff_list[3]) == {0: 1, 1: 1}

示例#2

文件： test_factortools.py 项目： ENuge/sympy

def test_dup_zz_hensel_lift():
    f = dup_from_raw_dict({4:1, 0:-1}, ZZ)

    f1 = dup_from_raw_dict({1:1, 0:-1}, ZZ)
    f2 = dup_from_raw_dict({1:1, 0:-2}, ZZ)
    f3 = dup_from_raw_dict({1:1, 0: 2}, ZZ)
    f4 = dup_from_raw_dict({1:1, 0: 1}, ZZ)

    ff_list = dup_zz_hensel_lift(5, f, [f1, f2, f3, f4], 4, ZZ)

    assert dup_to_raw_dict(ff_list[0]) == {0: -1,   1: 1}
    assert dup_to_raw_dict(ff_list[1]) == {0: -182, 1: 1}
    assert dup_to_raw_dict(ff_list[2]) == {0:  182, 1: 1}
    assert dup_to_raw_dict(ff_list[3]) == {0:  1,   1: 1}