> < ^ Date: Fri, 13 Sep 1996 17:15:00 +0100 (MET)
> < ^ From: Thomas Breuer <Thomas.Breuer@Math.RWTH-Aachen.DE >
^ Subject: FIX 22 for serious bug in GAP/lib 3.4.3.0 'MTXOps.EquivalenceTest'

This mail contains a bugfix for a serious problem in GAP 3.4.3.
You should apply this bugfix soon.
The problem is in 'MTXOps.EquivalenceTest', and causes it to fail.

VERSION

GAP/lib 3.4.3.0

PRIORITY

The problem is a serious problem, because it may cause a computation to
fail. Thus the bugfix has medium priority, and we recommend that you
apply it soon.

HOW TO APPLY

Go to the GAP directory (the directory with the 'lib/' subdirectory),
name this mail 'fix22lib.dif', and issue the command:

patch -p0 < fix22lib.dif

If 'patch' writes "I can't seem to find a patch in there" try 'patch -v'.
If 'patch -v' gives an error message or reports a version older than 2.1,
get 2.1 from 'ftp://FTP.Math.RWTH-Aachen.DE/pub/gap/utils/patch2_1.zoo'.

This fix changes only the library.
Thus you need not recompile the GAP kernel.

DESCRIPTION

'MTXOps.EquivalenceTest' fails and signals

Error, Length: <list> must be a list at
until Length( base ) = module_descr1[3]
or line > enum.numberLines ... in
MTXOps.EquivalenceTest( d1, d2 ) called from
main loop

CORRECT BEHAVIOUR

gap> d1:= [ [ [ [ Z(2)^0, Z(2)^0 ], [ 0*Z(2), Z(2)^0 ] ],
>           [ [ 0*Z(2), Z(2)^0 ], [ Z(2)^0, 0*Z(2) ] ] ], GF(2), 2 ];;
gap> d2:= [ [ [ [ Z(2)^0, Z(2)^0 ], [ 0*Z(2), Z(2)^0 ] ],
>           [ [ Z(2)^0, 0*Z(2) ], [ Z(2)^0, Z(2)^0 ] ] ], GF(2), 2 ];;
gap> MTXOps.EquivalenceTest( d1, d2 );
rec(
  areequivalent := true,
  transformationMatrix := [ [ Z(2)^0, Z(2)^0 ], [ 0*Z(2), Z(2)^0 ] ] )

COMMENT

'MTXOps.EquivalenceTest' calls 'SpinUpStandard', which returns a record.
This record was used in the following computations, instead of its
'vectors' component.

DIFFS

Prereq: 3.20.1.5
--- lib/matgrp.g        Thu Sep  5 13:50:11 1996
+++ lib/matgrp.g        Fri Sep 13 13:57:48 1996
@@ -2,7 +2,7 @@
 ##
 #A  matgrp.g                    GAP library                  Martin Schoenert
 ##
-#A  @(#)$Id: 1.html,v 1.2 2004/04/21 15:03:10 felsch Exp $
+#A  @(#)$Id: 1.html,v 1.2 2004/04/21 15:03:10 felsch Exp $
 ##
 #Y  Copyright 1990-1992,  Lehrstuhl D fuer Mathematik,  RWTH Aachen,  Germany
 ##
@@ -22,6 +22,10 @@
 ##  matrices, which means the algebra generated by the identity matrix.)
 ##
 #H  $Log: 1.html,v $
 #H  Revision 1.2  2004/04/21 15:03:10  felsch
 #H  Corrected links in the Forum Archive pages.   VF
 #H
 #H  Revision 1.1.1.1  2004/04/20 13:39:30  felsch
 #H  The final GAP-Forum archive until 2003.
 #H
 #H  Revision 1.4  2003/06/12 19:20:34  gap
 #H  Further update. AH
 #H
 #H  Revision 1.3  1997/08/15 11:19:38  gap
 #H  New forum setup. AH
 #H
 #H  Revision 1.2  1997/04/24 15:33:16  gap
 #H  These files were replaced by the versions in WWW. The content is basically the
 #H  same but the formatting has been much more friendly towards the HTML-Converter.
 #H  AH
 #H
 #H  Revision 1.1  1996/10/30 13:07:07  gap
 #H  added forum archive and translation files.
 #H
+#H  Revision 3.20.1.6  1996/09/13 11:56:50  sam
+#H  'MTXOps.EquivalenceTest' needs only the 'vectors' component of the
+#H  record returned by 'SpinUpStandard'
+#H
 #H  Revision 3.20.1.5  1995/11/22  12:12:47  sam
 #H  made MeatAxe functions independent of MatGroupOps
 #H
@@ -1701,7 +1705,8 @@
     enum := LineEnumeration( ns1 );
     line := 1;
     repeat
-        base := SpinUpStandard( [ enum.line( line ) ], module_descr1[1] );
+        base := SpinUpStandard( [ enum.line( line ) ],
+                                module_descr1[1] ).vectors;
         line := line + 1;
     until Length( base ) = module_descr1[3] or line > enum.numberLines;

@@ -1712,7 +1717,8 @@

repeat

-            base := SpinUpStandard( [ enum.line( line ) ], module_descr2[1] );
+            base := SpinUpStandard( [ enum.line( line ) ],
+                                    module_descr2[1] ).vectors;
             line := line + 1;

             if Length( base ) = module_descr2[3] then
END OF  fix22lib.dif ________________________________________________________

> < [top]