{"id":"arxiv/2609.37931","url":"https://arxiv.org/abs/2609.37931","tags":["math.AC","math.AG"],"score":0,"title":"The WittVectors package for Macaulay2","domain":"math.AC","source":"arxiv","authors":["Anne Fayolle","Abhay Goel","Devlin Mallory","Eamon Quinlan-Gallego","Teppei Takamatsu"],"reviews":0,"subject":"math.AC","summary":"We implement a Macaulay2 package for computations involving rings of truncated Witt vectors $W_n(R)$ of a finitely generated $\\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 $\\Z/p^n$. This functionality is based on an algorithm we developed for performing arithmetic operations in rings of finite length…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-29","reactions":{}}