"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