Signature Rewriting in Gröbner Basis Computation - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

Signature Rewriting in Gröbner Basis Computation

Résumé

We introduce the RB algorithm for Gro ̈bner basis compu- tation, a simpler yet equivalent algorithm to F5GEN. RB contains the original unmodified F5 algorithm as a special case, so it is possible to study and understand F5 by con- sidering the simpler RB. We present simple yet complete proofs of this fact and of F5's termination and correctness. RB is parametrized by a rewrite order and it contains many published algorithms as special cases, including SB. We prove that SB is the best possible instantiation of RB in the following sense. Let X be any instantiation of RB (such as F5). Then the S-pairs reduced by SB are always a subset of the S-pairs reduced by X and the basis computed by SB is always a subset of the basis computed by X.
Fichier principal
Vignette du fichier
sbff.pdf (209.14 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00930273 , version 1 (14-01-2014)

Identifiants

Citer

Christian Eder, Bjarke Hammersholt Roune. Signature Rewriting in Gröbner Basis Computation. ISSAC 2013 - International Symposium on Symbolic and Algebraic Computation, Jun 2013, Boston, United States. pp.331-338, ⟨10.1145/2465506.2465522⟩. ⟨hal-00930273⟩
103 Consultations
511 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More