Changes http://wiki.axiom-developer.org/295PERMMovedPointsWrong/diff
--
'movedPoints\$Permutation' computes the set of moved points incorrectly:
\begin{axiom}
p := coerceImages([1,2,3])$PERM INT
movedPoints p
\end{axiom}
Note that 'p' really is the identity permutation, so the set of moved points
should be empty...
This bug was obviously known to the original authors, we read::
movedPoints p == construct p.1 --check on fixed points !!
but they never bothered to fix it. In the line above, 'p.1' simply is the
preimage of the permutation 'p', so there are two ways to fix the bug:
* remove fixed points from preimage and image, always permutations are
generated
* check on fixed points only in movedPoints
Martin
--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
