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.