def manual_setup_test(): n = 6 a = [0] * n lead = coproduct(cosymsum(X(a, 0), X(a, 1)), X(a, 2), cosymsum(X(a, 3), X(a, 4), X(a, 5))) run_test(a, lead)
def tree_test(): n = 8 a = [0] * n C1 = cosymsum(X(a, 1), X(a, 2)) C5 = cosymsum(X(a, 5), X(a, 6)) C4 = coproduct(X(a, 4), C5) C3 = cosymsum(X(a, 3), C4) Z = coproduct(C1, C3, X(a, 7)) lead = cosymsum(X(a, 0), Z) run_test(a, lead)
def setup(n, E): a = [0] * n Y = [] for j in range(len(E) - 1): Z = [X(a, i) for i in range(E[j] + 1, E[j + 1] + 1)] Y.append(cosymsum(*Z)) lead = coproduct(*Y) return a, lead