Macaulay2 » Documentation
Packages » NonPrincipalTestIdeals :: Index
next | previous | forward | backward | up | index | toc

# NonPrincipalTestIdeals : Index

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

- AmbientCanonical -- constructs the graded canonical module in a ring constructed via classicalReesAlgebra or extendedReesAlgebra
- classicalReesAlgebra -- computes the flattened Rees algebra
- classicalReesAlgebra(Ideal) -- computes the flattened Rees algebra
- extendedReesAlgebra -- computes the flattened extended Rees algebra
- extendedReesAlgebra(Ideal) -- computes the flattened extended Rees algebra
- gradedReesPiece -- gets a certain degree piece of an ideal in an (extended) Rees algebra
- gradedReesPiece(ZZ,Ideal) -- gets a certain degree piece of an ideal in an (extended) Rees algebra
- isFJumpingExponent(QQ,Ideal) -- decides if a rational number is a jumping exponent of a generalized parameter test module
- isFJumpingExponent(ZZ,Ideal) -- decides if a rational number is a jumping exponent of a generalized parameter test module
- isFJumpingExponentModule -- decides if a rational number is a jumping exponent of a generalized parameter test module
- isFJumpingExponentModule(...,AtOrigin=>...) -- decides if a rational number is a jumping exponent of a generalized parameter test module
- isFJumpingExponentModule(...,FrobeniusRootStrategy=>...) -- decides if a rational number is a jumping exponent of a generalized parameter test module
- isFJumpingExponentModule(...,Verbose=>...) -- decides if a rational number is a jumping exponent of a generalized parameter test module
- isFJumpingExponentModule(QQ,Ideal) -- decides if a rational number is a jumping exponent of a generalized parameter test module
- isFJumpingExponentModule(ZZ,Ideal) -- decides if a rational number is a jumping exponent of a generalized parameter test module
- isFPT(QQ,Ideal) -- determines if a given number is the F-rational threshold, or, equivalently in the case of a quasi-Gorenstein ring, the F-pure threshold
- isFPT(ZZ,Ideal) -- determines if a given number is the F-rational threshold, or, equivalently in the case of a quasi-Gorenstein ring, the F-pure threshold
- isFRationalThreshold -- determines if a given number is the F-rational threshold, or, equivalently in the case of a quasi-Gorenstein ring, the F-pure threshold
- isFRationalThreshold(...,AtOrigin=>...) -- determines if a given number is the F-rational threshold, or, equivalently in the case of a quasi-Gorenstein ring, the F-pure threshold
- isFRationalThreshold(...,FrobeniusRootStrategy=>...) -- determines if a given number is the F-rational threshold, or, equivalently in the case of a quasi-Gorenstein ring, the F-pure threshold
- isFRationalThreshold(...,Verbose=>...) -- determines if a given number is the F-rational threshold, or, equivalently in the case of a quasi-Gorenstein ring, the F-pure threshold
- isFRationalThreshold(QQ,Ideal) -- determines if a given number is the F-rational threshold, or, equivalently in the case of a quasi-Gorenstein ring, the F-pure threshold
- isFRationalThreshold(ZZ,Ideal) -- determines if a given number is the F-rational threshold, or, equivalently in the case of a quasi-Gorenstein ring, the F-pure threshold
- isInvertibleIdeal -- checks whether an ideal is locally principal (invertible)
- isInvertibleIdeal(Ideal) -- checks whether an ideal is locally principal (invertible)
- manualExt -- computes the Ext module of two modules as the core Ext function sometimes does not work properly in the negatively graded case
- manualExt(ZZ,Module,Module) -- computes the Ext module of two modules as the core Ext function sometimes does not work properly in the negatively graded case
- NonPrincipalTestIdeals -- a package for calculations of singularities of pairs in positive characteristic
- reesCanonicalModule -- constructs the graded canonical module in a ring constructed via classicalReesAlgebra or extendedReesAlgebra
- reesCanonicalModule(...,AmbientCanonical=>...) -- constructs the graded canonical module in a ring constructed via classicalReesAlgebra or extendedReesAlgebra
- reesCanonicalModule(Ring) -- constructs the graded canonical module in a ring constructed via classicalReesAlgebra or extendedReesAlgebra
- reesModuleToIdeal -- embeds a homogeneous rank 1 module as an ideal in a Rees algebra
- reesModuleToIdeal(...,MTries=>...) -- embeds a homogeneous rank 1 module as an ideal in a Rees algebra
- reesModuleToIdeal(Ring,Module) -- embeds a homogeneous rank 1 module as an ideal in a Rees algebra
- testIdeal(QQ,Ideal) -- computes the test ideal of a pair
- testIdeal(ZZ,Ideal) -- computes the test ideal of a pair
- testModule(QQ,Ideal) -- computes the test ideal of a pair
- testModule(ZZ,Ideal) -- computes the test ideal of a pair
- testModuleMinusEpsilon -- computes the (parameter) test module of a pair for values arbitrarily close to, but below, t
- testModuleMinusEpsilon(QQ,Ideal) -- computes the (parameter) test module of a pair for values arbitrarily close to, but below, t
- testModuleMinusEpsilon(ZZ,Ideal) -- computes the (parameter) test module of a pair for values arbitrarily close to, but below, t
- torsionOrder -- computes the local torsion order of an ideal in a normal domain
- torsionOrder(ZZ,Ideal) -- computes the local torsion order of an ideal in a normal domain