Re: [Jchat] Standardized technical English

[Ian Clark]

Very interesting, and informative – to a writer as well as reader.

I still think a prescriptive phrasebook is needed for writing instructions
for computer software. But the mere existence of such a phrasebook is only
half the battle.

On Fri, 2 Nov 2018 at 23:04, Donna Y  wrote:

> there are all kinds of phrasebooks—here is one for research papers:
>
> http://englishforresearch.com/phrasebook/
>
> > Online PhraseBook
> > Over 5000 words and phrases to help you write, present and publish in
> English
> >
> > Here you can view pages from the full version of the PhraseBook,
> available on paperback and for Kindle, iBooks and Google Play
> >
> > Phrases
> > The PhraseBook is designed to be used in a wide range of subjects and is
> suitable for all types of university papers and research publications and
> presentations. Phrases are divided into around 30 main sections that follow
> the structure of university and research writing, such as Introducing a
> Study, Defining the Scope of a Study, Arguing For and Against, Reviewing
> other Work, Summarizing and Conclusions. Many sections are further divided,
> for example the Relationship to Previous Work, the Relationship to Current
> Work, Contrasting Work and the Limitations of Current Knowledge.
> >
> > The PhraseBook is available in both paperback and digital versions. The
> digital versions allow you to search the PhraseBook for a specific word or
> phrase.
>
>
>
>  Donna Y
> dy...@sympatico.ca
>
>
> > On Oct 20, 2018, at 10:40 AM, Ian Clark  wrote:
> >
> > But why reinvent the wheel? I'd be most surprised if the need for such a
> > guide or manual hasn't already been thoroughly recognised – and duly
> > satisfied.
>
> --
> For information about J forums see http://www.jsoftware.com/forums.htm
--
For information about J forums see http://www.jsoftware.com/forums.htm

Re: [Jchat] broken images on iverson document

[Vijay Lulla]

Thanks Raul and Marin for the historical reference.  Martin, your paper is
very enlightening!  I really like all the diagrams you have in the paper.
Thanks for sharing.
Cordially,
Vijay.

On Fri, Nov 2, 2018 at 7:01 PM  wrote:

> Raul Miller wrote:
> > It looks like perhaps originally the meanings of @ and @: were
> > reversed? Or maybe @: was an afterthought after @ was redefined?
>
>
> Early J (1989/90) just had @ At and & Compose.   (The symbols @: and
> &: were in use for unrelated things at that time:  Anagram and Fit.)
>
>*/ @ !  3 6 5
> 518400
>
> worked because ! Factorial/OutOf had ranks _ 0 0 at that time.
> Likewise all other classical "Scalar Functions".
>
> J Version 3.2, 1991 06 02, introduced @: Atop and &: Appose as
> new conjunctions.  (And relocated Anagram/Fit to A./!.)
>
> I argued for changing the scalar ranks in my APL'95 paper
> http://juggle.gaertner.de/bnp/knot.ps
> and this didn't fall on deaf ears:
>
> Changes in Release 3.03, 1996 12 13:
>   + etc. ranks of monads changed from _ to 0
>
>
> Martin Neitzel
> --
> For information about J forums see http://www.jsoftware.com/forums.htm
--
For information about J forums see http://www.jsoftware.com/forums.htm

Re: [Jchat] Standardized technical English

[Donna Y]

there are all kinds of phrasebooks—here is one for research papers:

http://englishforresearch.com/phrasebook/

> Online PhraseBook
> Over 5000 words and phrases to help you write, present and publish in English 
> 
> Here you can view pages from the full version of the PhraseBook, available on 
> paperback and for Kindle, iBooks and Google Play
> 
> Phrases
> The PhraseBook is designed to be used in a wide range of subjects and is 
> suitable for all types of university papers and research publications and 
> presentations. Phrases are divided into around 30 main sections that follow 
> the structure of university and research writing, such as Introducing a 
> Study, Defining the Scope of a Study, Arguing For and Against, Reviewing 
> other Work, Summarizing and Conclusions. Many sections are further divided, 
> for example the Relationship to Previous Work, the Relationship to Current 
> Work, Contrasting Work and the Limitations of Current Knowledge.
> 
> The PhraseBook is available in both paperback and digital versions. The 
> digital versions allow you to search the PhraseBook for a specific word or 
> phrase.



 Donna Y
dy...@sympatico.ca


