Mak Trifkovic on Sat, 14 Jun 2003 22:23:50 -0400 (EDT)

[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

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


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]?