In 8.4:

sage: F1 = NumberField(x,'b')
sage: F2 = F1
sage: F1==F2
True
sage: F1.is_isomorphic(F2)
False

Oops.  In the code the work is done in the line

t = self.pari_polynomial().nfisisom(other.pari_polynomial())

which in this case returns [0], meaning that the element 0 in F1 satisfies
the defining polynomial of F2.  But the test which follows is t==0 which
returns True.

The problem is that t is a pari gen and Sage tries too hard to compare that
with python 0.  If the test is changed to "if t.sage() == 0" then it works
OK.

I will open a ticket to fix this and meanwhile add a work-around in my
code, but I wonder if something could be changed in the pari/sage interface
to make this not happen at all?

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