diff --git a/M2/Macaulay2/packages/AssociativeAlgebras/doc.m2 b/M2/Macaulay2/packages/AssociativeAlgebras/doc.m2 index ffc623e9622..11a0ebcdec0 100644 --- a/M2/Macaulay2/packages/AssociativeAlgebras/doc.m2 +++ b/M2/Macaulay2/packages/AssociativeAlgebras/doc.m2 @@ -227,7 +227,7 @@ doc /// Text The normal elements in degree 2 are x^2, y^2 and z^2. The basis calculation shows y^2 and z^2 are normal forms in B. The normalElements - method first checks all basis monomials using @ TO isNormal @. In this case + method first checks all basis monomials using @ TO (isNormal, RingElement)@. In this case it finds y^2 and z^2 are normal and returns this information. However, x^2 is not a normal form expression. The normal form of x^2 is y*z+z*y. In the second phase of the calculation, the method returns generators of the diff --git a/M2/Macaulay2/packages/Macaulay2Doc/shared.m2 b/M2/Macaulay2/packages/Macaulay2Doc/shared.m2 index 3d777937eac..38bd36f3809 100644 --- a/M2/Macaulay2/packages/Macaulay2Doc/shared.m2 +++ b/M2/Macaulay2/packages/Macaulay2Doc/shared.m2 @@ -15,7 +15,11 @@ document { Key => isVeryAmple, methodstr, SeeAlso => { "Divisor::isVeryAmple(WeilDivisor)", "Polyhedra::isVeryAmple(Polyhedron)", "PositivityToricBundles::isVeryAmple(ToricVectorBundleKlyachko)", "NormalToricVarieties::isVeryAmple(ToricDivisor)" } } -document { Key => isNormal, methodstr, SeeAlso => { "Polyhedra::isNormal(Polyhedron)","IntegralClosure::isNormal(Ring)"} } +document { Key => isNormal, methodstr, SeeAlso => { + "Polyhedra::isNormal(Polyhedron)", + "IntegralClosure::isNormal(Ring)", + "AssociativeAlgebras::isNormal(RingElement)", + } } document { Key => normalCone, methodstr, SeeAlso => { "Polyhedra::normalCone(Polyhedron,Polyhedron)","ReesAlgebra::normalCone(Ideal)"} } diff --git a/M2/Macaulay2/packages/NCAlgebra/NCAlgebraDoc.m2 b/M2/Macaulay2/packages/NCAlgebra/NCAlgebraDoc.m2 index 72081766265..8d0bedf0d88 100644 --- a/M2/Macaulay2/packages/NCAlgebra/NCAlgebraDoc.m2 +++ b/M2/Macaulay2/packages/NCAlgebra/NCAlgebraDoc.m2 @@ -2487,7 +2487,7 @@ doc /// Text The normal elements in degree 2 are x^2, y^2 and z^2. The basis calculation shows x^2 and y^2 are normal forms in B. The normalElements - method first checks all basis monomials using @ TO isNormal @. In this case + method first checks all basis monomials using @ TO (isNormal, NCRingElement)@. In this case it finds x^2 and y^2 are normal and returns this information. However, z^2 is not a normal form expression. The normal form of z^2 is x*y+y*x. In the second phase of the calculation, the method returns generators of the