<?xml version="1.0" encoding="utf-8" ?> <!-- for emacs: -*- coding: utf-8 -*- --> <!-- Apache may like this line in the file .htaccess: AddCharset utf-8 .html --> <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1 plus MathML 2.0 plus SVG 1.1//EN" "http://www.w3.org/2002/04/xhtml-math-svg/xhtml-math-svg-flat.dtd" > <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en"> <head><title>IntegralClosure : Table of Contents</title> <link rel="stylesheet" type="text/css" href="../../../../Macaulay2/Style/doc.css"/> </head> <body><div><a href="index.html">top</a> | <a href="master.html">index</a> | <a href="http://www.math.uiuc.edu/Macaulay2/">Macaulay2 web site</a></div> <hr/> <h1>IntegralClosure : Table of Contents</h1> <ul><li><span><span><a href="index.html" title="routines for integral closure of affine domains and ideals">IntegralClosure</a> -- routines for integral closure of affine domains and ideals</span></span></li> <li><span><span><tt>AllCodimensions</tt> (missing documentation<!-- tag: AllCodimensions -->)</span></span></li> <li><span><span><a href="_conductor.html" title="the conductor of a finite ring map">conductor</a> -- the conductor of a finite ring map</span></span></li> <li><span><span><a href="___Conductor__Element.html" title="Specifies a particular non-zerodivisor in the conductor.">ConductorElement</a> -- Specifies a particular non-zerodivisor in the conductor.</span></span></li> <li><span><span><a href="_ic__Frac__P.html" title="compute the integral closure in prime characteristic">icFracP</a> -- compute the integral closure in prime characteristic</span></span></li> <li><span><span><a href="_ic__Frac__P_lp..._cm_sp__Conductor__Element_sp_eq_gt_sp..._rp.html" title="Specifies a particular non-zerodivisor in the conductor.">icFracP(..., ConductorElement => ...)</a> -- Specifies a particular non-zerodivisor in the conductor.</span></span></li> <li><span><span><a href="_ic__Frac__P_lp..._cm_sp__Limit_sp_eq_gt_sp..._rp.html" title="Limits the number of computed intermediate modules.">icFracP(..., Limit => ...)</a> -- Limits the number of computed intermediate modules.</span></span></li> <li><span><span><a href="_ic__Frac__P_lp..._cm_sp__Verbosity_sp_eq_gt_sp..._rp.html" title="Prints out the conductor element and the number of intermediate modules it computed.">icFracP(..., Verbosity => ...)</a> -- Prints out the conductor element and the number of intermediate modules it computed.</span></span></li> <li><span><span><a href="_ic__Fractions.html" title="fractions integral over an affine domain">icFractions</a> -- fractions integral over an affine domain</span></span></li> <li><span><span><a href="_ic__Map.html" title="natural map from an affine domain into its integral closure">icMap</a> -- natural map from an affine domain into its integral closure</span></span></li> <li><span><span><a href="_ic__P__Ideal.html" title="compute the integral closure in prime characteristic of a principal ideal">icPIdeal</a> -- compute the integral closure in prime characteristic of a principal ideal</span></span></li> <li><span><span><a href="_idealizer.html" title="compute Hom(I,I) as a quotient ring">idealizer</a> -- compute Hom(I,I) as a quotient ring</span></span></li> <li><span><span><a href="_idealizer_lp..._cm_sp__Index_sp_eq_gt_sp..._rp.html" title="Sets the starting index on the new variables used to build the endomorphism ring Hom(J,J). If the program idealizer is used independently, the user will generally want to use the default value of 0. However, when used as part of the integralClosure computation the number needs to start higher depending on the level of recursion involved. ">idealizer(..., Index => ...)</a> -- Sets the starting index on the new variables used to build the endomorphism ring Hom(J,J). If the program idealizer is used independently, the user will generally want to use the default value of 0. However, when used as part of the integralClosure computation the number needs to start higher depending on the level of recursion involved. </span></span></li> <li><span><span><a href="_idealizer_lp..._cm_sp__Variable_sp_eq_gt_sp..._rp.html" title="Sets the name of the indexed variables introduced in computing the endomorphism ring Hom(J,J).">idealizer(..., Variable => ...)</a> -- Sets the name of the indexed variables introduced in computing the endomorphism ring Hom(J,J).</span></span></li> <li><span><span><a href="___Index.html" title="Optional input for idealizer">Index</a> -- Optional input for idealizer</span></span></li> <li><span><span><a href="_integral__Closure.html" title="integral closure of an ideal or a domain">integralClosure</a> -- integral closure of an ideal or a domain</span></span></li> <li><span><span><a href="_integral__Closure_lp..._cm_sp__Keep_sp_eq_gt_sp..._rp.html" title="list ring generators which should not be simplified away">integralClosure(..., Keep => ...)</a> -- list ring generators which should not be simplified away</span></span></li> <li><span><span><a href="_integral__Closure_lp..._cm_sp__Limit_sp_eq_gt_sp..._rp.html" title="do a partial integral closure">integralClosure(..., Limit => ...)</a> -- do a partial integral closure</span></span></li> <li><span><span><a href="_integral__Closure_lp..._cm_sp__Strategy_sp_eq_gt_sp..._rp.html" title="control the algorithm used">integralClosure(..., Strategy => ...)</a> -- control the algorithm used</span></span></li> <li><span><span><a href="_integral__Closure_lp..._cm_sp__Variable_sp_eq_gt_sp..._rp.html" title="set the base letter for the indexed variables introduced while computing the integral closure">integralClosure(..., Variable => ...)</a> -- set the base letter for the indexed variables introduced while computing the integral closure</span></span></li> <li><span><span><a href="_integral__Closure_lp..._cm_sp__Verbosity_sp_eq_gt_sp..._rp.html" title="display a certain amount of detail about the computation">integralClosure(..., Verbosity => ...)</a> -- display a certain amount of detail about the computation</span></span></li> <li><span><span><a href="_integral__Closure_lp__Ideal_cm__Z__Z_rp.html" title="integral closure of an ideal in an affine domain">integralClosure(Ideal,ZZ)</a> -- integral closure of an ideal in an affine domain</span></span></li> <li><span><span><a href="_integral__Closure_lp__Ring_rp.html" title="compute the integral closure (normalization) of an affine domain">integralClosure(Ring)</a> -- compute the integral closure (normalization) of an affine domain</span></span></li> <li><span><span><a href="_is__Normal.html" title="determine if a reduced ring is normal">isNormal</a> -- determine if a reduced ring is normal</span></span></li> <li><span><span><a href="___Keep.html" title="an optional argument for various functions">Keep</a> -- an optional argument for various functions</span></span></li> <li><span><span><a href="_make__S2.html" title="compute the S2ification of a reduced ring">makeS2</a> -- compute the S2ification of a reduced ring</span></span></li> <li><span><span><a href="___Radical__Codim1.html" title="a symbol denoting a strategy element usable with integralClosure(...,Strategy=>...)">RadicalCodim1</a> -- a symbol denoting a strategy element usable with integralClosure(...,Strategy=>...)</span></span></li> <li><span><span><a href="_ring__From__Fractions.html" title="find presentation for f.g. ring">ringFromFractions</a> -- find presentation for f.g. ring</span></span></li> <li><span><span><a href="___Verbosity.html" title="optional argument describing how verbose the output should be">Verbosity</a> -- optional argument describing how verbose the output should be</span></span></li> </ul> </body> </html>
