"Source: Text/Module/ModDed.text";
"Line: 250";
"Date: Fri Sep 26 12:10:11 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Module/ModDed.text, line: 250
// Example: H61E2 ()
print "Example: H61E2";
ei := GetEchoInput();
SetEchoInput(true);
x := ext<Integers()|>.1;
M := MaximalOrder(x^2 + 5);
V := RModule(M, 3);
Mod := Module([V|[0,1,0], [4,4,0]]);  
S1 := sub<Mod | >;
S1;
Q1 := quo<Mod | Mod>;
Q1;
S2 := sub<Mod | Mod.2>;
S2;
Q2 := quo<Mod | Mod.2>;
Q2;
S3 := sub<Mod | 4*Mod.1, Mod.2>;
S3;
Q3 := quo<Mod | >;
Q3;
Q4 := quo<Mod | S1>;
Q4;
SetEchoInput(ei);
