Towards Mixed Gröbner Basis Algorithms: the Multihomogeneous and Sparse Case - Inria - Institut national de recherche en sciences et technologies du numérique
Conference Papers Year : 2018

Towards Mixed Gröbner Basis Algorithms: the Multihomogeneous and Sparse Case

Matías R Bender
  • Function : Author
  • PersonId : 19333
  • IdHAL : mbender
Jean-Charles Faugère
Elias Tsigaridas

Abstract

One of the biggest open problems in computational algebra is the design of efficient algorithms for Gröbner basis computations that take into account the sparsity of the input polynomials. We can perform such computations in the case of unmixed polynomial systems, that is systems with polynomials having the same support, using the approach of Faugère, Spaenlehauer, and Svartz [ISSAC'14]. We present two algorithms for sparse Gröbner bases computations for mixed systems. The first one computes with mixed sparse systems and exploits the supports of the polynomials. Under regularity assumptions, it performs no reductions to zero. For mixed, square, and 0-dimensional multihomogeneous polynomial systems, we present a dedicated, and potentially more efficient, algorithm that exploits different algebraic properties that performs no reduction to zero. We give an explicit bound for the maximal degree appearing in the computations.
Fichier principal
Vignette du fichier
sparsegbHAL.pdf (259.01 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-01787423 , version 1 (07-05-2018)
hal-01787423 , version 2 (15-05-2018)

Identifiers

Cite

Matías R Bender, Jean-Charles Faugère, Elias Tsigaridas. Towards Mixed Gröbner Basis Algorithms: the Multihomogeneous and Sparse Case. ISSAC 2018 - 43rd International Symposium on Symbolic and Algebraic Computation, Jul 2018, New York, United States. ⟨10.1145/3208976.3209018⟩. ⟨hal-01787423v2⟩
647 View
515 Download

Altmetric

Share

More