EllChab ReductionìComputes the map between Abelian groups induced by the reduction map. The codomain of the returned map is isomorphic to the group of rational points on the curve in reduction. Presently, the elliptic curve must have good reduction at P.Ù¯¯¯ÚÿÚÿÚÿ FormalLog†Returns a formal power series log(z) of E, together with a point P(z), such that the map P(z):->log(z) describes the formal logarithm.NtÚÿÚÿÚÿRelevantCosetsFComputes useful information for Chabauty methods using elliptic coversSÙSx¯/ÚÿÚÿÚÿÚÿÀCosetIntersectionòComputes the intersection of two collections of cosets of an abelian group. If the parameter Weak is supplied, returns cosets of the kernel associated with V, otherwise returns cosets of the intersection of the kernels associated with V and W///ÚÿÚÿÚÿÚÿ