login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

Submitted by : (unknown) at: 2007-11-17T22:22:39-08:00 (10 years ago)
Name :
Axiom Version :
Category : Severity : Status :
Optional subject :  
Optional comment :

movedPoints$Permutation computes the set of moved points incorrectly:

axiom
p := coerceImages([1,2,3])$PERM INT

\label{eq1}1(1)
Type: Permutation(Integer)
axiom
movedPoints p

\label{eq2}\left\{ \right\}(2)
Type: Set(Integer)

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 when permutations are generated
  • check on fixed points only in movedPoints

This patch chooses the first option, which seems to be also what the original authors had in mind.

Martin

Unfortunately, MathAction doesn't seem to like my patch: I can't upload it. Well it's on the mailing list anyway...

Martin

perm.spad.pamphlet.patch

patch uploaded --billpage, Sat, 03 Jun 2006 16:03:21 -0500 reply
The previous attempt to upload failed because of some over active anti-spam checking. It works now.

fixed in Patch 50 --kratt6, Fri, 27 Oct 2006 03:06:56 -0500 reply
Status: open => closed




  Subject:   Be Bold !!
  ( 13 subscribers )  
Please rate this page: