Interface to GAP's KBMAG package

[nthiery]

Explore / expose the functionalities of KBMAG for computing with (semi)groups defined by presentations

Other related GAP package:

• Citrus (Formerly Monoid) http://www-groups.mcs.st-andrews.ac.uk/~jamesm/citrus/index.html

CC: @sagetrac-sage-combinat

Component: group theory

Issue created by migration from https://trac.sagemath.org/ticket/12915

[nthiery]

Description changed:

--- 
+++ 
@@ -1,2 +1,4 @@
 Explore / expose the functionalities of KBMAG for computing with (semi)groups defined by presentations
 
+Other related GAP package: 
+- Citrus (Formerly Monoid) http://www-groups.mcs.st-andrews.ac.uk/~jamesm/citrus/index.html

[miguelmarco]

comment:2

I have implemented some gap functionality for finitely presented groups in #12339. I have also considered using kbmag's abiluty to solve the word problem (sometimes) via Knuth-Bendix or automatic structures, but i don't like the fact of depending on having kbmag installed. Maybe i will include that in a separate package.