Let U, V, W, P, Q be dyads and F =: dyad define (tmp U y) V x W y P tmp =. x Q y )
Tacit form of F, for example, is F =: (Q U ]) V [ W ] P Q but in this definition Q is repeated. 1. Is it possible to convert definition of F to tacit form without repeating Q in definition? 2. Does the interpreter recognize repetition of Q and evaluate Q only once? How to make the interpreter not evalute Q twice? Thanks, Martin ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm