Bug

[joshmaglione]

I don't really know what the problem is.

Example:

G := PCGroup(\[ 7, -3, 3, 3, 3, -3, 3, 3, 1177, 5294, 5175, 4798, 353 ]);
A := AutomorphismGroupByInvariants(G);

Output:

> G := PCGroup(\[ 7, -3, 3, 3, 3, -3, 3, 3, 1177, 5294, 5175, 4798, 353 ]);
> A := AutomorphismGroupByInvariants(G);
   G
   |   GU ( 1 , 3 ^ 1 )
   *
   |   3 ^ 2    (unipotent radical)
   1
   G
   |   GU ( 1 , 3 ^ 1 )
   *
   |   3 ^ 2    (unipotent radical)
   1

AutomorphismGroupByInvariants(
    G: GrpPC
)
PseudoIsometryGroup(
    T: Tensor of valence 3, U2 x U1 >-> U0 U2 : Full Vector space o...
)
__SearchCosetsW(
    T: Tensor of valence 3, U2 x U1 >-> U0 U2 : Full Vector space o...,
    Supergroup: MatrixGroup(7, GF(3)) of order 2^14 * 3^9 * 5 * 13,
    Subgroup: MatrixGroup(7, GF(3)) of order 2^4 * 3^4,
    piV: Mapping from: GL(7, GF(3)) to GL(4, GF(3)) given by a rule [...,
    piW: Mapping from: GL(7, GF(3)) to GL(3, GF(3)) given by a rule [...,
    __THE_W_INDEX: 24,
    MAX: 1073741824
)
__test_pseudo_extension(
    T: Tensor of valence 3, U2 x U1 >-> U0 U2 : Full Vector space o...,
    Supergroup: MatrixGroup(7, GF(3)) of order 2^14 * 3^9 * 5 * 13,
    Subgroup: MatrixGroup(7, GF(3)) of order 2^4 * 3^4,
    h: [1 2 0] [2 2 0] [0 0 1]
)
IsIsometric(
    S: Tensor of valence 3, U2 x U1 >-> U0 U2 : Full Vector space o...,
    T: Tensor of valence 3, U2 x U1 >-> U0 U2 : Full Vector space o...
)
InverseNorm(
    A: Matrix Algebra of degree 4 and dimension 4 over GF(3),
    s: [2 0 0 0] [0 2 0 0] [0 0 2 0] [0 0 0 2]
)
__InverseNormSemisimple(
    T: Matrix Algebra of degree 4 and dimension 2 with 2 generators...,
    s: [2 0 0 0] [0 2 0 0] [0 0 2 0] [0 0 0 2]
)
In file "/home/josh/Magma/GitPackages/Automorphism/src/inv-norm.m", line 96, 
column 10:
>>          assert (a @ T`Star) * a eq s;
            ^
Runtime error in assert: Assertion failed