sage: Qx = PolynomialRing(QQ,'x')
sage: F1 = NumberField(Qx([0,1]),'a1'); F1
Number Field in a1 with defining polynomial x
sage: F2 = NumberField(Qx([0,1]),'a2'); F2
Number Field in a2 with defining polynomial x
sage: F1.is_isomorphic(F2)
False

The bug is because of this:

sage: f1=F1.pari_polynomial(); f1
x
sage: f2=F2.pari_polynomial(); f2
x
sage: f1.nfisisom(f2)
[0]
sage: f1.nfisisom(f2) ==0
True

So pari correctly finds an isomorphism but Sage thinks that paris's [0] is
the same as pari's 0, the latter being what is returned when the fields are
not isomorphic.

John

-- 
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