"Source: Text/Geometry/ModFrmHil.text";
"Line: 719";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Geometry/ModFrmHil.text, line: 719
// Example: H149E5 ()
print "Example: H149E5";
ei := GetEchoInput();
SetEchoInput(true);
_<x> := PolynomialRing(Rationals());
_<zeta7> := CyclotomicField(7);
F<a> := NumberField(MinimalPolynomial(zeta7 + 1/zeta7));
F;
M := HilbertCuspForms(F, 3*Integers(F));
M;
Mnew := NewSubspace(M);
Dimension(M);
assert $1 eq 1;
Dimension(Mnew);
assert $1 eq 1;
IsDefinite(M);
assert not $1;
IsDefinite(Mnew);
assert $1;
primes := PrimesUpTo(20,F);
[Norm(P) : P in primes];
time for P in primes do HeckeOperator(Mnew,P); end for;
time HeckeOperator(M, primes[1]);
SetEchoInput(ei);
