Computes an integral basis in CC(x)[y] of the integral closure of CC[x] in CC(x,y). We consider x as transcendental and y as algebraic. The i-th element of the integral basis has degree i as a polynomial in y. Note that the integral basis will have coefficients in QQ.
-- -*- M2-comint -*- {* hash: -1462873685 *} |
i1 : R=QQ[x,y] o1 = R o1 : PolynomialRing |
i2 : I=ideal(y^8-x^3*(1+x)^5) 8 8 7 6 5 4 3 o2 = ideal(- x + y - 5x - 10x - 10x - 5x - x ) o2 : Ideal of R |
The object integralBasis is a method function.