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.
翻译:我们介绍用于Macaulay2计算机代数系统的\texttt{EliminationTemplates}包,该包提供了为依赖代数独立参数的零维根理想族构建自动求解器的工具。本文自包含地描述了如何为这类族构建消元模板及其特化性质。此外,我们阐述了该包提供的主要功能和数据类型,并通过多个实例演示其用法,包括消元模板起源的计算机视觉应用。