User blog comment:SuperSpruce/T array function stuck at Gamma 0/@comment-35470197-20190614223407/@comment-35470197-20190615143548

I do not know because I have no idea how you encoded addition in your notation. Also, I could not obtain the correct expansion, and hence do noit understand the correct expansion rule.

For example, what is wrong in the following computation?
 * 1) Starting from T3[0{0,1}2], the first entry is 0 right after [.
 * 2) Apply A. The 0 is at layer 0, and the next entry at the same layer is 2.
 * 3) Apply B. The } is immediately before it.
 * 4) Apply C. The dimension separator is {0,1}. (Is it correct? I could not find the definition of "dimension separator" in DCT.)
 * 5) Apply Ca. The first entry of {0,1} is 0.
 * 6) Apply Cc.
 * 7) Apply A. The 0 is at layer 1, and the next entry at the same layer is 1 right after the comma.
 * 8) Apply B. The comma is immediately before it.
 * 9) Apply Ba.
 * 10) Apply 10. Set [%0,$a#] = [0{0,1}2]. Namely, % is "0{", $ is "", a is "1", and # is "}2".
 * 11) Apply 10a. Set s = n = 3.
 * 12) Apply 10b. The innermost bracket is [%0,$a#] itself.
 * 13) Apply 10c. M1 = [%0,&a-1#] = [0{0,0}2], M2 = [%(M1),$a-1#] = [0{([0{0,0}2]),0}2], and M3 = [%(M1),$a-1#] = [0{([0{([0{([0{0,0}2]),0}2]),0}2]),0}2].
 * 14) Apply 10d. Then T3[0{0,1}2] is T3M3 = T3[0{([0{([0{([0{0,0}2]),0}2]),0}2]),0}2]. It is not what you wrote, i.e. T3[0{[0{[0,2]}2]}2].