> On Oct 20, 2018, at 10:40 AM, Ian Clark  wrote:
> 
> But why reinvent the wheel? I'd be most surprised if the need for such a
> guide or manual hasn't already been thoroughly recognised – and duly
> satisfied.

--
For information about J forums see http://www.jsoftware.com/forums.htm

Re: [Jchat] broken images on iverson document

[neitzel]

Raul Miller wrote:
> It looks like perhaps originally the meanings of @ and @: were
> reversed? Or maybe @: was an afterthought after @ was redefined?


Early J (1989/90) just had @ At and & Compose.   (The symbols @: and
&: were in use for unrelated things at that time:  Anagram and Fit.)

   */ @ !  3 6 5
518400

worked because ! Factorial/OutOf had ranks _ 0 0 at that time.
Likewise all other classical "Scalar Functions".

J Version 3.2, 1991 06 02, introduced @: Atop and &: Appose as
new conjunctions.  (And relocated Anagram/Fit to A./!.)

I argued for changing the scalar ranks in my APL'95 paper
http://juggle.gaertner.de/bnp/knot.ps
and this didn't fall on deaf ears:

Changes in Release 3.03, 1996 12 13:
  + etc. ranks of monads changed from _ to 0


Martin Neitzel
--
For information about J forums see http://www.jsoftware.com/forums.htm

Re: [Jchat] Standardized technical English

[Ian Clark]

Thank you, Donna.

You are the only person on this list who has understood what I am trying to
say.

Thank you for the Roberto Trotta link. I have bought his book and look
forward to reading it. I don't feel qualified to say anything more until I
have.

On Fri, 2 Nov 2018 at 20:20, Donna Y  wrote:

>
> Donna Y
> dy...@sympatico.ca
>
>
> > On Oct 19, 2018, at 1:39 PM, Ian Clark  wrote:
> >
> > For Dr XXY, English is a second language. One of many. His first language
> > has never been studied, let alone learnt, by an outsider: it is spoken by
> > hardly anyone outside his village, but they've all saved up to send him
> to
> > Harvard.
>
> I was reminded of a language I as introduced to when studying Linguistics—
> Lusi was spoken by only about 1000 people in Papua New Guinea.
>
> Lusi is a simple language in the sense that a
> Pidgin (a lingua franca to communicate between speakers of other languages)
> and Creole (a language that originated as a mixed language)
>  languages are simple--structurally simple. There are no exceptions to the
> rules.
> There is a smaller lexicon.
>
> Languages are said to become progressively simpler as they approach the
> ideal of a one-to-one correspondence between form and meaning.
> A well-designed computer language is unambiguous but all known natural
> languages exhibit the property of ambiguity.
>
> Tok Pisin developed post European contact and is an English-based
> creole—in a
> land of more than 500 mutually unintelligible languages Tok Pisin became
> an
> official language of PNG
>
> One thing that makes APL simple is a consistent syntax. J was designed as
> a simplified, more elegant version of APL.
> You can learn a small subset of APL or J that serves your need without
> mastering the entire language.
>
> English and other native languages develop all kinds of complexities and
> yet a child can master them--babies are voracious statistical learning
> machines.
>
>
> Your friend wants to learn more English to be able to discuss particle
> physics and cosmology at Harvard. See:
>
>
> Roberto Trotta, an astrophysicist, tells the history of the universe using
> only one thousand most-used words in the English language in a book called
> "The Edge Of The Sky.".
>
> > Big ideas don’t always need big words
> >
> > Roberto Trotta: "The Edge of Sky" | Talks at Google
> >
> > http://robertotrotta.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

Re: [Jchat] broken images on iverson document

[Raul Miller]

For the current J implementation, it has to be, for that example.

It looks like perhaps originally the meanings of @ and @: were
reversed? Or maybe @: was an afterthought after @ was redefined?

Thanks,

-- 
Raul

On Fri, Nov 2, 2018 at 5:07 PM Vijay Lulla  wrote:
>
> Very nice!  Minor nitpick: shouldn't the definition of pof use @: instead
> of @?
>
> On Fri, Nov 2, 2018 at 2:44 PM Brian Schott  wrote:
>
> > That article really appeals to me. It made me wish KEI had made a video of
> > it.
> >
> > On Fri, Nov 2, 2018 at 11:34 AM Raul Miller  wrote:
> >
> > > http://www.jsoftware.com/papers/camn.htm
> > >
> > >
> > >
> > --
> > For information about J forums see http://www.jsoftware.com/forums.htm
> --
> For information about J forums see http://www.jsoftware.com/forums.htm
--
For information about J forums see http://www.jsoftware.com/forums.htm

