In general, it is known that for a field F and for a prime p, (a,b)_p*(a,c)_p=(a,bc)_p for any a, b in F (cf O'meara 63:12). Here ( , )_p denotes the Hilbert Symbol over F localized at p.
sage: K.<a>=NumberField(x^2+5) sage: p=K.primes_above(2)[0];p Fractional ideal (2, a + 1) sage: K.hilbert_symbol(2*a,-1,p) 1 sage: K.hilbert_symbol(2*a,2,p) 1 sage: K.hilbert_symbol(2*a,-2,p) -1 Why is this happening? I tried it using pari commands (pari(K).nfhilbert(2*a,-1,p.pari_prime())) and I'm getting the same thing. I'm afraid I'm making some very trivial error, but it's not obvious to me. -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sage-support. For more options, visit https://groups.google.com/d/optout.
