Skip to content

Error computing theta series #476

@havarddj

Description

@havarddj

Hi! I tried to compute some Hilbert modular theta series of parallel weight 1 and ran into an issue - apologies if this is my fault or intended behavior:

AttachSpec("hilbertmodularforms/spec");
R<x> := PolynomialRing(Integers());

F := NumberField(x^2-24);
M := GradedRingOfHMFs(F,20);
M11 := HMFSpace(M,10*MaximalOrder(F),[1,1]);

print PossibleGrossenchars(M11);

gives the error:

PossibleGrossenchars(
Mk: Space of Hilbert modular forms over Number Field with defini...
)
PossibleGrossencharsOfRelQuadExt(
K: Number Field with defining polynomial x^2 + 1/5*(-w + 7) ove...,
N: Principal Ideal Generator: [10, 0],
k_hmf: [ 1, 1 ],
chi: 1
)
PrunedGrossencharsSet(
X: Grossencharacters over the Number Field with defining polyno...,
F: Number Field with defining polynomial x^2 - 24 over the Rati...
)
In file ".../hilbertmodularforms/ModFrmHilD/Creation/Dihedral.m", line 112, column 38:
>>     chi_evals := [StrongCoerce(L, chi(I)) : I in idl_gens];
                                        ^
Runtime error in evaluation: 'Something has gone wrong,      Eltseq(g) should give a factorization of g in terms of the generators of the class group.

I'm running Magma V2.28-26 on MacOS (arm).

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions