We present an efficient implementation of the solution to the conjugacy problem in Thompson's group F. This algorithm checks for conjugacy by constructing and comparing directed graphs called strand diagrams. We provide a description of our solution algorithm, including the data structure that represents strand diagrams and supports simplifications.

Belk, J., Hossain, N., Matucci, F., Mcgrail, R. (2014). Implementation of a solution to the conjugacy problem in Thompson's group F. Intervento presentato a: ISSAC, New York, USA [10.1145/2576802.2576823].

Implementation of a solution to the conjugacy problem in Thompson's group F

Matucci, Francesco
Co-primo
;
2014

Abstract

We present an efficient implementation of the solution to the conjugacy problem in Thompson's group F. This algorithm checks for conjugacy by constructing and comparing directed graphs called strand diagrams. We provide a description of our solution algorithm, including the data structure that represents strand diagrams and supports simplifications.
abstract + poster
Computational Theory and Mathematics; Computational Mathematics
English
ISSAC
2013
2014
47
3-4
120
121
open
Belk, J., Hossain, N., Matucci, F., Mcgrail, R. (2014). Implementation of a solution to the conjugacy problem in Thompson's group F. Intervento presentato a: ISSAC, New York, USA [10.1145/2576802.2576823].
File in questo prodotto:
File Dimensione Formato  
GroupF.pdf

accesso aperto

Tipologia di allegato: Submitted Version (Pre-print)
Dimensione 232.68 kB
Formato Adobe PDF
232.68 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10281/254747
Citazioni
  • Scopus 2
  • ???jsp.display-item.citation.isi??? ND
Social impact