User:Tom Allen/ta/AddendumX06P00

From J Wiki
Jump to navigation Jump to search


Establish an environment.


NB. ... script experimentalX06.txt ...

NB. ... all the verbs needed by AddendumX06 ...
NB. ... (verbs having to do with z-coordinates and w-coordinates are not used) ...

load jpath '~temp\experimentalT00.ijs'
load jpath '~temp\experimentalT01.ijs'
load jpath '~temp\experimentalT03.ijs'
load jpath '~temp\experimentalU00.ijs'
load jpath '~temp\experimentalU01.ijs'
load jpath '~temp\experimentalU02.ijs'
load jpath '~temp\experimentalU03.ijs'
load jpath '~temp\experimentalU04.ijs'
load jpath '~temp\experimentalV00.ijs'
load jpath '~temp\experimentalW02.ijs'

NB. ... additional verbs for AddendumX06 AddendumX07 and AddendumX08 ...
NB. ... (with no retrospective changes being made to what has come before) ...

load jpath '~temp\experimentalA00.txt'

NB. ... j64-807 is being used for AddendumX06 ...
NB. ... j64-807 has all the functionality required for this material ...
NB. ... (the primitive 'D.1' works well with these tacit verbs for checking derivatives) ...


... check coordinates ...


NB. ... script experimentalX06.txt ...

