"Source: Text/Group/GrpMatFF.text";
"Line: 3869";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Group/GrpMatFF.text, line: 3869
// Example: H67E22 ()
print "Example: H67E22";
ei := GetEchoInput();
SetEchoInput(true);
G := MatrixGroup<4, GF(5) | [1,1,0,0, 0,1,0,0, 0,0,1,0, 0,0,0,1],  
      [1,-1,0,0, 0,1,1,0, 0,0,1,0, 0,0,0,1]>;
G;
IsUnipotent(G);
assert $1;

G := UnipotentMatrixGroup(G);
g := GL(4,5)![1,4,4,0, 0,1,3,0, 0,0,1,0, 0,0,0,1]; 
g in G;
assert $1;
phi := WordMap(G);
phi;

assert g in G;
wg := phi(g); wg;
Evaluate(wg, G);
Evaluate(wg, G) eq g;
assert $1;
SetEchoInput(ei);
