i in <1,(-1),0>: ^3. i<0

By:	Compute Co i in <1,(-1),0>: ^3. i<0 Co* Co3 = 1   & <1,(-1),0><0 Co 32 Co & 1<0  3-1 = 1   & <-1,0><0  3-12 & -1<0  ( i in 0: ^(3-1-1). i<0)

1

3 = 1   & <1,(-1),0><0    32    & 1<0  3-1 = 1   & <-1,0><0  3-12 & -1<0  ( i in 0: ^(3-1-1). i<0)

3 steps

About: IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html