On the computation of Gröbner bases for matrix-weighted homogeneous systems
Fuente:
arXiv
Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Preprint |
| Publié: |
2022
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866909162085023744 |
|---|---|
| author | Verron, Thibaut |
| author_facet | Verron, Thibaut |
| contents | In this paper, we examine the structure of systems that are weighted homogeneous for several systems of weights, and how it impacts the computation of Gröbner bases. We present several linear algebra algorithms for computing Gröbner bases for systems with this structure, either directly or by reducing to existing structures. We also present suitable optimization techniques.
As an opening towards complexity studies, we discuss potential definitions of regularity and prove that they are generic if non-empty. Finally, we present experimental data from a prototype implementation of the algorithms in SageMath. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2202_05742 |
| institution | arXiv |
| publishDate | 2022 |
| record_format | arxiv |
| spellingShingle | On the computation of Gröbner bases for matrix-weighted homogeneous systems Verron, Thibaut Symbolic Computation In this paper, we examine the structure of systems that are weighted homogeneous for several systems of weights, and how it impacts the computation of Gröbner bases. We present several linear algebra algorithms for computing Gröbner bases for systems with this structure, either directly or by reducing to existing structures. We also present suitable optimization techniques. As an opening towards complexity studies, we discuss potential definitions of regularity and prove that they are generic if non-empty. Finally, we present experimental data from a prototype implementation of the algorithms in SageMath. |
| title | On the computation of Gröbner bases for matrix-weighted homogeneous systems |
| topic | Symbolic Computation |
| url | https://arxiv.org/abs/2202.05742 |