| | Rational Points and Group Structure |
 | | Given a Jacobian J of a hyperelliptic curve defined over a finite field or the rationals, determine all rational points on the Jacobian J. In the case where the base field is Q, the corresponding curve must have genus two and be of the form y^2 = f(x), where f has integral coefficients. |
 | | Given a Jacobian J of a hyperelliptic curve defined over the rationals and a finite field K at which J has good reduction, returns the Euler factor of the base extension of J to K. Abelian Group Structure |
 | | Given the Jacobian J of a hyperelliptic curve defined over a finite field and a prime p, this function returns the Sylow p-subgroup of the group of rational points of J, as an abstract abelian group A. The injection from A to J is also returned as well as the generators of the p-Sylow subgroup. |
| cso.ulb.ac.be /~dleemans/magma/text1217.htm (1531 words) |