def test_zzx_heu_gcd():
    f = [-352518131239247345597970242177235495263669787845475025293906825864749649589178600387510272,
         0, 0, 0, 0, 0, 0,
         46818041807522713962450042363465092040687472354933295397472942006618953623327997952,
         0, 0, 0, 0, 0, 0,
         378182690892293941192071663536490788434899030680411695933646320291525827756032,
         0, 0, 0, 0, 0, 0,
         112806468807371824947796775491032386836656074179286744191026149539708928,
         0, 0, 0, 0, 0, 0,
         -12278371209708240950316872681744825481125965781519138077173235712,
         0, 0, 0, 0, 0, 0,
         289127344604779611146960547954288113529690984687482920704,
         0, 0, 0, 0, 0, 0,
         19007977035740498977629742919480623972236450681,
         0, 0, 0, 0, 0, 0,
         311973482284542371301330321821976049]

    g = [365431878023781158602430064717380211405897160759702125019136,
         0, 0, 0, 0, 0, 0,
         197599133478719444145775798221171663643171734081650688,
         0, 0, 0, 0, 0, 0,
         -9504116979659010018253915765478924103928886144,
         0, 0, 0, 0, 0, 0,
         -311973482284542371301330321821976049]

    assert zzx_heu_gcd(f, zzx_diff(f))[0] == g
Example #2
0
def test_zzx_heu_gcd():
    f = [
        -352518131239247345597970242177235495263669787845475025293906825864749649589178600387510272,
        0, 0, 0, 0, 0, 0,
        46818041807522713962450042363465092040687472354933295397472942006618953623327997952,
        0, 0, 0, 0, 0, 0,
        378182690892293941192071663536490788434899030680411695933646320291525827756032,
        0, 0, 0, 0, 0, 0,
        112806468807371824947796775491032386836656074179286744191026149539708928,
        0, 0, 0, 0, 0, 0,
        -12278371209708240950316872681744825481125965781519138077173235712, 0,
        0, 0, 0, 0, 0,
        289127344604779611146960547954288113529690984687482920704, 0, 0, 0, 0,
        0, 0, 19007977035740498977629742919480623972236450681, 0, 0, 0, 0, 0,
        0, 311973482284542371301330321821976049
    ]

    g = [
        365431878023781158602430064717380211405897160759702125019136, 0, 0, 0,
        0, 0, 0, 197599133478719444145775798221171663643171734081650688, 0, 0,
        0, 0, 0, 0, -9504116979659010018253915765478924103928886144, 0, 0, 0,
        0, 0, 0, -311973482284542371301330321821976049
    ]

    assert zzx_heu_gcd(f, zzx_diff(f))[0] == g
def test_zzx_diff():
    assert zzx_diff([]) == []
    assert zzx_diff([7]) == []
    assert zzx_diff([2,7]) == [2]
    assert zzx_diff([1,2,1]) == [2,2]
    assert zzx_diff([1,2,3,4]) == [3,4,3]
    assert zzx_diff([1,-1,0,0,2]) == [4,-3,0,0]

    f = [17,34,56,-345,23,76,0,0,12,3,7]

    assert zzx_diff(f, 2) ==                   zzX_diff(zzX_diff(f))
    assert zzx_diff(f, 3) ==          zzX_diff(zzX_diff(zzX_diff(f)))
    assert zzx_diff(f, 4) == zzX_diff(zzX_diff(zzX_diff(zzX_diff(f))))
Example #4
0
def test_zzx_diff():
    assert zzx_diff([]) == []
    assert zzx_diff([7]) == []
    assert zzx_diff([2, 7]) == [2]
    assert zzx_diff([1, 2, 1]) == [2, 2]
    assert zzx_diff([1, 2, 3, 4]) == [3, 4, 3]
    assert zzx_diff([1, -1, 0, 0, 2]) == [4, -3, 0, 0]

    f = [17, 34, 56, -345, 23, 76, 0, 0, 12, 3, 7]

    assert zzx_diff(f, 2) == zzX_diff(zzX_diff(f))
    assert zzx_diff(f, 3) == zzX_diff(zzX_diff(zzX_diff(f)))
    assert zzx_diff(f, 4) == zzX_diff(zzX_diff(zzX_diff(zzX_diff(f))))
def test_zzx_diff():
    assert zzx_diff([]) == []
    assert zzx_diff([7]) == []
    assert zzx_diff([2,7]) == [2]
    assert zzx_diff([1,2,1]) == [2,2]
    assert zzx_diff([1,2,3,4]) == [3,4,3]
    assert zzx_diff([1,-1,0,0,2]) == [4,-3,0,0]
def test_zzx_diff():
    assert zzx_diff([]) == []
    assert zzx_diff([7]) == []
    assert zzx_diff([2, 7]) == [2]
    assert zzx_diff([1, 2, 1]) == [2, 2]
    assert zzx_diff([1, 2, 3, 4]) == [3, 4, 3]
    assert zzx_diff([1, -1, 0, 0, 2]) == [4, -3, 0, 0]