def test_zzX_content():
f, g, F = [3,2,1], [1], []
for i in xrange(0, 5):
g = zzX_mul(g, f)
F.insert(0, g)
assert zzX_content(F) == f
assert zzX_one_p(zzX_content(f_4))
assert zzX_one_p(zzX_content(f_5))
assert zzX_one_p(zzX_content(f_6))
def test_zzX_content():
f, g, F = [3, 2, 1], [1], []
for i in xrange(0, 5):
g = zzX_mul(g, f)
F.insert(0, g)
assert zzX_content(F) == f
assert zzX_one_p(zzX_content(f_4))
assert zzX_one_p(zzX_content(f_5))
assert zzX_one_p(zzX_content(f_6))
def test_zzX_primitive():
f, g, F = [3, 2, 1], [1], []
for i in xrange(0, 5):
g = zzX_mul(g, f)
F.insert(0, g)
assert zzX_primitive(F) == (f, [zzX_quo(cf, f) for cf in F])
cont, f = zzX_primitive(f_4)
assert zzX_one_p(cont) and f == f_4
cont, f = zzX_primitive(f_5)
assert zzX_one_p(cont) and f == f_5
cont, f = zzX_primitive(f_6)
assert zzX_one_p(cont) and f == f_6
def test_zzX_primitive():
f, g, F = [3,2,1], [1], []
for i in xrange(0, 5):
g = zzX_mul(g, f)
F.insert(0, g)
assert zzX_primitive(F) == (f,
[ zzX_quo(cf, f) for cf in F ])
cont, f = zzX_primitive(f_4)
assert zzX_one_p(cont) and f == f_4
cont, f = zzX_primitive(f_5)
assert zzX_one_p(cont) and f == f_5
cont, f = zzX_primitive(f_6)
assert zzX_one_p(cont) and f == f_6
def test_zzX_values():
assert zzX_zero(0) == 0
assert zzX_zero(1) == []
assert zzX_zero(3) == [[[]]]
assert zzX_const(1, 7) == [7]
assert zzX_const(3, 7) == [[[7]]]
assert zzX_const(0, 3) == 3
assert zzX_const(3, 0) == [[[]]]
assert zzX_zero_of(f_0, 1) == [[]]
assert zzX_zero_of(f_6, 1) == [[[]]]
assert zzX_const_of(f_0, 7, 1) == [[7]]
assert zzX_const_of(f_6, 7, 1) == [[[7]]]
assert zzX_value(3, 1) == [[[1]]]
assert zzX_value(0, [[1]]) == [[1]]
assert zzX_value(1, [[1]]) == [[[1]]]
assert zzX_value(2, [[1]]) == [[[[1]]]]
assert zzX_zeros_of([1,2,3], 4) == [0,0,0,0]
assert zzX_zeros_of(f_0, 0, 0) == []
assert zzX_zeros_of(f_0, 2, 0) == [[[[]]], [[[]]]]
assert zzX_zeros_of(f_0, 3, 1) == [[[]],[[]],[[]]]
assert zzX_consts_of([1,2,3], 7, 4) == [7,7,7,7]
assert zzX_consts_of(f_0, 7, 0, 0) == []
assert zzX_consts_of(f_0, 7, 2, 0) == [[[[7]]], [[[7]]]]
assert zzX_consts_of(f_0, 7, 3, 1) == [[[7]],[[7]],[[7]]]
assert zzX_lift(2, []) == [[[]]]
assert zzX_lift(2, [[1,2,3], [], [2,3]]) == \
[[[[1]],[[2]],[[3]]], [[[]]], [[[2]],[[3]]]]
assert zzX_zero_p([]) == True
assert zzX_zero_p([[]]) == True
assert zzX_zero_p([[[]]]) == True
assert zzX_zero_p([[[1]]]) == False
assert zzX_one_p([1]) == True
assert zzX_one_p([[1]]) == True
assert zzX_one_p([[[1]]]) == True
assert zzX_one_p([[[12]]]) == False
def test_zzX_values():
assert zzX_zero(0) == 0
assert zzX_zero(1) == []
assert zzX_zero(3) == [[[]]]
assert zzX_const(1, 7) == [7]
assert zzX_const(3, 7) == [[[7]]]
assert zzX_const(0, 3) == 3
assert zzX_const(3, 0) == [[[]]]
assert zzX_zero_of(f_0, 1) == [[]]
assert zzX_zero_of(f_6, 1) == [[[]]]
assert zzX_const_of(f_0, 7, 1) == [[7]]
assert zzX_const_of(f_6, 7, 1) == [[[7]]]
assert zzX_value(3, 1) == [[[1]]]
assert zzX_value(0, [[1]]) == [[1]]
assert zzX_value(1, [[1]]) == [[[1]]]
assert zzX_value(2, [[1]]) == [[[[1]]]]
assert zzX_zeros_of([1, 2, 3], 4) == [0, 0, 0, 0]
assert zzX_zeros_of(f_0, 0, 0) == []
assert zzX_zeros_of(f_0, 2, 0) == [[[[]]], [[[]]]]
assert zzX_zeros_of(f_0, 3, 1) == [[[]], [[]], [[]]]
assert zzX_consts_of([1, 2, 3], 7, 4) == [7, 7, 7, 7]
assert zzX_consts_of(f_0, 7, 0, 0) == []
assert zzX_consts_of(f_0, 7, 2, 0) == [[[[7]]], [[[7]]]]
assert zzX_consts_of(f_0, 7, 3, 1) == [[[7]], [[7]], [[7]]]
assert zzX_lift(2, []) == [[[]]]
assert zzX_lift(2, [[1,2,3], [], [2,3]]) == \
[[[[1]],[[2]],[[3]]], [[[]]], [[[2]],[[3]]]]
assert zzX_zero_p([]) == True
assert zzX_zero_p([[]]) == True
assert zzX_zero_p([[[]]]) == True
assert zzX_zero_p([[[1]]]) == False
assert zzX_one_p([1]) == True
assert zzX_one_p([[1]]) == True
assert zzX_one_p([[[1]]]) == True
assert zzX_one_p([[[12]]]) == False
