"Source: Text/Basics/ModFld.text";
"Line: 1896";
"Date: Thu Sep 25 14:47:46 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Basics/ModFld.text, line: 1896
// Example: H29E14 ()
print "Example: H29E14";
ei := GetEchoInput();
SetEchoInput(true);
Q := RationalField();
Q2 := VectorSpace(Q, 2);
Q3 := VectorSpace(Q, 3);
Q4 := VectorSpace(Q, 4);
H23 := Hom(Q2, Q3);
H34 := Hom(Q3, Q4);
x := Q2 ! [ -1, 2 ];
a := H23 ! [ 1/2, 3, 0,  2/3, 4/5, -1 ];
a;
Domain(a);
Codomain(a);
x*a;
b := H34 ! [ 2, 0, 1, -1/2,  1, 0, 3/2, 4,  4/5, 6/7, 0, -9/7];
b;
c := a*b;
c;
x*c;
Image(c);
Kernel(c);
Rank(c);
assert $1 eq 2;
EchelonForm(c);
SetEchoInput(ei);
