我需要一个定义实二次域x^2-505的窄希尔伯特类域的多项式。quadray是如何做到这一点的？quadray(x^2-505,-1)?Mod在输出中的含义是什么？
x^4 + Mod(-19*y - 207, y^2 - y - 126)*x^3 + Mod(305*y + 3277, y^2 - y - 126)*x^2 + Mod(-1523*y - 16351, y^2 - y - 126)*x + Mod(21732 - y - 126)
Mod(y，y^2-y-126(的意思是"；y^2的根-y-126"；。你得到的是一个在二次域Q[y]/(y^2-y-126(中具有系数的方程，它同构于Q(sqrt(505((，因为y^2-y-126的判别式是505，即4次在该二次域上的相对扩展。
然而，这不是你想要的答案：quadray(505，-1(只是计算普通的希尔伯特类域，而不是窄域。(-1是导体理想和(-1(=(1(。(事实上，bnfnarrow(bnfinit(y^2-505((告诉你正在寻找学位8的扩展，而不是4！象限功能不合适，请使用
bnrclassfield(bnrinit(bnfinit(y^2-505), [1,[1,1]]))
产生
x^8 + 2*x^7 + (-y + 2)*x^6 + (3*y + 77)*x^5 + (55/2*y + 1317/2)*x^4 + (16*y + 380)*x^3 + (-255/2*y - 5685/2)*x^2 + (95*y + 2125)*x + (650*y + 14625)
这也是8次在Q上的相对扩展(sqrt(505((，除了这次y=sqrt(503(，因为我用显式多项式y^2-505指定了基数。
[1，[1，1]]的意思是：一个模(在类场论的意义上(，其中我们允许在没有有限的地方(初始1(进行分支，而是在无穷大的两个地方([1，1](进行分支。