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_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))))
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]