English

A Syzygial Method for Equidimensional Decomposition

Symbolic Computation 2024-09-27 v1

Abstract

Based on a theorem by Vasconcelos, we give an algorithm for equidimensional decomposition of algebraic sets using syzygy computations via Gr\"obner bases. This algorithm avoids the use of elimination, homological algebra and processing the input equations one-by-one present in previous algorithms. We experimentally demonstrate the practical interest of our algorithm compared to the state of the art.

Keywords

Cite

@article{arxiv.2409.17785,
  title  = {A Syzygial Method for Equidimensional Decomposition},
  author = {Rafael Mohr},
  journal= {arXiv preprint arXiv:2409.17785},
  year   = {2024}
}

Comments

15 pages

R2 v1 2026-06-28T18:58:02.545Z