"Source: Text/Group/GrpMatFF.text";
"Line: 762";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Group/GrpMatFF.text, line: 762
// Example: H67E4 ()
print "Example: H67E4";
ei := GetEchoInput();
SetEchoInput(true);
P := GL(6, 3);

g := P![ 0, 1, 1, 2, 1, 0, 2, 2, 1, 2, 1, 1, 1, 0, 2, 1, 2, 2, 1, 2, 2,
         2, 2, 0, 0, 0, 1, 0, 0, 1, 0, 1, 0, 0, 2, 2 ];

h := P![ 1, 0, 2, 1, 1, 2, 0, 0, 2, 0, 0, 2, 2, 0, 1, 0, 2, 1, 2, 1, 2,
         2, 1, 1, 0, 2, 0, 1, 0, 0, 0, 0, 0, 2, 1, 2 ];

G := sub< P | g, h >;
IsTensor(G);
assert $1;
C := TensorBasis(G);
G.1^C;

IsProportional(G.1^C, 2);
assert $1 or IsProportional(G.1^C, 3);
A := TensorFactors(G);
A[1];
A[2];
SetEchoInput(ei);
