There seems to be something wrong with equality in 
sage.schemes.hyperelliptic_curves.jacobian_morphism.JacobianMorphism_divisor_class_field

This code demonstrates the weird behavior:

x = GF(7)['x'].gen()
H1 = HyperellipticCurve(x^5+1)
H2 = HyperellipticCurve(x^5+1)
J1 = H1.jacobian()
J2 = H2.jacobian()
# This holds
assert J1 == J2
# BUT THIS FAILS
assert J2(0) == J1(0) 

I think the correct behavior would be J2(0) == J1(0). 

I'm running this on SageMathCloud. 

Thank you.

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