[Jprogramming] Composition conjunctions

Mon Oct 2 15:37:01 UTC 2017

Yes, I was not sure if it might only concern the Unix binaries, but 
since it worked on my machine it seemed to concern the Windows binaries 
too. Thanks for clearing it out.  /Erling

On 2017-10-02 17:26, Jose Mario Quintana wrote:
> " I guess the Jx j.dll is compiled without it."
>
> That is correct, both, the provided dll and the so binaries do not support
> avx as stated in the release post:
>
> "
>
> Jx 1.1 Release
>
> A Jx v1.1 Extensions Guide, a J/Jx Cheatsheet, a Jx Assertions script
> together with links to a Windows 64 bit dll, a Unix 64 bit so binaries
> (without avx support) and the patch corresponding to the J806 source
> (beta-6) can be found at the link [0].
>
> "
>
>
> On Mon, Oct 2, 2017 at 10:11 AM, Erling Hellenäs <erling at erlinghellenas.se>
> wrote:
>
>> Hi all !
>>
>> These measurements are with Jx j.dll on the latest Beta release.
>>
>>     n=.500000
>>     v=.?~n
>>     $v
>> 500000
>>     10{.v
>> 50689 85238 136693 442735 25192 304048 139323 96663 216893 142946
>>     ts'-AtTacit-AtTacit-AtTacit-AtTacit- at - v'
>> 0.1156 4.19917e6
>>     ts'-AtTacit-AtTacit-AtTacit-AtTacit-AtopTacit- v'
>> 0.108927 4.20006e6
>>     ts'-At-At-At-At-Atop- v'
>> 3.30635 4.20416e6
>>     ts'-@:-@:-@:-@:- at - v'
>> 0.115168 4.19712e6
>>
>> For some reason my tacit code is on par with the built in code here. The
>> performance of my tacit code is doubled!!! in this release compared to
>> latest stable. There is no avx on this machine. I guess the Jx j.dll is
>> compiled without it. The explicit code is even slower here.
>>
>> The measurements from the latest stable, taken from below:
>>
>>     n=.500000
>>     v=.?~n
>>     $v
>> 500000
>>     10{.v
>> 415593 299586 376558 161399 308885 477430 286004 354448 123594 75795
>>     ts'-AtTacit-AtTacit-AtTacit-AtTacit- at - v'
>> 0.240852 1.32199e8
>>     ts'-AtTacit-AtTacit-AtTacit-AtTacit-AtopTacit- v'
>> 0.2369 1.322e8
>>     ts'-At-At-At-At-Atop- v'
>> 2.96161 1.32204e8
>>     ts'-@:-@:-@:-@:- at - v'
>> 0.158078 1.32197e8
>>
>> Cheers,
>>
>> Erling
>>
>>
>> On 2017-10-02 15:42, Erling Hellenäs wrote:
>>
>>> Hi all !
>>>
>>> I tried to create explicit and tacit definitions of our composition
>>> conjunctions. I think the result could possibly be used to clarify the
>>> descriptions in NuVoc.
>>>
>>> Opinions are welcome, there are probably still some bugs or
>>> misunderstandings of function, there could be interesting aspects to
>>> discuss.
>>>
>>> The printout follows, then my project with definitions, tests and some
>>> minor explanations.
>>>
>>> In the end of the printout there are some performance measurements. The
>>> explicit versions are doing bad in those. The built in versions are
>>> slightly faster, which could be expected.
>>>
>>> Cheers,
>>>
>>> Erling
>>>
>>> ====Printout=======================
>>>
>>>     ts=: 6!:2 , 7!:2@]       NB. Time and space
>>>
>>>     At=: 2 : 0
>>> NB. @:
>>> u v"_ y
>>> :
>>> u x v"_ y
>>> )
>>>
>>>     <At- 1 2
>>> ┌─────┐
>>> │_1 _2│
>>> └─────┘
>>>     NB. < _1_2
>>>     5 <At- 1 2
>>> ┌───┐
>>> │4 3│
>>> └───┘
>>>     NB. < 4 3
>>>
>>>     NB. @:
>>>     AtTacit=: 2 : '[: u v'
>>>
>>>
>>>     <AtTacit- 1 2
>>> ┌─────┐
>>> │_1 _2│
>>> └─────┘
>>>     NB. < _1_2
>>>     5 <AtTacit- 1 2
>>> ┌───┐
>>> │4 3│
>>> └───┘
>>>     NB. < 4 3
>>>
>>>     NB. @:
>>>     <AtTacit-
>>> [: < -
>>>
>>>     Atop=: 2 : 0
>>> NB. @
>>> u At v"v y
>>> :
>>> x u At v"v y
>>> )
>>>
>>>     <Atop- 1 2
>>> ┌──┬──┐
>>> │_1│_2│
>>> └──┴──┘
>>>     NB. _1;_2
>>>     5 <Atop- 1 2
>>> ┌─┬─┐
>>> │4│3│
>>> └─┴─┘
>>>     NB. 4;3
>>>
>>>     NB. @
>>>     AtopTacit=: 2 : '([: u v)"v'
>>>
>>>     <AtopTacit- 1 2
>>> ┌──┬──┐
>>> │_1│_2│
>>> └──┴──┘
>>>     NB. _1;_2
>>>     5 <AtopTacit- 1 2
>>> ┌─┬─┐
>>> │4│3│
>>> └─┴─┘
>>>     NB. 4;3
>>>
>>>     NB. @
>>>     <AtopTacit-
>>> ([: < -)"0 0 0
>>>     <AtopTacit[
>>> ([: < [)"_ _ _
>>>     <AtopTacit i.
>>> ([: < i.)"1 _ _
>>>
>>>     Appose=: 2 : 0
>>> NB. &:
>>> u v"_ y
>>> :
>>> (v"_ x) u v"_ y
>>> )
>>>
>>>     <Appose- 1 2
>>> ┌─────┐
>>> │_1 _2│
>>> └─────┘
>>>     NB. < _1 _2
>>>     5 ([:<<)Appose- 4 5
>>> ┌───┐
>>> │1 0│
>>> └───┘
>>>     NB. < 1 0
>>>
>>>     NB. &:
>>>     ApposeTacitMonadic=: 2 : '[: u [: v ]'
>>>     ApposeTacitDyadic=: 2 : '([: v [) u [: v ]'
>>>
>>>     <ApposeTacitMonadic- 1 2
>>> ┌─────┐
>>> │_1 _2│
>>> └─────┘
>>>     NB. < _1 _2
>>>     5 ([:<<)ApposeTacitDyadic- 4 5
>>> ┌───┐
>>> │1 0│
>>> └───┘
>>>     NB. < 1 0
>>>
>>>     NB. &:
>>>     <ApposeTacitMonadic-
>>> [: < [: - ]
>>>     ([:<<)ApposeTacitDyadic-
>>> ([: - [) ([: < <) [: - ]
>>>
>>>     Compose=: 2 : 0
>>> NB. &
>>> u Appose v"v y
>>> :
>>> x u Appose v"v y
>>> )
>>>
>>>     <Compose- 1 2
>>> ┌──┬──┐
>>> │_1│_2│
>>> └──┴──┘
>>>     NB. _1;_2
>>>     5 ([:<<)Compose- 4 5
>>> ┌─┬─┐
>>> │1│0│
>>> └─┴─┘
>>>     NB. 1;0
>>>
>>>     NB. &
>>>     ComposeTacitMonadic=: 2 : '([: u [: v ])"v'
>>>     ComposeTacitDyadic=: 2 : '(([: v [) u [: v ])"v'
>>>
>>>     <ComposeTacitMonadic- 1 2
>>> ┌──┬──┐
>>> │_1│_2│
>>> └──┴──┘
>>>     NB. _1;_2
>>>     5 ([:<<)ComposeTacitDyadic- 4 5
>>> ┌─┬─┐
>>> │1│0│
>>> └─┴─┘
>>>     NB. 1;0
>>>
>>>     NB. &
>>>     <ComposeTacitMonadic-
>>> ([: < [: - ])"0 0 0
>>>     ([:<<)ComposeTacitDyadic-
>>> (([: - [) ([: < <) [: - ])"0 0 0
>>>
>>>     UnderRankInfinite=: 2 : 0
>>> NB. &.:
>>> v"_^:_1 u v"_ y
>>> :
>>> v"_^:_1 (v"_ x) u v"_ y
>>> )
>>>
>>>     -UnderRankInfinite> 1 2;3 4
>>> ┌─────┐
>>> │_1 _2│
>>> │_3 _4│
>>> └─────┘
>>>     NB. <2 2 $ _1 _2 -3 -4
>>>     (5;6) -UnderRankInfinite> 1 2;3 4
>>> ┌───┐
>>> │4 3│
>>> │3 2│
>>> └───┘
>>>     NB. < 2 2 $ 4 3 3 2
>>>
>>>     NB. &.:
>>>     UnderRankInfiniteTacitMonadic=: 2 : '[: v^:_1 [: u [: v ]'
>>>     UnderRankInfiniteTacitDyadic=: 2 : '[: v^:_1 ([: v [) u [: v ]'
>>>
>>>     -UnderRankInfiniteTacitMonadic> 1 2;3 4
>>> ┌─────┐
>>> │_1 _2│
>>> │_3 _4│
>>> └─────┘
>>>     NB. <2 2 $ _1 _2 -3 -4
>>>     (5;6) -UnderRankInfiniteTacitDyadic> 1 2;3 4
>>> ┌───┐
>>> │4 3│
>>> │3 2│
>>> └───┘
>>>     NB. < 2 2 $ 4 3 3 2
>>>
>>>     NB. &.:
>>>     -UnderRankInfiniteTacitMonadic>
>>> [: >^:_1 [: - [: > ]
>>>     -UnderRankInfiniteTacitDyadic>
>>> [: >^:_1 ([: > [) - [: > ]
>>>
>>>     UnderRankV=: 2 : 0
>>> NB. &.
>>> u UnderRankInfinite v"v y
>>> :
>>> x u UnderRankInfinite v"v y
>>> )
>>>
>>>     -UnderRankV> 1 2; 3 4
>>> ┌─────┬─────┐
>>> │_1 _2│_3 _4│
>>> └─────┴─────┘
>>>     NB. _1 _2; _3 _4
>>>     (5;6) -UnderRankV> 1 2;3 4
>>> ┌───┬───┐
>>> │4 3│3 2│
>>> └───┴───┘
>>>     NB. 4 3;3 2
>>>
>>>     NB. &.
>>>     UnderRankVTacitMonadic=: 2 : '([: v^:_1 [: u [: v ])"v'
>>>     UnderRankVTacitDyadic=: 2 : '([: v^:_1 ([: v [) u [: v ])"v'
>>>
>>>     -UnderRankVTacitMonadic> 1 2; 3 4
>>> ┌─────┬─────┐
>>> │_1 _2│_3 _4│
>>> └─────┴─────┘
>>>     NB. _1 _2; _3 _4
>>>     (5;6) -UnderRankVTacitDyadic> 1 2;3 4
>>> ┌───┬───┐
>>> │4 3│3 2│
>>> └───┴───┘
>>>     NB. 4 3;3 2
>>>
>>>     NB. &.
>>>     -UnderRankVTacitMonadic>
>>> ([: >^:_1 [: - [: > ])"0 0 0
>>>     -UnderRankVTacitDyadic>
>>> ([: >^:_1 ([: > [) - [: > ])"0 0 0
>>>
>>>     n=.500000
>>>     v=.?~n
>>>     $v
>>> 500000
>>>     10{.v
>>> 415593 299586 376558 161399 308885 477430 286004 354448 123594 75795
>>>
>>>     ts'-AtTacit-AtTacit-AtTacit-AtTacit- at - v'
>>> 0.240852 1.32199e8
>>>     ts'-AtTacit-AtTacit-AtTacit-AtTacit-AtopTacit- v'
>>> 0.2369 1.322e8
>>>     ts'-At-At-At-At-Atop- v'
>>> 2.96161 1.32204e8
>>>     ts'-@:-@:-@:-@:- at - v'
>>> 0.158078 1.32197e8
>>>
>>> ====================== Project =======================================
>>>
>>> ts=: 6!:2 , 7!:2@]       NB. Time and space
>>>
>>> At=: 2 : 0
>>> NB. @:
>>> u v"_ y
>>> :
>>> u x v"_ y
>>> )
>>>
>>> <At- 1 2
>>> NB. < _1_2
>>> 5 <At- 1 2
>>> NB. < 4 3
>>>
>>> NB. @:
>>> AtTacit=: 2 : '[: u v'
>>>
>>>
>>> <AtTacit- 1 2
>>> NB. < _1_2
>>> 5 <AtTacit- 1 2
>>> NB. < 4 3
>>>
>>> NB. @:
>>> <AtTacit-
>>>
>>> Atop=: 2 : 0
>>> NB. @
>>> u At v"v y
>>> :
>>> x u At v"v y
>>> )
>>>
>>> <Atop- 1 2
>>> NB. _1;_2
>>> 5 <Atop- 1 2
>>> NB. 4;3
>>>
>>> NB. @
>>> AtopTacit=: 2 : '([: u v)"v'
>>>
>>> <AtopTacit- 1 2
>>> NB. _1;_2
>>> 5 <AtopTacit- 1 2
>>> NB. 4;3
>>>
>>> NB. @
>>> <AtopTacit-
>>> <AtopTacit[
>>> <AtopTacit i.
>>>
>>> Appose=: 2 : 0
>>> NB. &:
>>> u v"_ y
>>> :
>>> (v"_ x) u v"_ y
>>> )
>>>
>>> <Appose- 1 2
>>> NB. < _1 _2
>>> 5 ([:<<)Appose- 4 5
>>> NB. < 1 0
>>>
>>> NB. &:
>>> ApposeTacitMonadic=: 2 : '[: u [: v ]'
>>> ApposeTacitDyadic=: 2 : '([: v [) u [: v ]'
>>>
>>> <ApposeTacitMonadic- 1 2
>>> NB. < _1 _2
>>> 5 ([:<<)ApposeTacitDyadic- 4 5
>>> NB. < 1 0
>>>
>>> NB. &:
>>> <ApposeTacitMonadic-
>>> ([:<<)ApposeTacitDyadic-
>>>
>>> Compose=: 2 : 0
>>> NB. &
>>> u Appose v"v y
>>> :
>>> x u Appose v"v y
>>> )
>>>
>>> <Compose- 1 2
>>> NB. _1;_2
>>> 5 ([:<<)Compose- 4 5
>>> NB. 1;0
>>>
>>> NB. &
>>> ComposeTacitMonadic=: 2 : '([: u [: v ])"v'
>>> ComposeTacitDyadic=: 2 : '(([: v [) u [: v ])"v'
>>>
>>> <ComposeTacitMonadic- 1 2
>>> NB. _1;_2
>>> 5 ([:<<)ComposeTacitDyadic- 4 5
>>> NB. 1;0
>>>
>>> NB. &
>>> <ComposeTacitMonadic-
>>> ([:<<)ComposeTacitDyadic-
>>>
>>> UnderRankInfinite=: 2 : 0
>>> NB. &.:
>>> v"_^:_1 u v"_ y
>>> :
>>> v"_^:_1 (v"_ x) u v"_ y
>>> )
>>>
>>> -UnderRankInfinite> 1 2;3 4
>>> NB. <2 2 $ _1 _2 -3 -4
>>> (5;6) -UnderRankInfinite> 1 2;3 4
>>> NB. < 2 2 $ 4 3 3 2
>>>
>>> NB. &.:
>>> UnderRankInfiniteTacitMonadic=: 2 : '[: v^:_1 [: u [: v ]'
>>> UnderRankInfiniteTacitDyadic=: 2 : '[: v^:_1 ([: v [) u [: v ]'
>>>
>>> -UnderRankInfiniteTacitMonadic> 1 2;3 4
>>> NB. <2 2 $ _1 _2 -3 -4
>>> (5;6) -UnderRankInfiniteTacitDyadic> 1 2;3 4
>>> NB. < 2 2 $ 4 3 3 2
>>>
>>> NB. &.:
>>> -UnderRankInfiniteTacitMonadic>
>>> -UnderRankInfiniteTacitDyadic>
>>>
>>> UnderRankV=: 2 : 0
>>> NB. &.
>>> u UnderRankInfinite v"v y
>>> :
>>> x u UnderRankInfinite v"v y
>>> )
>>>
>>> -UnderRankV> 1 2; 3 4
>>> NB. _1 _2; _3 _4
>>> (5;6) -UnderRankV> 1 2;3 4
>>> NB. 4 3;3 2
>>>
>>> NB. &.
>>> UnderRankVTacitMonadic=: 2 : '([: v^:_1 [: u [: v ])"v'
>>> UnderRankVTacitDyadic=: 2 : '([: v^:_1 ([: v [) u [: v ])"v'
>>>
>>> -UnderRankVTacitMonadic> 1 2; 3 4
>>> NB. _1 _2; _3 _4
>>> (5;6) -UnderRankVTacitDyadic> 1 2;3 4
>>> NB. 4 3;3 2
>>>
>>> NB. &.
>>> -UnderRankVTacitMonadic>
>>> -UnderRankVTacitDyadic>
>>>
>>> n=.500000
>>> v=.?~n
>>> $v
>>> 10{.v
>>>
>>> ts'-AtTacit-AtTacit-AtTacit-AtTacit- at - v'
>>> ts'-AtTacit-AtTacit-AtTacit-AtTacit-AtopTacit- v'
>>> ts'-At-At-At-At-Atop- v'
>>> ts'-@:-@:-@:-@:- at - v'
>>>
>>> ----------------------------------------------------------------------
>>> 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