Elimination Templates in Macaulay2
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , , , , , , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2026
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866911648072073216 |
|---|---|
| author | Batavia, Manav Chen, Cheng Chlopecki, Anna Natalie Duff, Timothy Huang, William Li, Aolong Shen, Wanchun |
| author_facet | Batavia, Manav Chen, Cheng Chlopecki, Anna Natalie Duff, Timothy Huang, William Li, Aolong Shen, Wanchun |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2605_00278 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Elimination Templates in Macaulay2 Batavia, Manav Chen, Cheng Chlopecki, Anna Natalie Duff, Timothy Huang, William Li, Aolong Shen, Wanchun Commutative Algebra Computer Vision and Pattern Recognition 13-04, 13P10 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. |
| title | Elimination Templates in Macaulay2 |
| topic | Commutative Algebra Computer Vision and Pattern Recognition 13-04, 13P10 |
| url | https://arxiv.org/abs/2605.00278 |