"Source: Text/Geometry/ModFrmHil.text";
"Line: 536";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Geometry/ModFrmHil.text, line: 536
// Example: H149E3 ()
print "Example: H149E3";
ei := GetEchoInput();
SetEchoInput(true);
R<x> := PolynomialRing(IntegerRing());
F<a> := NumberField(x^2-2);  OF := Integers(F);
M3 := HilbertCuspForms(F, 3*OF, [2,4]); 
Dimension(M3);
assert $1 eq 1;
P2 := Factorization(2*OF)[1][1];
Norm(P2);
assert $1 eq 2;
HeckeOperator(M3, P2);
M5 := HilbertCuspForms(F, 5*OF, [2,4] : QuaternionOrder:=QuaternionOrder(M3) );
Dimension(M5);
assert $1 eq 3;
T2 := HeckeOperator(M5, P2);
K<b> := BaseRing(T2); 
K;
T2;
SetEchoInput(ei);
