ascendModule -- find the smallest submodule of free module containing a given submodule which is compatible with a given Cartier linear map
ascendModule(ZZ,Matrix,Matrix) -- find the smallest submodule of free module containing a given submodule which is compatible with a given Cartier linear map
ascendModule(ZZ,Module,Matrix) -- find the smallest submodule of free module containing a given submodule which is compatible with a given Cartier linear map
frobeniusTraceOnCanonicalModule -- find an element of a polynomial ring that determines the Frobenius trace on the canonical module of a quotient of that ring