D.4.9.1 integralBasis

Usage:

integralBasis(f, intVar); f irreducible polynomial in two variables, intVar integer indicating that the intVar-th variable of the ring is the integral element.
The base ring must be a ring in two variables, and the polynomial f must be monic as polynomial in the intVar-th variable.
Optional parameters in list choose (can be entered in any order):
Parameters for selecting the algorithm:
- "global" -> computes the integral basis by computing the normalization of R/<f>, where R is the base ring.
- "local" -> computes the integral basis by computing the normalization of R/<f> localized at each component of the singular locus of R/<f>, and then putting everything together.
This is the default option.
Other parameters:
- "isIrred" -> assumes that the input polynomial f is irreducible, and therefore will not check this. If this option is given but f is not irreducible, the output might be wrong.
- list("inputJ", ideal inputJ) -> takes as initial test ideal the ideal inputJ. This option is only for use in other procedures. Using this option, the result might not be the integral basis.
(When this option is given, the global option will be used.)
- list("inputC", ideal inputC) -> takes as initial conductor the ideal inputC. This option is only for use in other procedures. Using this option, the result might not be the integral basis.
(When this option is given, the global option will be used.)

Return:

a list, say l, of size 2.
l[1] is an ideal I and l[2] is a polynomial D such that the integral basis is b_0 = I[1] / D, b_1 = I[2] / D, ..., b_{n-1} = I[n] / D.
That is, the integral closure of k[x] in the algebraic function field k(x,y) is
k[x] b_0 + k[x] b_1 + ... + k[x] b_{n-1},
where we assume that x is the transcendental variable, y is the integral element (indicated by intVar), f gives the integral equation and n is the degree of f as a polynomial in y.

Theory:

We compute the integral basis of the integral closure of k[x] in k(x,y) by computing the normalization of the affine ring k[x,y]/<f> and converting the k[x,y]-module generators into a k[x]-basis.

LIB "integralbasis.lib";
printlevel = printlevel+1;
ring s = 0,(x,y),dp;
poly f = y5-y4x+4y2x2-x4;
list l = integralBasis(f, 2);
==> The number of components of the Singular Locus is  1
l;
==> [1]:
==>    _[1]=x3
==>    _[2]=x3y
==>    _[3]=x2y2
==>    _[4]=xy3
==>    _[5]=y4+4x2y
==> [2]:
==>    x3
// The integral basis of the integral closure of Q[x] in Q(x,y) consists
// of the elements of l[1] divided by the polynomial l[2].
printlevel = printlevel-1;