Hi Amnon. I find your suggestion is very interesting. If you ask me, I would use the
substitute algorithm to apply a series of rules, but I see the simplification that might be introduced by the
In my ignorance, I would suggest to see the implementation of properties like
SelfCommuting, since these apply to any of the objects in a set... However, I have doubts about avoiding the self-orthogonality!