Completion of operadic rewriting systems by Gaussian elimination - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

Completion of operadic rewriting systems by Gaussian elimination

Benjamin Dupont
  • Fonction : Auteur
  • PersonId : 1109333
Philippe Malbos
Isaac Ren
  • Fonction : Auteur
  • PersonId : 1092762

Résumé

We study the confluence properties of non-symmetric operadic rewriting systems using linear algebra methods. We extend the completion procedure F4, known for commutative and non-commutative algebras, to operads. This procedure allows us to parallelize completion by applying a Gaussian elimination process in order to treat multiple critical branchings simultaneously. We discuss heuristics and strategies to optimize this procedure in the operadic context: first to reduce the set of critical branchings to be examined and then to parallelize the elimination.
Fichier principal
Vignette du fichier
completionOperadElimination.pdf (396.89 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03334739 , version 1 (09-09-2021)

Identifiants

  • HAL Id : hal-03334739 , version 1

Citer

Benjamin Dupont, Philippe Malbos, Isaac Ren. Completion of operadic rewriting systems by Gaussian elimination. 10th International Workshop of Confluence, 2021 (IWC 2021), Jul 2021, Buenos Aires, Argentina. pp.15-23. ⟨hal-03334739⟩
35 Consultations
27 Téléchargements

Partager

Gmail Facebook X LinkedIn More