gradedReesPiece -- gets a certain degree piece of an ideal in an (extended) Rees algebra
isFJumpingExponentModule -- decides if a rational number is a jumping exponent of a generalized parameter test module
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
isInvertibleIdeal -- 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
reesCanonicalModule -- 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