"Here's a simpler version of the domain error..."

There are two verbs f and g with demonstrated equivalence in a dyadic
case.  Bringing us through
   NB. .....
   C-:D

f is a fork, g is a hook.

As monads they don't behave alike with a boxed y.
Let's examine the noun presented to f and j in the definitions of h and
i .  h and i are capped forks.

   A,.&.>B
+---+---+
|4 2|4 6|
+---+---+

   g        NB.    (stitch open)
,."0 2 >

Boxes won't stitch to non-boxes.



On Tue, 2012-11-20 at 08:33 +0000,
programming-requ...@forums.jsoftware.com wrote:
> Date: Tue, 20 Nov 2012 03:22:50 -0500
> From: "Linda Alvord" <lindaalv...@verizon.net>
> To: <programm...@jsoftware.com>
> Subject: Re: [Jprogramming] Arc consistency in J
> Message-ID: <000001cdc6f8$3b5c34a0$b2149de0$@net>
> Content-Type: text/plain;       charset="utf-8"
> 
> Here?s a simpler version of the domain error that I can?t correct.
> 
>    A=:4  
>    B=:2 6
>    f=:[: > ,&.>/
>    ]C=:A f B
> 4 2
> 4 6
>    g=:,."0 2 >
>    ]D=:A g B
> 4 2
> 4 6
>    C-:D
> 1
>    h=:[: f,.&.>
>    h
> [: f ,.&.>
>    i=:[: g ,.&.>
>    i
> [: g ,.&.>
>    5!:4 <'h'
>   ?? [:       
>   ?? f        
> ???      ?? ,.
>   ?? &. ??? > 
>    5!:4 <'i'
>   ?? [:       
>   ?? g        
> ???      ?? ,.
>   ?? &. ??? > 
>    A h B
> 4 2 4 6
>    A i B
>    A i B
> |domain error: g
> |   A     i B
>    
>  
> Linda


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

Reply via email to