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](..).
with⁡RegularChains:
with⁡ChainTools:
R ≔ PolynomialRing⁡x,y,z
R≔polynomial_ring
pz ≔ z−1⁢z−2
pz≔z−1⁢z−2
py ≔ y2+z
py≔y2+z
px1 ≔ x+y+z
px1≔x+y+z
px2 ≔ z⁢x+y+z
px2≔z⁢x+y+z
rc ≔ Empty⁡R
rc≔regular_chain
rc1 ≔ Chain⁡pz,py,px1,rc,R
rc1≔regular_chain
IsStronglyNormalized⁡rc1,R
true
rc2 ≔ Chain⁡pz,py,px2,rc,R
rc2≔regular_chain
IsStronglyNormalized⁡rc2,R
false
See Also
Chain
DahanSchostTransform
Empty
EquiprojectableDecomposition
IsZeroMatrix
MatrixOverChain
NormalForm
PolynomialRing
RegularChains
Download Help Document