The WittVectors package for Macaulay2

We implement a Macaulay2 package for computations involving rings of truncated Witt vectors $W_n(R)$ of a finitely generated ${\text{F}}_p$-algebra $R$. This package includes ring operations (addition, multiplication, Frobenius, Verschiebung, etc.) on elements of $W_n(R)$, conversion between tuple representatives and ghost map representatives of elements of truncated Witt vectors over polynomial rings, and explicit computation of $W_n(R)$ as a finite-type algebra over $\mathbb{Z}\mathrm{/}{p}^n$. This functionality is based on an algorithm we developed for performing arithmetic operations in rings of finite length $p$-typical Witt vectors over finitely generated ${\text{F}}_p$-algebras. In addition, we implement an algorithm to calculate lifts of Frobenius from ${\text{F}}_p$-algebras to flat lifts over $\mathbb{Z}\mathrm{/}{p}^2\mathbb{Z}$, and an algorithm to find the quasi-$F$-splitting height of a local or graded complete intersection ring.