edgarcosta / hilbertmodularforms

Mockup implementation of Hilbert Modular Forms
BSD 3-Clause "New" or "Revised" License
8 stars 15 forks source link

Some issue with coercion in CuspFormFromEigenvalues #426

Closed ahorawa closed 10 months ago

ahorawa commented 11 months ago

I tried to run:

F:=QuadraticField(11*305);
prec:=100;
M:=GradedRingOfHMFs(F, prec);
ZF:=Integers(F);
N:= 1*ZF;
H := HeckeCharacterGroup(N, [1,2]);
chi := H.3;
M1chi := HMFSpace(M, N, [1,1], chi);
DihedralSpace := DihedralForms(M1chi); 

and ran into some issue with coercion of a_nn's into the coefficient ring:

DihedralForms(
Mk: Space of Hilbert modular forms over Quadratic Field with def...
)
ThetaSeries(
Mk: Space of Hilbert modular forms over Quadratic Field with def...,
psi: $.3^2
)
CuspFormFromEigenvalues(
Mk: Space of Hilbert modular forms over Quadratic Field with def...,
coeffs_by_nn: Associative Array with index universe Set of ideals of Maxim...
)
In file "/Users/alexh/Documents/Computations/HMS/hilbertmodularforms/ModFrmHilD/Creation/CuspFormFromEigs.m", line 98, column 58:
>>     coeffs_by_nu[bb][nu] := IdlCoeffToEltCoeff(coeff_ring!a_nn, nu, Weight(
                                                            ^
Runtime error in '!': Illegal coercion
abhijit-mudigonda commented 10 months ago

I believe this was an issue in Dihedral.m that's been fixed by https://github.com/edgarcosta/hilbertmodularforms/pull/440. I'm closing for now but feel free to reopen if you still see the problem.