A Lattice Formulation of the F 4 Completion Procedure - Inria - Institut national de recherche en sciences et technologies du numérique
Journal Articles International Journal of Algebra and Computation Year : 2019

A Lattice Formulation of the F 4 Completion Procedure

Abstract

We introduce a new procedure for constructing noncommutative Gröbner bases using a lattice formulation of completion. This leads to a lattice description of the noncommutative F4 procedure. Our procedure is based on the lattice structure of reduction operators which provides a lattice description of the confluence property. We relate reduction operators to noncommutative Gröbner bases, we show the Diamond Lemma for reduction operators and we deduce the lattice interpretation of the F4 procedure. Finally, we illustrate our procedure with a complete example.
Fichier principal
Vignette du fichier
Source.pdf (345.17 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-01489200 , version 1 (14-03-2017)
hal-01489200 , version 2 (30-01-2018)

Identifiers

Cite

Cyrille Chenavier. A Lattice Formulation of the F 4 Completion Procedure. International Journal of Algebra and Computation, 2019, 29 (1), ⟨10.1142/S0218196718500613⟩. ⟨hal-01489200v2⟩
640 View
201 Download

Altmetric

Share

More