On Fri, Jul 31, 2009 at 8:13 AM, Kip Murray<[email protected]> wrote: > As it happens, set box is the empty set. It is a good thing that _nothing_ is > an element of set box . Not allowing i.0 0 to be an element is the price I > pay > for having an empty set in this model of finite set theory.
I do not understand why you do not use empty sequence to represent empty set. isset=: (-: /:~) *. (-: ~.@,) *. -:&'' +. 0 < L. seems simple enough. -- Raul ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
