Walter Hofmann on Tue, 17 Apr 2001 10:44:52 +0200


[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

problem with nfhilbert


Hi,

I'm trying to calculate norm residue symbols in the field K=Q_2(i).
Since adjorning sqrt(3) to K is an unramified extension, prime elements
like 1+i are no norms. Thus the local norm residue symbol (1+i,3) is -1.

I use the following lines in gp (2.1.0) to check this:

nf=nfinit(x^2+1)
p=idealprimedec(nf,2)[1]
nfhilbert(nf,1+x,3,p)

But this gives "+1"! Is this a bug in pari or is there an error with my
usage of gp?

Thanks for any help!

Walter