Elimination Templates in Macaulay2
For researchers in computational algebraic geometry and computer vision, this provides a practical tool for elimination template construction, though it is an incremental software contribution.
The paper introduces the EliminationTemplates package for Macaulay2, enabling automatic solver construction for zero-dimensional radical ideals with algebraic parameters, with applications in computer vision.
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.