"Source: Text/Basics/ModFld.text";
"Line: 991";
"Date: Thu Sep 25 14:47:46 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Basics/ModFld.text, line: 991
// Example: H29E12 ()
print "Example: H29E12";
ei := GetEchoInput();
SetEchoInput(true);
Q := RationalField();
Q3 := VectorSpace(Q, 3);
Q4 := VectorSpace(Q, 4);
H34 := Hom(Q3, Q4);
a := H34 ! [ 2, 0, 1, -1/2,  1, 0, 3/2, 4,  4/5, 6/7, 0, -1/3];
b := H34 ! [ 1/2, -3, 0, 5,  1/3, 2, 4/5, 0,  5, -1, 5, 7];
c := H34 ! [ -1, 4/9, 1, -4,  5, -5/6, -3/2, 0,  4/3, 7, 0, 7/9];
d := H34 ! [ -3, 5, 1/3, -1/2,  2/3, 4, -2, 0,  0, 4, -1, 0];
a, b, c, d;
U := sub< H34 | a, b, c, d >;
U:Maximal;
W := H34/U;
W;
SetEchoInput(ei);
