SCMAlgebras : Index

• canonicalModule -- computes the canonical module of a module $M$ or an ideal $I$.
• canonicalModule(Ideal) -- computes the canonical module of a module $M$ or an ideal $I$.
• canonicalModule(Module) -- computes the canonical module of a module $M$ or an ideal $I$.
• deficiencyModule -- computes the $i$th module of deficiency of a module $M$ or an ideal $I$.
• deficiencyModule(Ideal,ZZ) -- computes the $i$th module of deficiency of a module $M$ or an ideal $I$.
• deficiencyModule(Module,ZZ) -- computes the $i$th module of deficiency of a module $M$ or an ideal $I$.
• filterIdeal -- computes the $i$th filter ideal of $I$.
• filterIdeal(Ideal,ZZ) -- computes the $i$th filter ideal of $I$.
• isCCM -- checks whether a module or an ideal is canonically Cohen-Macaulay
• isCCM(Ideal) -- checks whether a module or an ideal is canonically Cohen-Macaulay
• isCCM(Module) -- checks whether a module or an ideal is canonically Cohen-Macaulay
• isSCM -- checks whether a module or an ideal is sequentially Cohen-Macaulay
• isSCM(Ideal) -- checks whether a module or an ideal is sequentially Cohen-Macaulay
• isSCM(Module) -- checks whether a module or an ideal is sequentially Cohen-Macaulay
• isUnmixed -- checks whether an ideal is unmixed
• isUnmixed(Ideal) -- checks whether an ideal is unmixed
• minimumDimension -- computes the minimum dimension of $I$.
• minimumDimension(Ideal) -- computes the minimum dimension of $I$.
• SCMAlgebras -- sequentially Cohen-Macaulay modules or ideals
• unmixedLayer -- computes the $i$th unmixed layer of $I$.
• unmixedLayer(Ideal,ZZ) -- computes the $i$th unmixed layer of $I$.