"Source: Text/Module/ModRng.text";
"Line: 1281";
"Date: Fri Sep 26 12:10:11 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Module/ModRng.text, line: 1281
// Example: H60E5 ()
print "Example: H60E5";
ei := GetEchoInput();
SetEchoInput(true);
F2 := GaloisField(2);
V  := VectorSpace(F2, 3);
W  := VectorSpace(F2, 4);
M  := Hom(V, W);
M;
SetEchoInput(ei);
