"Source: Text/Module/ModRng.text";
"Line: 2015";
"Date: Fri Sep 26 12:10:11 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Module/ModRng.text, line: 2015
// Example: H60E11 ()
print "Example: H60E11";
ei := GetEchoInput();
SetEchoInput(true);
K<w> := GaloisField(8);
V3 := VectorSpace(K, 3);
V4 := VectorSpace(K, 4);
M := Hom(V4, V3);
A := M ! [1, w, w^5, 0,  w^3, w^4, w, 1,  w^6, w^3, 1, w^4 ];
A;
Rank(A);
assert $1 eq 3;
Image(A);
Kernel(A);
Cokernel(A);
SetEchoInput(ei);
