| |
| | Isomorphisms and Transformations |
 | | A hyperelliptic curve isomorphism curve defined by the data of a linear fractional transformation t(x:z) = (ax + bz:cx + dz), a scale factor e, and a polynomial u(x) of degree at most g + 1, where g is the genus of the curve. |
 | | Given the structure M = (Isom)(C, C') of isomorphisms between curves C and C', returns the isomorphism specified by the linear fractional transformation data sequence t = [a, b, c, d] or by the tuple of data < t, e, u > as an element of M. Transformation(C, t) : CrvHyp, [RngElt] -> CrvHyp, Map |
 | | Returns the hyperelliptic curve C' which is the codomain of the isomorphism specified by the data t, e and u, followed by the the isomorphism to the curve. |
| www.math.niu.edu /help/math/magmahelp/text1027.html (1237 words) |
|