This removes the derive of Eq on Jacobian. It is reported in #42 that it just doesn't work. Jacobian has a scale factor z, where values in Affine would be (x / z^2, y / z^3). If z is different, it may represent the same value with different xs and ys.
A proper Eq implementation in Jacobian may just be converting it to Affine and them do the comparison, but that is not cheap. Unless I figured out a better way, making the conversion explicit for library users, by just removing the Eq derive in Jacobian, may be the better idea.
This removes the derive of
Eq
onJacobian
. It is reported in #42 that it just doesn't work. Jacobian has a scale factorz
, where values in Affine would be(x / z^2, y / z^3)
. Ifz
is different, it may represent the same value with differentx
s andy
s.A proper
Eq
implementation in Jacobian may just be converting it to Affine and them do the comparison, but that is not cheap. Unless I figured out a better way, making the conversion explicit for library users, by just removing theEq
derive in Jacobian, may be the better idea.