"Source: Text/Module/ModRng.text";
"Line: 1535";
"Date: Fri Sep 26 12:10:11 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Module/ModRng.text, line: 1535
// Example: H60E8 ()
print "Example: H60E8";
ei := GetEchoInput();
SetEchoInput(true);
V1 := sub<VectorSpace(GF(3), 3) | [1,0,1], [0,1,2]>;
V2 := sub<VectorSpace(GF(3), 4) | [1,1,0,2], [0,0,1,2]>;
H := Hom(V1, V2);
H;
R, f := Reduce(H);
R;
H.1;
f(H.1);
V1.1;
V1.1 * H.1;
Coordinates(V2, V1.1 * H.1);
Coordinates(V2, V1.2 * H.1);
Kernel(f): Maximal;
R.1@@f;
SetEchoInput(ei);
