 For formula_180 the rational function formula_181 has a zero of order formula_182 at both formula_32 and formula_30 and it has a pole of order formula_185 at formula_23.Therefore, we find divformula_187 and we can simplify this to divformula_188 if formula_32 is a Weierstrass point.For elliptic curves the Jacobian turns out to simply be isomorphic to the usual group on the set of points on this curve, this is basically a corollary of the Abel-Jacobi theorem.