"Source: Text/Module/ModDed.text";
"Line: 128";
"Date: Fri Sep 26 12:10:11 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Module/ModDed.text, line: 128
// Example: H61E1 ()
print "Example: H61E1";
ei := GetEchoInput();
SetEchoInput(true);
x := ext<Integers()|>.1;
M := MaximalOrder(x^2 + 5);
Module(M, 5);
I := 1/5*M;
Module([I, I^3, I^8]);
V := RModule(M, 3);
Module([<I, V![0, 1, 0]>, <I^4, V![2, 3, 5]>]);
P<x> := PolynomialRing(Rationals());
P<y> := PolynomialRing(P);
F<c> := FunctionField(x^2 - y);
M := MaximalOrderFinite(F);
Module(M, 5);
I := 1/5*M;
Module([I, I^3, I^8]);
V := RModule(M, 3);
Module([<I, V![0, 1, 0]>, <I^4, V![2, 3, 5]>]);
SetEchoInput(ei);
