RegularChains[ChainTools] - Maple Help

Online Help

All Products    Maple    MapleSim


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

RegularChains[ChainTools]

  

IsStronglyNormalized

  

check whether a regular chain is strongly normalized

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

IsStronglyNormalized(rc, R)

Parameters

rc

-

regular chain of R

R

-

polynomial ring

Description

• 

The command IsStronglyNormalized(rc, R) returns true if and only if rc is strongly normalized.

• 

This command is part of the RegularChains[ChainTools] package, so it can be used in the form IsStronglyNormalized(..) only after executing the command with(RegularChains[ChainTools]).  However, it can always be accessed through the long form of the command by using RegularChains[ChainTools][IsStronglyNormalized](..).

Examples

withRegularChains:

withChainTools:

RPolynomialRingx,y,z

R:=polynomial_ring

(1)

pzz1z2

pz:=z1z2

(2)

pyy2+z

py:=y2+z

(3)

px1x+y+z

px1:=x+y+z

(4)

px2zx+y+z

px2:=xz+y+z

(5)

rcEmptyR

rc:=regular_chain

(6)

rc1Chainpz,py,px1,rc,R

rc1:=regular_chain

(7)

IsStronglyNormalizedrc1,R

true

(8)

rc2Chainpz,py,px2,rc,R

rc2:=regular_chain

(9)

IsStronglyNormalizedrc2,R

false

(10)

See Also

Chain

DahanSchostTransform

Empty

EquiprojectableDecomposition

IsZeroMatrix

MatrixOverChain

NormalForm

PolynomialRing

RegularChains

 


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