"Source: Text/Module/ModDed.text";
"Line: 962";
"Date: Fri Sep 26 12:10:11 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Module/ModDed.text, line: 962
// Example: H61E7 ()
print "Example: H61E7";
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 | >;
Q1 := quo<Mod | Mod>;
S2 := sub<Mod | Mod.2>;
Q2 := quo<Mod | Mod.2>;
S3 := sub<Mod | 4*Mod.1, Mod.2>;
Q3 := quo<Mod | >;
Q4 := quo<Mod | S1>;
m := 4*Mod.1;
m;
Q1!m;
Q2!m;
m := Mod!m;
Q3!m;
Q4!m;
S1!Mod!V!0;
S2!Mod!Mod.2;
S3!Mod!(4*Mod.1);
SetEchoInput(ei);
