-- -*- M2-comint -*- {* hash: 1971216099 *} i1 : s = "|" o1 = | i2 : s^(4,3) | | | o2 = | | | | i3 : n = net(x_0) o3 = x 0 i4 : n0 = s^(height n, depth n) o4 = | | i5 : n0|n|n0 o5 = |x | | 0| i6 :
-- -*- M2-comint -*- {* hash: 1971216099 *} i1 : s = "|" o1 = | i2 : s^(4,3) | | | o2 = | | | | i3 : n = net(x_0) o3 = x 0 i4 : n0 = s^(height n, depth n) o4 = | | i5 : n0|n|n0 o5 = |x | | 0| i6 :