I agree that induction is not the way to write code. FWIW, I think I've answered this before in our discussions here, so this may be repetitive:
What you call 'filling' corresponds, I believe, to what I call 'framing fill' and occurs only when 'rationing' has split one or both operands into parts. The results from applying the verb on the rationed cells are brought up to a common shape by adding framing fills, and those results are assembled into an array using the frame as the prefix of the overall result-shape. This framing-fill is done OUTSIDE the verb and you CANNOT change the atom used for fill. In other words, the answer to your last question is Yes. The operation of the verb on operand cells depends on the verb. In particular, some verbs insert fills, and for most of these verbs !.f can be used to specify the fill-atom the verb uses. But that's up to the verb. For example, monad ; doesn't support !.f (which I think is an omission that should be rectified). Henry Rich > -----Original Message----- > From: [EMAIL PROTECTED] > [mailto:[EMAIL PROTECTED] On Behalf Of metaperl.j > Sent: Tuesday, November 27, 2007 10:30 AM > To: [email protected] > Subject: [Jgeneral] Where does rationing and fill occur for > this partiallyinfinite dyad? > > > The following expression: > (1 + i. 2 2) $ 9 > > has an answer that involves both noun rationing and result filling... > > RATIONING: (1 + i. 2 2) is a rank-2 array. However the left > argument of $ > (Shape) is rank-1, therefore Shape will be called with 1 2 $ > 9 and 3 4 $ 9 > and the results are then filled.... > > FILLING: 1 2 $ 9 creates a rank-2 array with shape 1 2 however 3 4 $ 9 > creates a rank-2 array with shape 3 4. So is the filling of these two > results done in the verb and the style of filling peculiar to > Shape? Or can > one expect this same sort of filling for any verb which > rations the noun > into the verb? > > > (1 + i. 2 2) > 1 2 > 3 4 > 1 2 $ 9 > 9 9 > 3 4 $ 9 > 9 9 9 9 > 9 9 9 9 > 9 9 9 9 > (1 + i. 2 2) $ 9 > 9 9 0 0 > 0 0 0 0 > 0 0 0 0 > > 9 9 9 9 > 9 9 9 9 > 9 9 9 9 > > -- > View this message in context: > http://www.nabble.com/Where-does-rationing-and-fill-occur-for- > this-partially-infinite-dyad--tf4882402s24193.html#a13972841 > Sent from the J General mailing list archive at Nabble.com. > > ---------------------------------------------------------------------- > For information about J forums see http://www.jsoftware.com/forums.htm > ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
