Unfortunately, the username, PepeQuintana, that used to work for the J
website stop doing so awhile ago. I also unsubscribed another email
account to other J forums, that was easy; but, although I completed a new
subscription without errors, using this mail account, I could not post to
the other J forums, even after trying the whole cycle a few times.
Chris, if you are reading this, can you help me with these issues?
In the meantime, can anybody else put in the appropriate place in the wiki the
following updated report of the bug (see, [3] in my previous post) ?
JVERSION
Engine: j805/j64/windows
Beta-12: commercial/2016-09-30T15:50:47
Library: 8.05.09
Qt IDE: 1.5.2/5.6.1
Platform: Win 64
Installer: J805 install
InstallPath: g:/program files/j
Contact: www.jsoftware.com
lr=. 5!:5 @ <
NB. "Linear. The linear representation is a string which, when
interpreted, produces the named object."
u=. (<('0');0)`
lr'u'
0`
v=. 0`
(<0)u
┌─────┬─┐
│┌─┬─┐│0│
││0│0││ │
│└─┴─┘│ │
└─────┴─┘
(<0)v
|domain error: v
| (<0) v
|[-11]
erase'v'
1
". 'v=.',lr'u'
v
0`
(<0)v
|domain error: v
| (<0) v
|[-5]
On Tue, Jan 3, 2017 at 4:03 PM, Henry Rich <[email protected]> wrote:
> Please make sure this is on the bug list (Errors) in the Wiki.
>
> Henry Rich
>
>
> On 1/3/2017 11:18 AM, Jose Mario Quintana wrote:
>
>> Sorry, I pressed the wrong button and my previous message was incomplete;
>> this should have been the full message:
>>
>> I am afraid it is the superbug that has been discovered and rediscovered a
>> few times; see [0, 1, 2 and 3].
>>
>> References
>>
>> [0] [Jprogramming] Table of Verbs, Jose Mario Quintana
>> http://www.jsoftware.com/pipermail/programming/2013-April/0
>> 32358.html
>>
>> [1] [Jprogramming] tacit adverb, Dan Bron
>> http://www.jsoftware.com/pipermail/programming/2012-Februar
>> y/027341.html
>>
>> [2] [Jgeneral] Looks like a bug in "., Dan Bron
>> http://www.jsoftware.com/pipermail/general/2009-August/033231.html
>>
>> [3] [Jprogramming] Linear Representation Bug?, Roger Hui
>> http://www.jsoftware.com/pipermail/programming/2009-August/
>> 016011.html
>>
>>
>> On Tue, Jan 3, 2017 at 11:09 AM, Jose Mario Quintana <
>> [email protected]> wrote:
>>
>> I am afraid it is the superbug that has been discovered and rediscovered a
>>> few times; see [0, 1, 2 and 3].
>>>
>>>
>>> References
>>>
>>> [0] [Jprogramming] Table of Verbs, Jose Mario Quintana
>>> http://www.jsoftware.com/pipermail/programming/2013-April/0
>>> 32358.html
>>>
>>> [1] [Jprogramming] tacit adverb, Dan Bron
>>> http://www.jsoftware.com/pipermail/programming/2012-February
>>> /027341.html
>>>
>>> [2] [Jgeneral] Looks like a bug in "., Dan Bron
>>> http://www.jsoftware.com/pipermail/general/2009-August/033231.html
>>>
>>>
>>> On Tue, Jan 3, 2017 at 10:12 AM, 'Pascal Jasmin' via Programming <
>>> [email protected]> wrote:
>>>
>>> This file works j804 and j805, when copied and run with F8, you may need
>>>> to fix newlines
>>>>
>>>>
>>>>
>>>>
>>>> NB.---------------------------------------------------------
>>>> -------------------
>>>> NB. Wicked Tacit Toolkit...
>>>> NB.---------------------------------------------------------
>>>> -------------------
>>>>
>>>> NB. Load it using 0!:0 or similar or
>>>> NB. paste it on an J editing window and use Crtl-A Crtl-E or
>>>> NB. of course, load it using a hot key (or replace '=.' by '=:' if you
>>>> must)
>>>>
>>>> NB. A word is a noun, verb, adverb or conjunction
>>>>
>>>>
>>>> (_ o=. @:) (c=. "_) (e=. &.>) (x=. @:[) (y=. @])
>>>>
>>>> an=. <@:((,'0') ,&< ]) NB. Atomizing words (monadic verb)
>>>>
>>>> Cloak=. (0:`)(,^:) NB. Cloaking (the atomic representaions
>>>> of)
>>>> NB. adverbs or conjunctions as monadic or
>>>> NB. dyadic verbs (adv)
>>>> Cloak=. ((5!:1)@:<'Cloak')Cloak NB. Cloak verbing itself! (monadic ver)
>>>>
>>>> 'amper at evoke fix rank tie'=. Cloak o < e o ;: '& @: `: f. " `'
>>>> NB. Verbing some adverbs and conjunctions
>>>>
>>>> train=. (evoke&6) :. an f. NB. (`:6) with a convinient obverse
>>>> NB. (monadic verb)
>>>> box=. (< o train "0) f. NB. Boxing primitives and pro-words
>>>> NB. (monadic verb)
>>>>
>>>> af=. an o fix
>>>>
>>>> (a0=. `'') (a1=. (@:[) ((<'&')`) (`:6)) (a2=. (`(<(":0);_)) (`:6))
>>>> av=. ((af'a0')`) (`(af'a1')) (`(af'a2') ) (`:6)
>>>> NB. Adverbing a monadic verb (adv)
>>>> assert 1 4 9 -: 1 2 3 *: adv
>>>>
>>>> aw=. < o ((0;1;0)&{::) NB. Fetching the atomic representation
>>>>
>>>> u (a3=. (o (train o aw f.)) ('av'f.)) (a4=. "_)
>>>>
>>>> adv=. train o ((af'a4') ; ] ; (af'a3')"_) f.av
>>>> assert 1 4 9 -: 1 2 3 *: adv
>>>> assert 6 -: * (,^:(0:`(<'/'))) adv 1 2 3
>>>> assert 0 1 3 -: (*:`(+/\)) (train f. o (0&{ , (<'-') , 1&{)) adv 1 2 3
>>>>
>>>> a3=. (o (aw f.)) ('av'f.)
>>>>
>>>> Adv=. (train f. @:) (train o ((af'a4') ; ] ; (af'a3')"_) f.av)
>>>> assert 1 4 9 -: 1 2 3 ((<'*:') ; ] ) Adv
>>>> assert 6 -: * (< , ((<'/')"_)) Adv 1 2 3
>>>> assert 0 1 3 -: (*:`(+/\)) (0&{ , (<'-') , 1&{)@:(('';1)&{::) Adv 1 2 3
>>>>
>>>> Ver=. Cloak o af f. NB. Verbing after fixing a pro-adverb or
>>>> pro-conjunction
>>>> NB. (monadic verb)
>>>> ver=. Cloak o an f. NB. Verbing after fixing an adverb or conjunction
>>>> NB. (monadic verb)
>>>>
>>>> NB. Defining cv in terms of itself...
>>>> cv=. ((rank&_) o < o train)f.adv (>@:) NB. First version
>>>> cv=. (train f. cv at (<x rank _ c)) f.adv NB. Constant verb
>>>> u ( cv=. ( >cv at (<x rank _ c)) f.adv )
>>>> NB. Constant word (adv)
>>>> NB. (cv is to words as c is to nouns)
>>>> assert (CRLF cv _) -: CRLF
>>>> assert (u cv _) <adv -: u <adv
>>>> assert (!@# cv _) <adv -: !@# <adv
>>>> assert (< o ((Ver'cv') o train <'/') _) -: ( < o train (<'/'))
>>>> assert (< o ((Ver'cv') o train <'"') _) -: ( < o train (<'"'))
>>>>
>>>>
>>>> NB. Fetch and From...
>>>> pointers=. (<: o - o i.)`i. @.(0<])
>>>>
>>>> Fetch=. (] amper {:: cv)e o pointers f.adv NB. Verbs mnemonics pointers
>>>> NB. (e.g., ( 'u0 u1 u2 u3'=. 4 Fetch ) j ( 'v0 v1 v2 v3'=. _4 Fetch ) )
>>>>
>>>> assert (< o train 3 Fetch) -: ( 0&({::) 1&({::) 2&({::)) (< adv)
>>>> assert (< o train _3 Fetch) -: (_3&({::) _2&({::) _1&({::)) (< adv)
>>>>
>>>> From=. (] amper { cv)e o pointers f.adv NB. Verbs mnemonics pointers
>>>> NB. From=. (] ([ amper train y)(({ `'')c))e o i. f. adv
>>>> NB. (e.g., ( 'u0 u1 u2 u3'=. 4 From ) j ( 'v0 v1 v2 v3'=. _4 From ) )
>>>>
>>>> assert (< o train 3 From ) -: ( 0&{ 1&{ 2&{ ) (<adv)
>>>> assert (< o train _3 From ) -: (_3&{ _2&{ _1&{ ) (<adv)
>>>>
>>>> Left=. (at [cv)e f.adv
>>>> Right=. (at ]cv)e f.adv
>>>>
>>>> mRS=. (`'') (<&.:train f.av) (`,)(`]) (`:6) (train f. @:
>>>> )(&:(an f.))
>>>> NB. Monadic recursion scope
>>>> assert (1 + (1:`(* $:@<:)@.*) mRS 4) -: 25 NB. Factorial
>>>> fixed
>>>> dRS=. (`'') (<&.:train f.av) (`,) (`]) (,`) ([`) (`:6) (train f. @:
>>>> )(&:(an f.))
>>>> NB. Dyadic recursion scope
>>>> assert (3 (1 + (1:`(%~ * $:&:<:)@.(*@:[))dRS) 7) -: 36 NB. Binomial
>>>> fixed
>>>>
>>>>
>>>> mRS is properly assigned and works as intended from file,
>>>>
>>>>
>>>> mRS
>>>> ((((((`'')(((`'')(&(<&.:(,^:(0:``:)&6 :.(<@:((,'0') ,&<
>>>> ])))@:[)))((`_)(`:6))))(`,))(`]))(`:6))(,^:(0:``:)&6 :.(<@:((,'0') ,&<
>>>> ]))@:))(&:(<@:((,'0') ,&< ])))
>>>>
>>>> but trying to to assign it to this linear representation produces a
>>>> syntax error
>>>>
>>>> mRS =: ((((((`'')(((`'')(&(<&.:(,^:(0:``:)&6 :.(<@:((,'0') ,&<
>>>> ])))@:[)))((`_)(`:6))))(`,))(`]))(`:6))(,^:(0:``:)&6 :.(<@:((,'0') ,&<
>>>> ]))@:))(&:(<@:((,'0') ,&< ])))
>>>> |syntax error
>>>>
>>>>
>>>>
>>>> is this a bug in linear representation? is it directly assignable?
>>>> ----------------------------------------------------------------------
>>>> 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
>
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm
