This is a bug, probably something wrong with the empty permutation.
- Robert
Hmm... looks like permutation groups aren't being properly coerced
from one Parent to another.
- Robert
There's a whole thread on this topic...
In any case, as the "Parent" has not been specified, I wouldn't want
it to prevent them being equal. But the current asymmetric behavior
is particularly bad.
- Robert