Towards Mixed Gröbner Basis Algorithms: the Multihomogeneous and Sparse Case - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2018

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

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

Résumé

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
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

Citer

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⟩
677 Consultations
519 Téléchargements

Altmetric

Partager

More