D4=QuadraticForm(Matrix(ZZ,4,4,[2,0,0,-1,0,2,0,-1,0,0,2,-1,-1,-1,-1,2]))
G=D4.global_genus_symbol()

sage.quadratic_forms.genera.genus.is_GlobalGenus(G)
G==copy(G)
sage.quadratic_forms.genera.genus.is_GlobalGenus(G)

Another instance of the same problem:

D4=QuadraticForm(Matrix(ZZ,4,4,[2,0,0,-1,0,2,0,-1,0,0,2,-1,-1,-1,-1,2]))
G=D4.global_genus_symbol()

G._local_symbols[0].excess()
G==copy(G)
G._local_symbols[0].excess()

the second answer is wrong here.
The problem seems to originate somewhere in
sage.quadratic_forms.genera.genus.Genus_Symbol_p_adic_ring.canonical_symbol

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

Reply via email to