NonPrincipalTestIdeals : Index

• 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