The TestIdeals package for Macaulay2

Abstract

This note describes a \emph{Macaulay2} package for computations in prime characteristic commutative algebra. This includes Frobenius powers and roots, $p^{-e}$-linear and $p^e$-linear maps, singularities defined in terms of these maps, different types of test ideals and modules, and ideals compatible with a given $p^{-e}$-linear map.

21 pages, minor improvements throughout. This paper is the companion to the the latest version of the package (https://github.com/kschwede/Workshop-2017-Berkeley/tree/master/Fsing/TestIdealsPackage), which should be included in 1.15 of Macaulay2 and later