Maple Student Edition
Maple Personal Edition
Maple Player for iPad
Maple T.A. - Testing & Assessment
Maple T.A. MAA Placement Test Suite
Möbius - Online Courseware
Machine Design / Industrial Automation
System Simulation and Analysis
Model development for HIL
Plant Modeling for Control Design
Other Application Areas
High Schools & Two-Year Colleges
Testing & Assessment
High Performance Computing
Maple Ambassador Program
MapleSim Model Gallery
User Case Studies
Exploring Engineering Fundamentals
Teaching Concepts with Maple
Maplesoft Welcome Center
Teacher Resource Center
Student Help Center
RegularChains[ChainTools][NormalizeRegularChain] - 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.
We define a regular chain.
We apply RegularChains[NormalizeRegularChain].
We check that both chains have the same saturated ideal.
We check that the new regular chain is strongly normalized.
Chain, ChainTools, Empty, EqualSaturatedIdeals, Equations, IsStronglyNormalized, PolynomialRing, RegularChains, Triangularize
Download Help Document