We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:


References & Citations

DBLP - CS Bibliography


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Symbolic Computation

Title: A divide-and-conquer algorithm for computing Gröbner bases of syzygies in finite dimension

Abstract: Let $f_1,\ldots,f_m$ be elements in a quotient $R^n / N$ which has finite dimension as a $K$-vector space, where $R = K[X_1,\ldots,X_r]$ and $N$ is an $R$-submodule of $R^n$. We address the problem of computing a Gr\"obner basis of the module of syzygies of $(f_1,\ldots,f_m)$, that is, of vectors $(p_1,\ldots,p_m) \in R^m$ such that $p_1 f_1 + \cdots + p_m f_m = 0$.
An iterative algorithm for this problem was given by Marinari, M\"oller, and Mora (1993) using a dual representation of $R^n / N$ as the kernel of a collection of linear functionals. Following this viewpoint, we design a divide-and-conquer algorithm, which can be interpreted as a generalization to several variables of Beckermann and Labahn's recursive approach for matrix Pad\'e and rational interpolation problems. To highlight the interest of this method, we focus on the specific case of bivariate Pad\'e approximation and show that it improves upon the best known complexity bounds.
Comments: ISSAC 2020. 8 pages, 4 algorithms
Subjects: Symbolic Computation (cs.SC)
DOI: 10.1145/3373207.3404059
Cite as: arXiv:2002.06404 [cs.SC]
  (or arXiv:2002.06404v2 [cs.SC] for this version)

Submission history

From: Vincent Neiger [view email]
[v1] Sat, 15 Feb 2020 16:15:54 GMT (64kb,D)
[v2] Thu, 4 Jun 2020 10:24:15 GMT (64kb,D)

Link back to: arXiv, form interface, contact.