> As well, +/,selfclassify v should be #v . +/,selfclassify v should be no less than #v . It's really strange for the sum to be less than #v, because that means there are items in v not equal (tolerant or otherwise) to any of the unique items of v .
If = is transitive, then +/,selfclassify v is exactly #v, and selfclassify v can be used to partition v . ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
