Finding an integral basis of a relative extension of nf's

[Mak Trifkovic <mak@math.mcgill.ca>]

Hi,

I need help with the following:

I have a number field K=bnfinit(P(y)), and an extension L given by a
polynomial Q(x) in K[x].  Assuming K has class number one,how do I get
gp to find an integral basis for O_L over O_K, expressed as a set of
polynomials in x with coefficients in Q[y]?

thanks,
Mak