Re: [Jchat] broken images on iverson document

[Vijay Lulla]

Very nice!  Minor nitpick: shouldn't the definition of pof use @: instead
of @?

On Fri, Nov 2, 2018 at 2:44 PM Brian Schott  wrote:

> That article really appeals to me. It made me wish KEI had made a video of
> it.
>
> On Fri, Nov 2, 2018 at 11:34 AM Raul Miller  wrote:
>
> > http://www.jsoftware.com/papers/camn.htm
> >
> >
> >
> --
> For information about J forums see http://www.jsoftware.com/forums.htm
--
For information about J forums see http://www.jsoftware.com/forums.htm

Re: [Jchat] Standardized technical English

[Donna Y]

Donna Y
dy...@sympatico.ca


> On Oct 19, 2018, at 1:39 PM, Ian Clark  wrote:
> 
> For Dr XXY, English is a second language. One of many. His first language
> has never been studied, let alone learnt, by an outsider: it is spoken by
> hardly anyone outside his village, but they've all saved up to send him to
> Harvard.

I was reminded of a language I as introduced to when studying Linguistics—
Lusi was spoken by only about 1000 people in Papua New Guinea. 

Lusi is a simple language in the sense that a
Pidgin (a lingua franca to communicate between speakers of other languages)
and Creole (a language that originated as a mixed language)
 languages are simple--structurally simple. There are no exceptions to the 
rules.
There is a smaller lexicon.

Languages are said to become progressively simpler as they approach the ideal 
of a one-to-one correspondence between form and meaning.
A well-designed computer language is unambiguous but all known natural 
languages exhibit the property of ambiguity.

Tok Pisin developed post European contact and is an English-based creole—in a
land of more than 500 mutually unintelligible languages Tok Pisin became an 
official language of PNG

One thing that makes APL simple is a consistent syntax. J was designed as a 
simplified, more elegant version of APL.
You can learn a small subset of APL or J that serves your need without 
mastering the entire language.

English and other native languages develop all kinds of complexities and yet a 
child can master them--babies are voracious statistical learning machines.


Your friend wants to learn more English to be able to discuss particle physics 
and cosmology at Harvard. See:


Roberto Trotta, an astrophysicist, tells the history of the universe using only 
one thousand most-used words in the English language in a book called "The Edge 
Of The Sky.". 

> Big ideas don’t always need big words
> 
> Roberto Trotta: "The Edge of Sky" | Talks at Google
> 
> http://robertotrotta.com 
 
--
For information about J forums see http://www.jsoftware.com/forums.htm

Re: [Jchat] broken images on iverson document

[Brian Schott]

That article really appeals to me. It made me wish KEI had made a video of
it.

On Fri, Nov 2, 2018 at 11:34 AM Raul Miller  wrote:

> http://www.jsoftware.com/papers/camn.htm
>
>
>
--
For information about J forums see http://www.jsoftware.com/forums.htm

Re: [Jchat] broken images on iverson document

[chris burke]

Fixed now, thanks.

On Fri, Nov 2, 2018 at 8:34 AM Raul Miller  wrote:

> http://www.jsoftware.com/papers/camn.htm
>
> "This document must be viewed with a graphical browser."
>
> (but the images are broken.)
>
> I haven't spidered the jsoftware site to look for documents in a
> similar state and/or to try to locate the missing images. [Should I]?
>
> Thanks,
>
> --
> Raul
> --
> For information about J forums see http://www.jsoftware.com/forums.htm
--
For information about J forums see http://www.jsoftware.com/forums.htm

[Jchat] broken images on iverson document

[Raul Miller]

http://www.jsoftware.com/papers/camn.htm

"This document must be viewed with a graphical browser."

(but the images are broken.)

I haven't spidered the jsoftware site to look for documents in a
similar state and/or to try to locate the missing images. [Should I]?

Thanks,

-- 
Raul
--
For information about J forums see http://www.jsoftware.com/forums.htm

Re: [Jchat] Quaternions

['Mike Day' via Chat]

