decompose a regular chain into normalized regular chains - Maple Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Mathematics : Factorization and Solving Equations : RegularChains : ChainTools Subpackage : RegularChains/ChainTools/NormalizeRegularChain

RegularChains[ChainTools][NormalizeRegularChain] - decompose a regular chain into normalized regular chains

Calling Sequence

NormalizeRegularChain(rc, R)

NormalizeRegularChain(rc, R, 'normalized'='strongly')

Parameters

rc

-

regular chain of R

R

-

polynomial ring

'normalized'='strongly'

-

(optional) boolean flag

Description

• 

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.

Examples

withRegularChains:withChainTools:

We define a ring of polynomials.

R:=PolynomialRingx,y,z

R:=polynomial_ring

(1)

We define a regular chain.

rc:=EmptyR

rc:=regular_chain

(2)

rc:=Chainy2z,yx+z,rc,R

rc:=regular_chain

(3)

Equationsrc,R

yx+z,y2z

(4)

We apply RegularChains[NormalizeRegularChain].

lrc:=NormalizeRegularChainrc,R

lrc:=regular_chain

(5)

mapEquations,lrc,R

x+y,y2z

(6)

We check that both chains have the same saturated ideal.

EqualSaturatedIdealsrc,lrc1,R

true

(7)

We check that the new regular chain is strongly normalized.

IsStronglyNormalizedlrc1,R

true

(8)

See Also

Chain, ChainTools, Empty, EqualSaturatedIdeals, Equations, IsStronglyNormalized, PolynomialRing, RegularChains, Triangularize


Download Help Document

Was this information helpful?



Please add your Comment (Optional)
E-mail Address (Optional)
What is ? This question helps us to combat spam