Elementary Integration of Superelliptic Integrals

Abstract: Consider a superelliptic integral

I = i n t P / (Q S^{1 / k}) d x

with

m a t h b b K = m a t h b b Q (x i)

,

x i

a primitive

k

th root of unity,

P, Q, S i n m a t h b b K [x]

and

S

has simple roots and degree coprime with

k

. Note

d

the maximum of the degree of

P, Q, S

,

h

the logarithmic height of the coefficients and

g

the genus of

y^{k} - S (x)

. We present an algorithm which solves the elementary integration problem of

I

generically in

O ((k d)^{o m e g a + 2 g + 1} h^{g + 1})

operations.

This page was built for publication: Elementary Integration of Superelliptic Integrals