User:Tom Allen/ta/AddendumX01P04

From J Wiki
Jump to navigation Jump to search


GX01P04DOC.png


GX01P0400C.jpg


NB. ... execute (ijx) ...

   zS0=:,:@(1 1 2 8 1 1 8 _8 0"_)

   xCpts=:_ 0.7 1.3 51,_ 0.4p1 0.6p1 51,_ 0 2p1 51,:_ 0 2p1 51"_

   mtA=:(zS0([Ocndc       yRef@hkyX01A)])                                 zfyc"1 ((0.1;50"_)pTRandom xCpts)''
   mtB=:(zS0(0|:])@([:(zS0([(0{])@Ocn       yRef@hkyX01A),:@])D.1])"_ 1]) zfyc"1 ((0.1;50"_)pTRandom xCpts)''

   mtA (((2^_44);2^_12)qteq[;])"2 mtB
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1

   mtA=:(zS0([Ocndcdc     yRef@hkyX01A)])                                 zfyc"1 ((0.1;50"_)pTRandom xCpts)''
   mtB=:(zS0(0|:])@([:(zS0([(0{])@Ocndc     yRef@hkyX01A),:@])D.1])"_ 1]) zfyc"1 ((0.1;50"_)pTRandom xCpts)''

   mtA (((2^_44);2^_09)qteq[;])"3 mtB
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1

   mtA=:(zS0([Ocndcdcdc   yRef@hkyX01A)])                                 zfyc"1 ((0.1;50"_)pTRandom xCpts)''
   mtB=:(zS0(0|:])@([:(zS0([(0{])@Ocndcdc   yRef@hkyX01A),:@])D.1])"_ 1]) zfyc"1 ((0.1;50"_)pTRandom xCpts)''

   mtA (((2^_44);2^_09)qteq[;])"4 mtB
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1

   mtA=:(zS0([Ocndcdcdcdc yRef@hkyX01A)])                                 zfyc"1 ((0.1;50"_)pTRandom xCpts)''
   mtB=:(zS0(0|:])@([:(zS0([(0{])@Ocndcdcdc yRef@hkyX01A),:@])D.1])"_ 1]) zfyc"1 ((0.1;50"_)pTRandom xCpts)''

   mtA (((2^_44);2^_08)qteq[;])"5 mtB
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1


GX01P0401C.jpg


NB. ... execute (ijx) ...

   zS0=:,:@(1 1 2 8 1 1 8 _8 0"_)

   xCpts=:_ 0.7 1.3 51,_ 0.4p1 0.6p1 51,_ 0 2p1 51,:_ 0 2p1 51"_

   mtA=:(zS0([Ocndc       xRef@hkyX01A)])                                                         zfyc"1@((0.1;50"_)pTRandom xCpts)''
   mtB=:(zS0([(0|:])@([:(zS0([(0{])@Ocn       xRef@([hkyX01A zfyc"_ 1)),:@])D.1])"_ 1 zfxc"_ 1)]) zfyc"1@((0.1;50"_)pTRandom xCpts)''
  
   mtA (((2^_30);2^_12)qteq[;])"2 mtB
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1

   mtA=:(zS0([Ocndcdc     xRef@hkyX01A)])                                                         zfyc"1@((0.1;50"_)pTRandom xCpts)''
   mtB=:(zS0([(0|:])@([:(zS0([(0{])@Ocndc     xRef@([hkyX01A zfyc"_ 1)),:@])D.1])"_ 1 zfxc"_ 1)]) zfyc"1@((0.1;50"_)pTRandom xCpts)''
   
   mtA (((2^_25);2^_12)qteq[;])"3 mtB
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1

   mtA=:(zS0([Ocndcdcdc   xRef@hkyX01A)])                                                         zfyc"1@((0.1;50"_)pTRandom xCpts)''
   mtB=:(zS0([(0|:])@([:(zS0([(0{])@Ocndcdc   xRef@([hkyX01A zfyc"_ 1)),:@])D.1])"_ 1 zfxc"_ 1)]) zfyc"1@((0.1;50"_)pTRandom xCpts)''
   
   mtA (((2^_23);2^_11)qteq[;])"4 mtB
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1

   mtA=:(zS0([Ocndcdcdcdc xRef@hkyX01A)])                                                         zfyc"1@((0.1;50"_)pTRandom xCpts)''
   mtB=:(zS0([(0|:])@([:(zS0([(0{])@Ocndcdcdc xRef@([hkyX01A zfyc"_ 1)),:@])D.1])"_ 1 zfxc"_ 1)]) zfyc"1@((0.1;50"_)pTRandom xCpts)''
   
   mtA (((2^_19);2^_11)qteq[;])"5 mtB
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1


GX01P0402C.jpg


NB. ... execute (ijx) ...

   zS0=:,:@(1 1 2 8 1 1 8 _8 0"_)

   xCpts=:_ 0.7 1.3 51,_ 0.4p1 0.6p1 51,_ 0 2p1 51,:_ 0 2p1 51"_
   
   (zS0([(([Ocn xRef)(((2^_44);2^_44)qteq[;])"1 xdy smx"2 1[Ocn yRef)hkyX01A)]) zfyc"1@((0.1;50"_)pTRandom xCpts)''
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1

   (zS0([(([Ocn yRef)(((2^_44);2^_44)qteq[;])"1 ydx smx"2 1[Ocn xRef)hkyX01A)]) zfyc"1@((0.1;50"_)pTRandom xCpts)''
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1


GX01P0403C.jpg


NB. ... execute (ijx) ...

   zS0=:,:@(1 1 2 8 1 1 8 _8 0"_)

   xCpts=:_ 0.7 1.3 51,_ 0.4p1 0.6p1 51,_ 0 2p1 51,:_ 0 2p1 51"_

NB. ... conservation of energy (y-coordinates) ...

   Ocncv=:Ocndc+(0|:])"2@(ch2k((0|:[)smx])"3 1 Ocn)

   (0=]) ((2^_44)qtsz]) +/@((<0 1)|:])"2 (zS0([Ocncv yRef@hkyX01A)]) zfyc"1@((0;50"_)pTRandom xCpts)''
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1

NB. ... conservation of energy (x-coordinates) ...
   
   (0=]) ((2^_44)qtsz]) +/@((<0 1)|:])"2 (zS0([Ocncv xRef@hkyX01A)]) zfyc"1@((0;50"_)pTRandom xCpts)''
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1


GX01P0404C.jpg


NB. ... execute (ijx) ...

   zS0=:,:@(1 1 2 8 1 1 8 _8 0"_)

   xCpts=:_ 0.7 1.3 51,_ 0.4p1 0.6p1 51,_ 0 2p1 51,:_ 0 2p1 51"_
   
NB. ... R is a tensor ...

   vA =:[R xRef
   vB0=:((0|:[)smx])"2 5
   vB1=:((0|:[)smx])"2 5
   vB2=:((0|:[)smx])"2 5
   vB3=:((0|:[)smx])"2 5
   vB4=:((   [)smx])"2 5
   vB =:[(xdy vB4 ydx vB3 ydx vB2 ydx vB1 ydx vB0 R)yRef

   (zS0([(vA(((2^_34);2^_20)qteq[;])"5 vB)hkyX01A)]) zfyc"1 ((0.1;50"_)pTRandom xCpts)''
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1


... for Maxwell's equations ...


NB. ... execute (ijx) ...

   zS0=:,:@(1 1 2 8 1 1 8 _8 0"_)

   xCpts=:_ 0.7 1.3 51,_ 0.4p1 0.6p1 51,_ 0 2p1 51,:_ 0 2p1 51"_
   
   *./^:3"3 (0=]) ((2^_44)qtsz]) (zS0([(]+0|:])"2@:((0 1|:])"3)@(+/"1@((<0 1)|:])"5@R)yRef@hkyX01A)]) (zS0 zfyc"_ 1])@((0;50"_)pTRandom xCpts)''
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
   
   *./^:3"3 (0=]) ((2^_44)qtsz]) (zS0([(]+0|:])"2@:((0 1|:])"3)@(+/"1@((<0 1)|:])"5@R)xRef@hkyX01A)]) (zS0 zfyc"_ 1])@((0;50"_)pTRandom xCpts)''
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
   
   
   *./^:3"3 (0=]) ((2^_44)qtsz]) (zS0([(]+(0 1|:])+0|:])"3@(+/"1@((<0 1)|:])"5@R)yRef@hkyX01A)])      (zS0 zfyc"_ 1])@((0;50"_)pTRandom xCpts)''
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
   
   *./^:3"3 (0=]) ((2^_44)qtsz]) (zS0([(]+(0 1|:])+0|:])"3@(+/"1@((<0 1)|:])"5@R)xRef@hkyX01A)])      (zS0 zfyc"_ 1])@((0;50"_)pTRandom xCpts)''
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1


GX01P0405D.jpg


NB. ... execute (ijx) ...

   zS0=:,:@(1 1 2 8 1 1 8 _8 0"_)

   xCpts=:_ 0.7 1.3 51,_ 0.4p1 0.6p1 51,_ 0 2p1 51,:_ 0 2p1 51"_

NB. ... for a boxed display of verbs ...
NB. ... Edit->Configure->Base->DisplayForm=:2

   X04R0=:+/@((<0 1)|:])"2@(mcn([smx 0|:])"2+/"1@((<0 1)|:])"4@(mcn([smx 0|:])"2 4+/"1@((<0 3)|:])"6@(B2kcvcv+SBkcv)))

   mtA=:(zS0([X04R0 yRef@hkyX01A)]) zfyc"1@((0;50"_)pTRandom xCpts)''
   mtB=:(zS0([X04R0 xRef@hkyX01A)]) zfyc"1@((0;50"_)pTRandom xCpts)''
   
   mtA (((2^_44);2^_40)qteq[;])"0 mtB
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1



Download: File:LX01P04DOC.txt
Download: File:LX01P0400C.txt
Download: File:LX01P0401C.txt
Download: File:LX01P0402C.txt
Download: File:LX01P0403C.txt
Download: File:LX01P0404C.txt
Download: File:LX01P0405D.txt