Dear list,
I think I have found a bug in the nset package. For example,
kill("all");
load("nset");
a:set(1,2)$
b:set(2,1)$
setequality(a,b);
returns unevaluated. This last function is documented, but is not
defined. I think this is a bug. A work-around is to define
setequality(a,b):= (subsetp(a,b) and subsetp(b,a));
but this has no error trapping.
Chris