Consider the following tacit verb f1=: ] (2&o.@:] + 1&o.@:] [ 5&+@:] 7&+@:] ([: <. ]) 10&*@:] 7&*@:])
It looks strange, and is pretty long. The interesting point is that only the left section ] (2&o.@:] + 1&o.@:] is useful. The rest of it is not evaluated. i.e. f1 is equivalent to sin(x) + cos(x). I noticed that the dissect tool recognizes this fact. dissect '(] (2&o.@:] + 1&o.@:] [ 5&+@:] 7&+@:] ([: <. ]) 10&*@:] 7&*@:])) 1' Everything but the sin(x) + cos(x) par tis greyed out, implying it is not evaluated. My question is, how does dissect recognize this? And is it possible to extract a simplified tacit verb from f1? Thanks, Jon ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