re my proto-script posted earlier, copied below, rank 1 seems ok for outer 
product of  “vectors” of Cayley-Dickson construction representations, held as 
2-column tables:

(Sorry - this looks awful in iPad draft, but might be ok on desk/ and lap/tops)

   $(1j2 3j4, 5j6 7j8,: 9j10 11j12) qmult/5j6 7j8,9j10 11j12, 13j14 15j16,: 
17j18 19j20
3 4 2
   <"2(1j2 3j4,5j6 7j8,:9j10 11j12)qmult/5j6 7j8,9j10 11j12,13j14 15j16,:17j18 
19j20
+--+++
| _60j12  30j24| _124j60   70j80|_188j108 110j136|
| _92j20  54j40|_188j100 126j128|_284j180 198j216|
|_124j28  78j56|_252j140 182j176|_380j252 286j296|
|_156j36 102j72|_316j180 238j224|_476j324 374j376|
+--+++
  $(1j2 3j4,5j6 7j8,:9j10 11j12)qmult/5j6 7j8,9j10 11j12,13j14 15j16,:17j18 
19j20
3 4 2

Mike

Sent from my iPad

> On 2 Nov 2018, at 10:11, 'Mike Day' via Chat  wrote:
> 
> fwiw, I wrote a few Mickey-Mouse verbs yesterday while waiting for my 
> virus-checker
> to go through its paces.  Mainly to get my head round the Cayley-Dickson 
> complex duple
> representations. Here's a proto-script below my sign-off; for starters, I've 
> assumed
> 2-column arrays, but rank 1 might not be the way to go (?) - I haven't got 
> into
> arrays of quaternions yet!
> 
> Mike
> 
> Apologies for any line-wrapping - it looks ok this end!
> ===
> NB. Cayley-Dickson construction
> 
> NB. based on entries in
> NB. https://en.wikipedia.org/wiki/Quaternion
> NB. and
> NB. https://en.wikipedia.org/wiki/Cayley-Dickson_construction
> 
> NB. Quaternion quadruple (a b c d) with a,b,c,d e. ℝ is stored as a complex 
> duple ajb cjd  e. ℂ2
> 
> NB. conjugate of complex duple q = (a,b) is q* = (a*, -b) where * is complex 
> conjugate
> 
> NB. Addition   (a,b) + (c,d) = (a+b, c+d) ... so dyad + works without 
> needing modification
> 
> NB. Multiplication (a,b) * (c,d) = (ac-b.d*, ad+b.c*),  where * is comp conj
> NB.  = (a,b) +/ . * (c d*)
> NB. (d c*)  <== 2x2 complex matrix
> 
> NB. Magnitude
> NB.magnitude squared of (a,b), ||(a,b)||^2  = |a|^2 + |b|^2 e. ℝ where 
> |a| is magnitude of complex a
> 
> NB. Reciprocal (a,b)^_1 = (a*, -b)% ||(a,b)||^2
> 
> NB. Norm
> NB.(magnitude, 0)   e.  ℝ2 e. ℂ2  - not sure why it needs to be a 
> quaternion!?
> 
> NB. complex verbs
> cconj   =: +
> cnormsq =: *+
> cnorm   =: %: @ cnormsq
> 
> NB. Quaternion verbs
> qconj  =: ((cconj@[,-@])/)"1 NB. conjugate of (a,b)
> qmult  =: (+/ . * (,:_1 1 * |. @: cconj))"1  NB. multiply (a,b)*(c,d)
> qmagsq =: (+/ @: cnormsq)"1  NB. Magnitude squared
> qmag   =: %: @ qmagsqNB. Magnitude
> qnorm  =: (0,~ qmag)"1   NB. Norm
> qscalar=: (-: @ (+ qconj))"1 NB. "Scalar" part
> qvector=: (-: @ (- qconj))"1 NB. "Vector" part
> qrecip =: ((cconj@[, -@])/ % qmagsq)"1   NB. Reciprocal
> qdivl  =: qmult qrecip   NB. via left quotient  - 
> cribbed from Zhuravlov
> qdivr  =: qmult~qrecip   NB. via right quotient - 
> cribbed from Zhuravlov
> 
> NB.1j2 3j4 qmult 5j6 7j8
> NB. _60j12 30j24
> NB.
> NB._60j12 30j24 qdivl 5j6 7j8
> NB. 1j2 3j4
> NB.
> NB._60j12 30j24 qdivr 1j2 3j4
> NB. 5j6 7j8
> 
>> On 01/11/2018 19:38, Raul Miller wrote:
>> Rotations can be dizzying to think about, so this sort of issue is
>> maybe best visited casually over a period of time rather than jammed
>> into an intensive study session.
>> 
>> That said, the wikipedia page on Gimbal Lock can help motivate an
>> understanding of why a person might want to use quaternions to
>> represent rotation in three dimensions.
>> 
>> Thanks,
>> 
> 
> 
> ---
> This email has been checked for viruses by Avast antivirus software.
> https://www.avast.com/antivirus
> 
> --
> For information about J forums see http://www.jsoftware.com/forums.htm
--
For information about J forums see http://www.jsoftware.com/forums.htm

