def test_zzX_zz_primitive(): assert zzX_zz_primitive(f_0) == (1, f_0) assert zzX_zz_primitive(zzX_mul_const(f_0, 2)) == (2, f_0) assert zzX_zz_primitive(f_1) == (1, f_1) assert zzX_zz_primitive(zzX_mul_const(f_1, 3)) == (3, f_1) assert zzX_zz_primitive(f_2) == (1, f_2) assert zzX_zz_primitive(zzX_mul_const(f_2, 4)) == (4, f_2) assert zzX_zz_primitive(f_3) == (1, f_3) assert zzX_zz_primitive(zzX_mul_const(f_3, 5)) == (5, f_3) assert zzX_zz_primitive(f_4) == (1, f_4) assert zzX_zz_primitive(zzX_mul_const(f_4, 6)) == (6, f_4) assert zzX_zz_primitive(f_5) == (1, f_5) assert zzX_zz_primitive(zzX_mul_const(f_5, 7)) == (7, f_5) assert zzX_zz_primitive(f_6) == (1, f_6) assert zzX_zz_primitive(zzX_mul_const(f_6, 8)) == (8, f_6)
def test_zzX_zz_content(): assert zzX_zz_content(f_0) == 1 assert zzX_zz_content(zzX_mul_const(f_0, 2)) == 2 assert zzX_zz_content(f_1) == 1 assert zzX_zz_content(zzX_mul_const(f_1, 3)) == 3 assert zzX_zz_content(f_2) == 1 assert zzX_zz_content(zzX_mul_const(f_2, 4)) == 4 assert zzX_zz_content(f_3) == 1 assert zzX_zz_content(zzX_mul_const(f_3, 5)) == 5 assert zzX_zz_content(f_4) == 1 assert zzX_zz_content(zzX_mul_const(f_4, 6)) == 6 assert zzX_zz_content(f_5) == 1 assert zzX_zz_content(zzX_mul_const(f_5, 7)) == 7 assert zzX_zz_content(f_6) == 1 assert zzX_zz_content(zzX_mul_const(f_6, 8)) == 8
def test_zzX_mul_const(): assert zzX_mul_const(f_0, 2) == [ [[2,4,6], [4]], [[6]], [[8,10,12], [2,4,2], [2]] ]
def test_zzX_mul_const(): assert zzX_mul_const(f_0, 2) == [[[2, 4, 6], [4]], [[6]], [[8, 10, 12], [2, 4, 2], [2]]]