description:
equal(one, two) returns:
1|True> if one == two
0|True> if one and two are completely disjoint
values in between otherwise
makes use of simm
examples:
see also:
simm, is-equal
future:
I'm not super happy with the way this is defined.
Isn't it redundant, and just a wrapper around simm?
Wouldn't it be cleaner for it to be binary, and return |True> or |False> and not mess with coefficients?