Computing a hyperelliptic integral using arithmetic in the Jacobian of the curve
In 1970 \textit{R. H. Risch} described the first algorithm for deciding whether an algebraic function has an elementary indefinite integral and for computing it if it exists; his algorithm was not suitable for implementation [Bull. Am. Math. Soc. 76, 605-608 (1970; Zbl 0196.06801)]. \textit{J. H. Davenport} [On the integration of algebraic functions, Springer Lect. Notes Comput. Sci. 102 (1981; Zbl 0471.14009)] and \textit{B. M. Trager} [Integration of algebraic functions, Ph. D. Thesis, Massachusetts Institute of Technology (1984)] gave the first general practical algorithms for computing indefinite integrals of algebraic functions. In this paper the author considers the special problem of computing hyperelliptic integrals, i.e. of integrals \[ \int {R_1 (x) + R_2 (x)y \over R_3 (x) + R_4 (x)y} dx \] where \(R_1, R_2, R_3, R_4\) are polynomials and where \(y\) is defined by an equation \(y^2 = f(x)\), \(f\) a squarefree polynomial of odd degree \(\geq 3\). His algorithm combines Trager's algorithm and the technique, introduced by \textit{D. G. Cantor} [Math. Comput. 48, 95-101 (1987; Zbl 0613.14022)], for computing the Jacobian of the hyperelliptic curve defined by the equation \(y^2 = f(x)\). The author implemented his algorithm in the computer algebra system Maple and compared it with Trager's general algorithm; some examples, which are discussed in detail, show that its computation time is significantly shorter.
- Computing in the Jacobian of a Hyperelliptic Curve
- scientific article; zbMATH DE number 3785004 (Why is no real title available?)
- scientific article; zbMATH DE number 3338114 (Why is no real title available?)
- scientific article; zbMATH DE number 3342122 (Why is no real title available?)
- scientific article; zbMATH DE number 3070524 (Why is no real title available?)
- On the integration of algebraic functions
- Spécialisation de la suite de Sturm et sous-résultants (I)
- The solution of the problem of integration in finite terms
- Absolute reducibility of differential operators and Galois groups
- New spiky and explosive solitary wave solutions for further modified Zakharov-Kuznetsov equation
- Symbolic integration of Jacobi elliptic functions in Maple
- A Maple package for hyperelliptic curves
- scientific article; zbMATH DE number 1263417 (Why is no real title available?)
- Algorithm 736: Hyperelliptic integrals and the surface measure of ellipsoids
- Hyperelliptic integrals and generalized arithmetic-geometric mean
- Computing period matrices and the Abel-Jacobi map of superelliptic curves
- Comments on \textit{Integration of algebraic functions}
- New approach to certain real hyper-elliptic integrals
- Elementary integration of superelliptic integrals
This page was built for publication: Computing a hyperelliptic integral using arithmetic in the Jacobian of the curve
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1894576)