pUX06A0=:([zfyXX zfxc"_ 1),:zfxXX

pUX06A1=:(0 1{]),zfhcvXX,zfgcvXX,zfhcnXX,:zfgcnXX

hkyX06A=:([pUX06A1 pUX06A0),2 6$a:"_


... check y-coordinates ...


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

   xCpts=:_ 0.9 2 26,_ 0.1p1 0.9p1 26,_ 0.1p1 1.8p1 26,:_ 0 2p1 26"_

   pU0A=:(''([ydx       xRef@([hkyX06A zfyc"_ 1))])                                ((0,50"_)pTRandom xCpts)''
   pU0B=:(''(0|:])@([:(''([(0{])@ypts    xRef@([hkyX06A zfyc"_ 1)),:@])D.1])"_ 1]) ((0,50"_)pTRandom xCpts)''

   pU0A (((2^_27);2^_18)qteq[;])"2 pU0B
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1

   pU0A=:(''([ydxdx     xRef@([hkyX06A zfyc"_ 1))])                                ((0,50"_)pTRandom xCpts)''
   pU0B=:(''(0|:])@([:(''([(0{])@ydx     xRef@([hkyX06A zfyc"_ 1)),:@])D.1])"_ 1]) ((0,50"_)pTRandom xCpts)''

   pU0A (((2^_27);2^_18)qteq[;])"3 pU0B
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1

   pU0A=:(''([ydxdxdx   xRef@([hkyX06A zfyc"_ 1))])                                ((0,50"_)pTRandom xCpts)''
   pU0B=:(''(0|:])@([:(''([(0{])@ydxdx   xRef@([hkyX06A zfyc"_ 1)),:@])D.1])"_ 1]) ((0,50"_)pTRandom xCpts)''

   pU0A (((2^_27);2^_18)qteq[;])"4 pU0B
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1

   pU0A=:(''([ydxdxdxdx xRef@([hkyX06A zfyc"_ 1))])                                ((0,50"_)pTRandom xCpts)''
   pU0B=:(''(0|:])@([:(''([(0{])@ydxdxdx xRef@([hkyX06A zfyc"_ 1)),:@])D.1])"_ 1]) ((0,50"_)pTRandom xCpts)''

   pU0A (((2^_27);2^_18)qteq[;])"5 pU0B
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1


... check x-coordinates ...


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

   xCpts=:_ 0.9 2 26,_ 0.1p1 0.9p1 26,_ 0.1p1 1.8p1 26,:_ 0 2p1 26"_

   pU0A=:(''([xdy       xRef@([hkyX06A zfyc"_ 1))])                            ((0,50"_)pTRandom xCpts)''
   pU0B=:(''(0|:])@([:(''([(0{])@xpts    xRef@hkyX06A),:@])D.1])"_ 1 zfyc"1@]) ((0,50"_)pTRandom xCpts)''

   pU0A (((2^_44);2^_17)qteq[;])"2 pU0B
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1

   pU0A=:(''([xdydy     xRef@([hkyX06A zfyc"_ 1))])                            ((0,50"_)pTRandom xCpts)''
   pU0B=:(''(0|:])@([:(''([(0{])@xdy     xRef@hkyX06A),:@])D.1])"_ 1 zfyc"1@]) ((0,50"_)pTRandom xCpts)''

   pU0A (((2^_44);2^_17)qteq[;])"3 pU0B
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1

   pU0A=:(''([xdydydy   xRef@([hkyX06A zfyc"_ 1))])                            ((0,50"_)pTRandom xCpts)''
   pU0B=:(''(0|:])@([:(''([(0{])@xdydy   xRef@hkyX06A),:@])D.1])"_ 1 zfyc"1@]) ((0,50"_)pTRandom xCpts)''

   pU0A (((2^_44);2^_15)qteq[;])"4 pU0B
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1

   pU0A=:(''([xdydydydy xRef@([hkyX06A zfyc"_ 1))])                            ((0,50"_)pTRandom xCpts)''
   pU0B=:(''(0|:])@([:(''([(0{])@xdydydy xRef@hkyX06A),:@])D.1])"_ 1 zfyc"1@]) ((0,50"_)pTRandom xCpts)''

   pU0A (((2^_44);2^_14)qteq[;])"5 pU0B
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1


... check tensor for lowering indices on tensors (x-coordinates) ...


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

   xCpts=:_ 0.9 2 26,_ 0.1p1 0.9p1 26,_ 0.1p1 1.8p1 26,:_ 0 2p1 26"_

   pU0A=:(''([mcvdc       xRef@([hkyX06A zfyc"_ 1))])                                ((0,50"_)pTRandom xCpts)''
   pU0B=:(''(0|:])@([:(''([(0{])@mcv       xRef@([hkyX06A zfyc"_ 1)),:@])D.1])"_ 1]) ((0,50"_)pTRandom xCpts)''

   pU0A (((2^_25);2^_20)qteq[;])"3 pU0B
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1

   pU0A=:(''([mcvdcdc     xRef@([hkyX06A zfyc"_ 1))])                                ((0,50"_)pTRandom xCpts)''
   pU0B=:(''(0|:])@([:(''([(0{])@mcvdc     xRef@([hkyX06A zfyc"_ 1)),:@])D.1])"_ 1]) ((0,50"_)pTRandom xCpts)''

   pU0A (((2^_25);2^_16)qteq[;])"4 pU0B
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1

   pU0A=:(''([mcvdcdcdc   xRef@([hkyX06A zfyc"_ 1))])                                ((0,50"_)pTRandom xCpts)''
   pU0B=:(''(0|:])@([:(''([(0{])@mcvdcdc   xRef@([hkyX06A zfyc"_ 1)),:@])D.1])"_ 1]) ((0,50"_)pTRandom xCpts)''

   pU0A (((2^_25);2^_16)qteq[;])"5 pU0B
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1

   pU0A=:(''([mcvdcdcdcdc xRef@([hkyX06A zfyc"_ 1))])                                ((0,50"_)pTRandom xCpts)''
   pU0B=:(''(0|:])@([:(''([(0{])@mcvdcdcdc xRef@([hkyX06A zfyc"_ 1)),:@])D.1])"_ 1]) ((0,50"_)pTRandom xCpts)''

   pU0A (((2^_23);2^_16)qteq[;])"6 pU0B
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1


... check tensor for raising indices on tensors (x-coordinates) ...


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

   xCpts=:_ 0.9 2 26,_ 0.1p1 0.9p1 26,_ 0.1p1 1.8p1 26,:_ 0 2p1 26"_

   pU0A=:(''([mcndc       xRef@([hkyX06A zfyc"_ 1))])                                ((0,50"_)pTRandom xCpts)''
   pU0B=:(''(0|:])@([:(''([(0{])@mcn       xRef@([hkyX06A zfyc"_ 1)),:@])D.1])"_ 1]) ((0,50"_)pTRandom xCpts)''

   pU0A (((2^_25);2^_19)qteq[;])"3 pU0B
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1

   pU0A=:(''([mcndcdc     xRef@([hkyX06A zfyc"_ 1))])                                ((0,50"_)pTRandom xCpts)''
   pU0B=:(''(0|:])@([:(''([(0{])@mcndc     xRef@([hkyX06A zfyc"_ 1)),:@])D.1])"_ 1]) ((0,50"_)pTRandom xCpts)''

   pU0A (((2^_22);2^_19)qteq[;])"4 pU0B
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1

   pU0A=:(''([mcndcdcdc   xRef@([hkyX06A zfyc"_ 1))])                                ((0,50"_)pTRandom xCpts)''
   pU0B=:(''(0|:])@([:(''([(0{])@mcndcdc   xRef@([hkyX06A zfyc"_ 1)),:@])D.1])"_ 1]) ((0,50"_)pTRandom xCpts)''

   pU0A (((2^_18);2^_18)qteq[;])"5 pU0B
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1


... check Christoffel symbols of the second kind (x-coordinates) ...


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

   xCpts=:_ 0.9 2 26,_ 0.1p1 0.9p1 26,_ 0.1p1 1.8p1 26,:_ 0 2p1 26"_

   pU0A=:(''([ch2kdc       xRef@([hkyX06A zfyc"_ 1))])                                ((0,50"_)pTRandom xCpts)''
   pU0B=:(''(0|:])@([:(''([(0{])@ch2k       xRef@([hkyX06A zfyc"_ 1)),:@])D.1])"_ 1]) ((0,50"_)pTRandom xCpts)''

   pU0A (((2^_26);2^_16)qteq[;])"4 pU0B
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1

   pU0A=:(''([ch2kdcdc     xRef@([hkyX06A zfyc"_ 1))])                                ((0,50"_)pTRandom xCpts)''
   pU0B=:(''(0|:])@([:(''([(0{])@ch2kdc     xRef@([hkyX06A zfyc"_ 1)),:@])D.1])"_ 1]) ((0,50"_)pTRandom xCpts)''

   pU0A (((2^_23);2^_16)qteq[;])"5 pU0B
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1

   pU0A=:(''([ch2kdcdcdc   xRef@([hkyX06A zfyc"_ 1))])                                ((0,50"_)pTRandom xCpts)''
   pU0B=:(''(0|:])@([:(''([(0{])@ch2kdcdc   xRef@([hkyX06A zfyc"_ 1)),:@])D.1])"_ 1]) ((0,50"_)pTRandom xCpts)''

   pU0A (((2^_19);2^_16)qteq[;])"6 pU0B
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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. ... execute (ijx) ...

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

   xCpts=:_ 1 3 27,_ 0.4p1 0.6p1 27,_ 0.1p1 1.9p1 27,:_ 0 2p1 27"_


   (pU0(>@(1{])@pUBq08XX"_ 1(((2^_44);2^_18)qteq[;])"1(0|:])@([:(pU0>@(0{])@pUBq08XX])D.1])"_ 1)]) 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

   (pU0(>@(2{])@pUBq08XX"_ 1(((2^_44);2^_17)qteq[;])"2(0|:])@([:(pU0>@(1{])@pUBq08XX])D.1])"_ 1)]) 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

   (pU0(>@(3{])@pUBq08XX"_ 1(((2^_44);2^_17)qteq[;])"3(0|:])@([:(pU0>@(2{])@pUBq08XX])D.1])"_ 1)]) 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

   (pU0(>@(4{])@pUBq08XX"_ 1(((2^_44);2^_16)qteq[;])"4(0|:])@([:(pU0>@(3{])@pUBq08XX])D.1])"_ 1)]) 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

   (pU0(>@(5{])@pUBq08XX"_ 1(((2^_40);2^_12)qteq[;])"5(0|:])@([:(pU0>@(4{])@pUBq08XX])D.1])"_ 1)]) 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. ... execute (ijx) ...

   pU0=:,:@(0 2 2 8 0 0 0 0 0"_)

   xCpts=:_ 1 2 27,_ 0.4p1 0.6p1 27,_ 0.1p1 1.9p1 27,:_ 0 2p1 27"_


   (pU0(>@(1{])@pUBq13XX"_ 1(((2^_44);2^_22)qteq[;])"1(0|:])@([:(pU0>@(0{])@pUBq13XX])D.1])"_ 1)]) 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

   (pU0(>@(2{])@pUBq13XX"_ 1(((2^_25);2^_21)qteq[;])"2(0|:])@([:(pU0>@(1{])@pUBq13XX])D.1])"_ 1)]) 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

   (pU0(>@(3{])@pUBq13XX"_ 1(((2^_44);2^_16)qteq[;])"3(0|:])@([:(pU0>@(2{])@pUBq13XX])D.1])"_ 1)]) 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

   (pU0(>@(4{])@pUBq13XX"_ 1(((2^_20);2^_20)qteq[;])"4(0|:])@([:(pU0>@(3{])@pUBq13XX])D.1])"_ 1)]) 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

   (pU0(>@(5{])@pUBq13XX"_ 1(((2^_18);2^_19)qteq[;])"5(0|:])@([:(pU0>@(4{])@pUBq13XX])D.1])"_ 1)]) 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. ... execute (ijx) ...

   pU0=:,:@(0 0 0 0 1.5 1.5 0 0 0"_)

   xCpts=:_ 1 3 27,_ 0.4p1 0.6p1 27,_ 0.1p1 1.9p1 27,:_ 0 2p1 27"_


   (pU0(>@(1{])@pUCh05XX"_ 1(((2^_44);2^_15)qteq[;])"1(0|:])@([:(pU0>@(0{])@pUCh05XX])D.1])"_ 1)]) 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

   (pU0(>@(2{])@pUCh05XX"_ 1(((2^_44);2^_17)qteq[;])"2(0|:])@([:(pU0>@(1{])@pUCh05XX])D.1])"_ 1)]) 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

   (pU0(>@(3{])@pUCh05XX"_ 1(((2^_44);2^_19)qteq[;])"3(0|:])@([:(pU0>@(2{])@pUCh05XX])D.1])"_ 1)]) 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

   (pU0(>@(4{])@pUCh05XX"_ 1(((2^_44);2^_15)qteq[;])"4(0|:])@([:(pU0>@(3{])@pUCh05XX])D.1])"_ 1)]) 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

   (pU0(>@(5{])@pUCh05XX"_ 1(((2^_44);2^_16)qteq[;])"5(0|:])@([:(pU0>@(4{])@pUCh05XX])D.1])"_ 1)]) 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. ... execute (ijx) ...

   pU0=:,:@(0 0 0 0 0 0 2 3 0"_)

   xCpts=:_ 1 3 27,_ 0.4p1 0.6p1 27,_ 0 2p1 27,:_ 0 2p1 27"_


   (pU0(>@(1{])@pUDw10XX"_ 1(((2^_44);2^_15)qteq[;])"1(0|:])@([:(pU0>@(0{])@pUDw10XX])D.1])"_ 1)]) zfyc"1@((0.1p1;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

   (pU0(>@(2{])@pUDw10XX"_ 1(((2^_44);2^_15)qteq[;])"2(0|:])@([:(pU0>@(1{])@pUDw10XX])D.1])"_ 1)]) zfyc"1@((0.1p1;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

   (pU0(>@(3{])@pUDw10XX"_ 1(((2^_44);2^_15)qteq[;])"3(0|:])@([:(pU0>@(2{])@pUDw10XX])D.1])"_ 1)]) zfyc"1@((0.1p1;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

   (pU0(>@(4{])@pUDw10XX"_ 1(((2^_44);2^_15)qteq[;])"4(0|:])@([:(pU0>@(3{])@pUDw10XX])D.1])"_ 1)]) zfyc"1@((0.1p1;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

   (pU0(>@(5{])@pUDw10XX"_ 1(((2^_44);2^_11)qteq[;])"5(0|:])@([:(pU0>@(4{])@pUDw10XX])D.1])"_ 1)]) zfyc"1@((0.1p1;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. ... execute (ijx) ...

   pU0=:,:@(0 0 0 0 0 0 2 3 0"_)

   xCpts=:_ 1 3 27,_ 0.4p1 0.6p1 27,_ 0 2p1 27,:_ 0 2p1 27"_


   (pU0(>@(1{])@pUDw11XX"_ 1(((2^_44);2^_15)qteq[;])"1(0|:])@([:(pU0>@(0{])@pUDw11XX])D.1])"_ 1)]) zfyc"1@((0.1p1;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

   (pU0(>@(2{])@pUDw11XX"_ 1(((2^_44);2^_15)qteq[;])"2(0|:])@([:(pU0>@(1{])@pUDw11XX])D.1])"_ 1)]) zfyc"1@((0.1p1;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

   (pU0(>@(3{])@pUDw11XX"_ 1(((2^_44);2^_15)qteq[;])"3(0|:])@([:(pU0>@(2{])@pUDw11XX])D.1])"_ 1)]) zfyc"1@((0.1p1;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

   (pU0(>@(4{])@pUDw11XX"_ 1(((2^_44);2^_13)qteq[;])"4(0|:])@([:(pU0>@(3{])@pUDw11XX])D.1])"_ 1)]) zfyc"1@((0.1p1;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

   (pU0(>@(5{])@pUDw11XX"_ 1(((2^_44);2^_14)qteq[;])"5(0|:])@([:(pU0>@(4{])@pUDw11XX])D.1])"_ 1)]) zfyc"1@((0.1p1;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. ... execute (ijx) ...

NB. ... the partial derivatives up to the 5th for pUOmS3XX can be checked using the D. primitive (D.1) available in j64-807 ... 

   pU0=:,:@(2 2 2 8 1.5 1.1 2 3 0.9"_)

   xCpts=:_ 1 3 27,_ 0.4p1 0.6p1 27,_ 0 2p1 27,:_ 0 2p1 27"_

   (pU0(>@(1{])@pUOmS3XX"_ 1(((2^_44);2^_15)qteq[;])"1(0|:])@([:(pU0>@(0{])@pUOmS3XX])D.1])"_ 1)]) zfyc"1@((0.1p1;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

   (pU0(>@(2{])@pUOmS3XX"_ 1(((2^_44);2^_15)qteq[;])"2(0|:])@([:(pU0>@(1{])@pUOmS3XX])D.1])"_ 1)]) zfyc"1@((0.1p1;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

   (pU0(>@(3{])@pUOmS3XX"_ 1(((2^_44);2^_15)qteq[;])"3(0|:])@([:(pU0>@(2{])@pUOmS3XX])D.1])"_ 1)]) zfyc"1@((0.1p1;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

   (pU0(>@(4{])@pUOmS3XX"_ 1(((2^_44);2^_14)qteq[;])"4(0|:])@([:(pU0>@(3{])@pUOmS3XX])D.1])"_ 1)]) zfyc"1@((0.1p1;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

   (pU0(>@(5{])@pUOmS3XX"_ 1(((2^_44);2^_14)qteq[;])"5(0|:])@([:(pU0>@(4{])@pUOmS3XX])D.1])"_ 1)]) zfyc"1@((0.1p1;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. ... execute (ijx) ...

load jpath '~temp\experimentalW01.ijs'

NB. ... check that AddendumW02 is consistent with AddendumW01 ...

   pU0=:,:@(0.05 1 2 8 1 1 1 _0.1 0"_)

   uQ0=:,:@(0.05 1 2 8 1 1 1 _0.1 0"_)

   xCpts=:_ 1 3 27,_ 0.4p1 0.6p1 27,_ 0.1p1 1.9p1 27,:_ 0 2p1 27"_

   ((pU0>@(0{])@pUOmSSXX"_ 1])(((2^_44);2^_44)qteq[;])"1(uQ0>@(0{])@zSbQ59XX"_ 1])) 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

   ((pU0>@(1{])@pUOmSSXX"_ 1])(((2^_44);2^_44)qteq[;])"2(uQ0>@(1{])@zSbQ59XX"_ 1])) 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

   ((pU0>@(2{])@pUOmSSXX"_ 1])(((2^_44);2^_44)qteq[;])"3(uQ0>@(2{])@zSbQ59XX"_ 1])) 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

   ((pU0>@(3{])@pUOmSSXX"_ 1])(((2^_44);2^_39)qteq[;])"4(uQ0>@(3{])@zSbQ59XX"_ 1])) 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

   ((pU0>@(4{])@pUOmSSXX"_ 1])(((2^_44);2^_38)qteq[;])"5(uQ0>@(4{])@zSbQ59XX"_ 1])) 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



Next Page: User:Tom Allen/ta/AddendumX06P01
Prev Page: User:Tom Allen/ta