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