User blog:Nayuta Ito/LOCC challenge

I tried to get over e_0.

w:{a|->1+a}

e_0:{b|->w^b}

e_1:T(e_0,w), T(a,b):Z(b), Z(n+1):a^Z(n), Z(1):a, e_0:{b|->w^b}, w:{a|->1+a}

e_2:T(e_1,w), T(a,b):Z(b), Z(n+1):a^Z(n), Z(1):a, e_1:T(e_0,w), e_0:{b|->w^b}, w:{a|->1+a}

e_w:E(w), E(n+1):T(E(n),w), T(a,b):Z(b), Z(n+1):a^Z(n), Z(1):a

e_(w2):E(2,0), E(n,0):E(n-1,w), E(a,n+1):T(E(a,n),w), T(a,b):Z(b), Z(n+1):a^Z(n), Z(1):a, w:{a|->1+a}

e_(w^2);E(w,0), E(n,0):E(n-1,w), E(a,n+1):T(E(a,n),w), T(a,b):Z(b), Z(n+1):a^Z(n), Z(1):a, w:{a|->1+a}