NB. =/\. B -------------------------------------------------------------

(1 0 0 1,:0 1 0 1) -: =/\. 0 0 1 1 ,: 0 1 0 1

eq=: 4 : 'x=y'

f=: 3 : '(=/\. -: eq/\.) ?y$2'
,f"1 x=.7 8 9,."0 1 [ _1 0 1+  255
,f"1 |."1 x
,f"1 x=.7 8 9,."0 1 [ _1 0 1+4*255
,f"1 |."1 x


NB. =/\. I -------------------------------------------------------------

eq=: 4 : 'x=y'

(=/\. -: eq/\.) x=.1 2 3 1e9 2e9
(=/\. -: eq/\.) |.x

(=/\.   -: eq/\.  ) x=._1e4+?    23$2e4
(=/\.   -: eq/\.  ) x=._1e4+?4   23$2e4
(=/\."1 -: eq/\."1) x
(=/\.   -: eq/\.  ) x=._1e4+?7 5 23$2e4
(=/\."1 -: eq/\."1) x
(=/\."2 -: eq/\."2) x

(=/\.   -: eq/\.  ) x=._1e9+?    23$2e9
(=/\.   -: eq/\.  ) x=._1e9+?4   23$2e9
(=/\."1 -: eq/\."1) x
(=/\.   -: eq/\.  ) x=._1e9+?7 5 23$2e9
(=/\."1 -: eq/\."1) x
(=/\."2 -: eq/\."2) x


NB. =/\. D -------------------------------------------------------------

eq=: 4 : 'x=y'

(=/\.   -: eq/\.  ) x=.0.01*_1e4+?    23$2e4
(=/\.   -: eq/\.  ) x=.0.01*_1e4+?4   23$2e4
(=/\."1 -: eq/\."1) x
(=/\.   -: eq/\.  ) x=.0.01*_1e4+?7 5 23$2e4
(=/\."1 -: eq/\."1) x
(=/\."2 -: eq/\."2) x


NB. =/\. Z -------------------------------------------------------------

eq=: 4 : 'x=y'

(=/\.   -: eq/\.  ) x=.r. 0.1*_1e2+?2     23$2e2
(=/\.   -: eq/\.  ) x=.r. 0.1*_1e2+?2 4   23$2e2
(=/\."1 -: eq/\."1) x
(=/\.   -: eq/\.  ) x=.r. 0.1*_1e2+?2 7 5 23$2e2
(=/\."1 -: eq/\."1) x
(=/\."2 -: eq/\."2) x

'domain error' -: =/\. etx 'deipnosophist'
'domain error' -: =/\. etx ;:'professors in New England'

4!:55 ;:'f eq x'