English

The TestIdeals package for Macaulay2

Commutative Algebra 2020-02-12 v3 Algebraic Geometry

Abstract

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

Keywords

Cite

@article{arxiv.1810.02770,
  title  = {The TestIdeals package for Macaulay2},
  author = {Alberto F. Boix and Daniel J. Hernández and Zhibek Kadyrsizova and Mordechai Katzman and Sara Malec and Marcus Robinson and Karl Schwede and Daniel Smolkin and Pedro Teixeira and Emily E. Witt},
  journal= {arXiv preprint arXiv:1810.02770},
  year   = {2020}
}

Comments

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

R2 v1 2026-06-23T04:29:56.129Z