decompose a regular chain into normalized regular chains
NormalizeRegularChain(rc, R, 'normalized'='strongly')
regular chain of R
(optional) boolean flag
The command NormalizeRegularChain(rc, R) returns a triangular decomposition of rc into regular chains in the following sense. The intersection of the saturated ideals of the output regular chains has the same radical as the saturated ideal of rc. Moreover, each output regular chain is normalized.
In addition, if NormalizeRegularChain(rc, R) returns only one regular chain, then this regular chain has the same saturated ideal as rc.
More generally, if a saturated ideal I of an output regular chain has the same dimension as the saturated ideal J of rc, then I is radical whenever J is radical.
If 'normalized'='strongly' is provided, then the output regular chains are strongly normalized.
The notion of a (strongly) normalized regular chain is defined in the ChainTools subpackage overview page.
The notion of a saturated ideal (of a regular chain) is defined in the RegularChains package overview page.
We define a ring of polynomials.
R ≔ PolynomialRing⁡x,y,z
R ≔ polynomial_ring
We define a regular chain.
rc ≔ Empty⁡R
rc ≔ regular_chain
rc ≔ Chain⁡y2−z,y⁢x+z,rc,R
We apply RegularChains[NormalizeRegularChain].
lrc ≔ NormalizeRegularChain⁡rc,R
lrc ≔ regular_chain
We check that both chains have the same saturated ideal.
We check that the new regular chain is strongly normalized.
Download Help Document