RegularChains[ChainTools] - Maple Programming 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

Parameters

Description

Examples

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.

RPolynomialRingx,y,z

R:=polynomial_ring

(1)

We define a regular chain.

rcEmptyR

rc:=regular_chain

(2)

rcChainy2z,yx+z,rc,R

rc:=regular_chain

(3)

Equationsrc,R

yx+z,y2z

(4)

We apply RegularChains[NormalizeRegularChain].

lrcNormalizeRegularChainrc,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