[no subject]

[PRATT at MIT-MC (Vaughan Pratt)]

Any chance of getting sxhash a little more random?  At present it maps all
permutations of a list to the same number, making it entirely useless when
you're dealing with such permutations.  (E.g. when I'm operating on the two
formulas (OR P Q) and (OR Q P) in connection with proving the theorem that
they are equivalent, both hash to the same thing.)
It would also be nice if atoms were hashed a little more thoroughly - at
present (A Z), (B Y), (C X) etc. all hash to the same thing.  All these
coincidences wreak havoc with any program using sxhash to implement its
own obarray.