Elimination Templates in Macaulay2
Commutative Algebra
2026-05-06 v1 Computer Vision and Pattern Recognition
Abstract
We introduce the package \texttt{EliminationTemplates} for the Macaulay2 computer algebra system, which provides tools for constructing automatic solvers for families of zero-dimensional radical ideals depending on algebraically independent parameters. This article provides a self-contained description of how elimination templates are constructed for such families and their specialization properties. Additionally, we describe the main functionality and datatypes provided by our package, and illustrate its usage on several examples, including applications from computer vision from which elimination templates originated.
Keywords
Cite
@article{arxiv.2605.00278,
title = {Elimination Templates in Macaulay2},
author = {Manav Batavia and Cheng Chen and Anna Natalie Chlopecki and Timothy Duff and William Huang and Aolong Li and Wanchun Shen},
journal= {arXiv preprint arXiv:2605.00278},
year = {2026}
}
Comments
13 pages with references