This is to announce a bugfix for the GAP share package 'GRIM'. The priority
of this fix is high if you use this share package.
This fix corrects an error in the function 'IsFiniteDeterministic'.
To apply the fix, load the zoo archive 'fix3.zoo' from the
bugfixes web page
http://www-groups.dcs.st-and.ac.uk/~gap/Info/bugfixes.html
Alternatively you can find this file in the 'bugfixes' directory of the
GAP ftp distribution.
Unpack the file in the home directory of your GAP distribution (the
directory containing the 'lib' and 'etc' directories) using 'unzoo -x
fix3.zoo' (On a PC or a Mac you will have to enter the argument line after
the call to 'unzoo'.) This will replace the erroneous file by fixed versions.
You can remove the file 'description3' afterwards.
You won't need to recompile anything.
############################################################################# # these commands should run without error if fix3 has been applied. # RequirePackage("grim"); G:=Group([[0,0,0,0,0,1],[0,0,1,0,0,0],[0,0,0,1,0,0],[0,0,0,0,1,0], [1,2,2,1,0,1],[0,-1,-2,-2,-1,-1]]);; if not IsFiniteDeterministic(G) then Error("wrong result"); fi;