Top
Back: changeDenominator
Forward: isNormal
FastBack:
FastForward:
Up: normal_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.4.25.15 normalConductor

Procedure from library normal.lib (see normal_lib).

Usage:
normalConductor(I); I ideal

Assume:
I is a radical ideal

Return:
the conductor of R/I as ideal in R

Remarks:
The procedures makes use of the minimal primes and
the generators of the normalization given by the normalization algorithm.

Note:
the optional parameter can be used if the normalization has already been computed. If a list L contains the output of the procedure normal (with options prim, wd and usering if the ring has a mixed ordering), apply normalConductor(I,L)

Example:
 
LIB "normal.lib";
///////////////////////////////////////////
// Computation of small conductor ideals //
///////////////////////////////////////////
ring R = 0,(x,y,z),ds;
ideal I = x2y2 - z;
normalConductor(I);
==> _[1]=1
// The conductor is the whole ring - so the ring is normal
// We can also see this using the delta invariant:
curveDeltaInv(I);
==> 0
ring S = 0,(a,b,c),dp;
ideal J = abc;
normalConductor(J);
==> _[1]=bc
==> _[2]=ac
==> _[3]=ab
// The conductor is not the whole ring - so it is not normal
// We can also see this using the delta invariant, which is even infinite
curveDeltaInv(J);
==> -1
kill R,S;
/////////////////////////////////////
// Computation of a bigger example //
/////////////////////////////////////
ring R = 0,(x,y,z,t),ds;
ideal I = xyz - yzt, x2y3 - z2t4;
I = std(radical(I));
// Ideal I
I;
==> I[1]=x2y-xyt
==> I[2]=xyz-yzt
==> I[3]=xzt-zt2
==> I[4]=xy3-z2t3
==> I[5]=y3zt-z3t3
// Conductor
normalConductor(I);
==> _[1]=xy
==> _[2]=xz-zt
==> _[3]=yt
==> _[4]=x2t-xt2
==> _[5]=zt2
==> _[6]=y3z
See also: curveConductorMult.


Top Back: changeDenominator Forward: isNormal FastBack: FastForward: Up: normal_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 4.3.1, 2022, generated by texi2html.