The TestIdeals package for Macaulay2
Alberto F. Boix, Daniel J. Hern\'andez, Zhibek Kadyrsizova, Mordechai, Katzman, Sara Malec, Marcus Robinson, Karl Schwede, Daniel Smolkin, Pedro, Teixeira, Emily E. Witt
TL;DR
The paper introduces the TestIdeals package for Macaulay2, enabling advanced computations in prime characteristic commutative algebra, including Frobenius operations, singularities, and test ideals.
Contribution
It provides the first comprehensive Macaulay2 package for computing various aspects of prime characteristic algebra, such as Frobenius maps and test ideals.
Findings
Enables computation of Frobenius powers and roots.
Supports analysis of singularities via p-linear maps.
Facilitates exploration of test ideals and modules.
Abstract
This note describes a \emph{Macaulay2} package for computations in prime characteristic commutative algebra. This includes Frobenius powers and roots, -linear and -linear maps, singularities defined in terms of these maps, different types of test ideals and modules, and ideals compatible with a given -linear map.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.