RegularChains[ChainTools]
IsStronglyNormalized
check whether a regular chain is strongly normalized
Calling Sequence
Parameters
Description
Examples
IsStronglyNormalized(rc, R)
rc
-
regular chain of R
R
polynomial ring
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](..).
withRegularChains:
withChainTools:
R≔PolynomialRingx,y,z
R≔polynomial_ring
pz≔z−1z−2
py≔y2+z
px1≔x+y+z
px2≔zx+y+z
rc≔EmptyR
rc≔regular_chain
rc1≔Chainpz,py,px1,rc,R
rc1≔regular_chain
IsStronglyNormalizedrc1,R
true
rc2≔Chainpz,py,px2,rc,R
rc2≔regular_chain
IsStronglyNormalizedrc2,R
false
See Also
Chain
DahanSchostTransform
Empty
EquiprojectableDecomposition
IsZeroMatrix
MatrixOverChain
NormalForm
PolynomialRing
RegularChains
Download Help Document