Re: [Jchat] Quaternions

['Mike Day' via Chat]

fwiw, I wrote a few Mickey-Mouse verbs yesterday while waiting for my 
virus-checker
to go through its paces.  Mainly to get my head round the Cayley-Dickson 
complex duple
representations. Here's a proto-script below my sign-off; for starters, 
I've assumed
2-column arrays, but rank 1 might not be the way to go (?) - I haven't 
got into

arrays of quaternions yet!

Mike

Apologies for any line-wrapping - it looks ok this end!
===
NB. Cayley-Dickson construction

NB. based on entries in
NB. https://en.wikipedia.org/wiki/Quaternion
NB. and
NB. https://en.wikipedia.org/wiki/Cayley-Dickson_construction

NB. Quaternion quadruple (a b c d) with a,b,c,d e. ℝ is stored as a 
complex duple ajb cjd  e. ℂ2


NB. conjugate of complex duple q = (a,b) is q* = (a*, -b) where * is 
complex conjugate


NB. Addition   (a,b) + (c,d) = (a+b, c+d) ... so dyad + works 
without needing modification


NB. Multiplication (a,b) * (c,d) = (ac-b.d*, ad+b.c*),  where * is comp conj
NB.  = (a,b) +/ . * (c d*)
NB. (d c*)  <== 2x2 complex 
matrix


NB. Magnitude
NB.    magnitude squared of (a,b), ||(a,b)||^2  = |a|^2 + |b|^2 e. ℝ 
where |a| is magnitude of complex a


NB. Reciprocal (a,b)^_1 = (a*, -b)% ||(a,b)||^2

NB. Norm
NB.    (magnitude, 0)   e.  ℝ2 e. ℂ2  - not sure why it needs to be 
a quaternion!?


NB. complex verbs
cconj   =: +
cnormsq =: *+
cnorm   =: %: @ cnormsq

NB. Quaternion verbs
qconj  =: ((cconj@[,-@])/)"1 NB. conjugate of (a,b)
qmult  =: (+/ . * (,:_1 1 * |. @: cconj))"1  NB. multiply (a,b)*(c,d)
qmagsq =: (+/ @: cnormsq)"1  NB. Magnitude squared
qmag   =: %: @ qmagsq    NB. Magnitude
qnorm  =: (0,~ qmag)"1   NB. Norm
qscalar=: (-: @ (+ qconj))"1 NB. "Scalar" part
qvector=: (-: @ (- qconj))"1 NB. "Vector" part
qrecip =: ((cconj@[, -@])/ % qmagsq)"1   NB. Reciprocal
qdivl  =: qmult qrecip   NB. via left quotient  
- cribbed from Zhuravlov
qdivr  =: qmult~qrecip   NB. via right quotient 
- cribbed from Zhuravlov


NB.    1j2 3j4 qmult 5j6 7j8
NB. _60j12 30j24
NB.
NB.    _60j12 30j24 qdivl 5j6 7j8
NB. 1j2 3j4
NB.
NB.    _60j12 30j24 qdivr 1j2 3j4
NB. 5j6 7j8

On 01/11/2018 19:38, Raul Miller wrote:

Rotations can be dizzying to think about, so this sort of issue is
maybe best visited casually over a period of time rather than jammed
into an intensive study session.

That said, the wikipedia page on Gimbal Lock can help motivate an
understanding of why a person might want to use quaternions to
represent rotation in three dimensions.

Thanks,




---
This email has been checked for viruses by Avast antivirus software.
https://www.avast.com/antivirus

--
For information about J forums see http://www.jsoftware.com/forums.htm