Any imprecision in the English in the essay is immediately ameliorated by the fact that there is an alternative description in a formal executable notation.
As for your question on what extension means in A verb of rank r is defined on arguments with rank bounded by r; the extension to higher-rank arguments is the same for all verbs. A verb of rank r is defined on arguments bounded by r. That means it is not defined on arguments of rank higher than r. The rank operator is the means by which the verb is defined on higher-rank arguments. That is the extension. ----- Original Message ----- From: Terrence Brannon <[EMAIL PROTECTED]> Date: Saturday, June 23, 2007 5:01 am Subject: Re: [Jgeneral] Let's get explicit about dyadic verb processing > On 6/23/07, Roger Hui <[EMAIL PROTECTED]> wrote: > > Your worksheet uses English prose which is difficult > > to get precise and correct. What is needed is an > > expression of the ideas and rules in an executable > > notation. I have just the thing: > > http://www.jsoftware.com/jwiki/Essays/Rank > > Roger, in studying this Essay, two things happened. First I got as far > as the definition of er and realized that it was only through the text > "Learning J" that I could detect that er was using things such as > gerunds, the Iverson convention, dyadic hooks, etc. So I am returning > to my studies of "Learning J" with renewed intensity. In fact, I have > comprehensive assessment tests on each of the first 10 chapters > written up and am going through them. Once I have 100% mastery on > those 10 chapters, I will continue to add comprehensive tests on the > material in "Learning J". > > Next follow my impressions/criticisms of my reading of that Essay. I'm > sure one day it will make fine reading, but right now, I want to get > into some interesting data processing with J and I think that careful > and diligent reading of "Learning J" is the one fast path to higher > levels of J. comments follow... > > > On: http://www.jsoftware.com/jwiki/Essays/Rank > > <quote> > A verb of rank r is defined on arguments with rank > bounded by r > </quote> > > This statement is vague and ambiguous to me. Bounds can be upper > or lower, > as well as inclusive or exclusive of endpoints. Using my wits, I am > guessing that this statement means > "a verb of rank r is defined on arguments with rank <= r" > > <quote> > The extension to higher-rank arguments is the same for all > verbs. > </quote> > > I do not understand this statement. > "Extension to higher-rank arguments" - what is extension? "higher rank > arguments" ... what is meant by that? Can you give an example? > > > <quote>The rank conjunction " (operator) augments the default > ranks of > a verb by user-specified ranks. </quote> > > definition of augment from http://www.thefreedictionary.com/Augments > > To make (something already developed or well under way) greater, > as in > size, extent, or quantity > > I dont think augment is accurate. I think it is more accurate to say > the rank conjunction explicitly defines > the ranks of a verb. If the default rank of a verb is 5 5 5 and I > conjunction said verb as verb"3 3 3 then it is not greater in size, > extent, or quantity. It therefore is not augmented... unless getting > closer to zero is the criteria for greatness. > > > > > > > > > > > > > ----- Original Message ----- > > From: Terrence Brannon <[EMAIL PROTECTED]> > > Date: Friday, June 22, 2007 5:09 pm > > Subject: [Jgeneral] Let's get explicit about dyadic verb processing > > > > > I would appreciate feedback on any improvements that can be > made to > > > this worksheet for understanding how a dyadic verb operates. > > > > > > J Language Dyadic Verb Processing Worksheet > > > =========================================== > > > > > > Write out the entire expression: > > > Write out the abbreviated verb rank: > > > Expand the verb rank(*1): > > > > > > Rank Calculation: > > > ---------------- > > > left-noun-rank: right-noun-rank: > > > left-verb-rank: right-verb-rank: > > > lesser left rank, lr = lesser right rank, rr = > > > > > > The verb will be applied to lr-cells of the left operand > > > and rr-cells of the right operand. > > > > > > left-noun-shape: right-noun-shape: > > > > > > Frame Calculation per > > > http://www.jsoftware.com/jwiki/Essays/A_Fine_Line-------------- > ---- > > > ----------------------------------------------------- > > > left-frame: lf = right-frame: rf = > > > > > > Result frame (longer of two): > > > > > > Operand Pairing: > > > --------------- > > > > > > > > > Footnotes: > > > --------- > > > (*1) Expand verb rank: > > > v"0 1 2 has monad rank 0, dyad left rank 1, and dyad right > > > rank 2 > > > v"0 1 has monad rank 1, dyad left rank 0, and dyad right > rank 1 > > > v"1 has all ranks 1 > > > > > > Type verb b. 0 to get the rank in the interpreter. ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
